Towards a Formal Notion of Impact Metric for Cyber-Physical Attacks
Book chapter (August 2018)
The most recent citing publications are shown below. View all 2 publications that cite this research output on Dimensions.
Formal Techniques for Distributed Objects, Components, and Systems
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 A Distributed Coordination Infrastructure for Attribute-Based Interaction
-
Altmetric BadgeChapter 2 Applied Choreographies
-
Altmetric BadgeChapter 3 Monotonic Prefix Consistency in Distributed Systems
-
Altmetric BadgeChapter 4 A Modest Security Analysis of Cyber-Physical Systems: A Case Study
-
Altmetric BadgeChapter 5 Relating Process Languages for Security and Communication Correctness (Extended Abstract)
-
Altmetric BadgeChapter 6 A Calculus for Modeling Floating Authorizations
-
Altmetric BadgeChapter 7 Parameter Synthesis Algorithms for Parametric Interval Markov Chains
-
Altmetric BadgeChapter 8 Information Flow Tracking for Side-Effectful Libraries
-
Altmetric BadgeChapter 9 On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency
-
Altmetric BadgeChapter 10 Preserving Contract Satisfiability Under Non-monotonic Composition
Attention for Chapter 9:
On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency
Altmetric Badge
Citations
- dimensions_citation
- 2 Dimensions