Model-Based Security Assessment on the Design of a Patient-Centric Data Sharing Platform
Book chapter (October 2022)
The most recent citing publication is shown below. View this citation on Dimensions.
Principles of Security and Trust
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Faceted Dynamic Information Flow via Control and Data Monads
-
Altmetric BadgeChapter 2 Asymmetric Secure Multi-execution with Declassification
-
Altmetric BadgeChapter 3 A Taxonomy of Information Flow Monitors
-
Altmetric BadgeChapter 4 On Improvements of Low-Deterministic Security
-
Altmetric BadgeChapter 5 Tool Demonstration: JOANA
-
Altmetric BadgeChapter 6 Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study
-
Altmetric BadgeChapter 7 Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels
-
Altmetric BadgeChapter 8 Correct Audit Logging: Theory and Practice
-
Altmetric BadgeChapter 9 The Value of Attack-Defence Diagrams
-
Altmetric BadgeChapter 10 Composing Protocols with Randomized Actions
-
Altmetric BadgeChapter 11 Bounding the Number of Agents, for Equivalence Too
-
Altmetric BadgeChapter 12 AIF- $$\omega $$ ω : Set-Based Protocol Abstraction with Countable Families
-
Altmetric BadgeChapter 13 Computational Soundness Results for Stateful Applied $$\pi $$ π Calculus
Attention for Chapter 6:
Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study