Author of the publication

Transforming Graphical System Models to Graphical Attack Models.

, , , and . GraMSec@CSF, volume 9390 of Lecture Notes in Computer Science, page 82-96. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Attack Tree Analysis for Insider Threats on the IoT Using Isabelle., , and . HCI (20), volume 9750 of Lecture Notes in Computer Science, page 234-246. Springer, (2016)Compositionality of Aspect Weaving., and . Autonomous Systems, page 87-95. Springer, (2008)A Formal Proof of Sylow's Theorem., and . J. Autom. Reason., 23 (3-4): 235-264 (1999)Security and privacy requirements engineering for human centric IoT systems using eFRIEND and Isabelle., , and . SERA, page 401-406. IEEE, (2017)Formal Modelling and Analysis of Socio-Technical Systems., , and . Semantics, Logics, and Calculi, volume 9560 of Lecture Notes in Computer Science, page 54-73. Springer, (2016)Privacy Enforcement and Analysis for Functional Active Objects.. DPM/SETOP, volume 6514 of Lecture Notes in Computer Science, page 93-107. Springer, (2010)Refactoring Preserves Security.. DPM/QASA@ESORICS, volume 9963 of Lecture Notes in Computer Science, page 238-245. Springer, (2016)Applying the Isabelle Insider Framework to Airplane Security., and . CoRR, (2020)Invalidating Policies using Structural Information., and . J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 5 (2): 59-79 (2014)Designing Data Protection for GDPR Compliance into IoT Healthcare Systems., , and . CoRR, (2019)