( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Transforming Graphical System Models to Graphical Attack Models.

, , , и . GraMSec@CSF, том 9390 из Lecture Notes in Computer Science, стр. 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.

Edeltraud Kammüller

Karl Kammüller

Mathias Kammüller

Karl Kammüller

Mechthilde Kammüller

 

Другие публикации лиц с тем же именем

A Formal Proof of Sylow's Theorem., и . J. Autom. Reason., 23 (3-4): 235-264 (1999)Security and privacy requirements engineering for human centric IoT systems using eFRIEND and Isabelle., , и . SERA, стр. 401-406. IEEE, (2017)Attack Tree Analysis for Insider Threats on the IoT Using Isabelle., , и . HCI (20), том 9750 из Lecture Notes in Computer Science, стр. 234-246. Springer, (2016)Compositionality of Aspect Weaving., и . SJTU-TUB Joint Workshop, стр. 87-95. Springer, (2008)Introducing Distributed Ledger Security into System Specifications with the Isabelle RR-Cycle.. ESORICS Workshops (2), том 14399 из Lecture Notes in Computer Science, стр. 330-340. Springer, (2023)Human Centric Security and Privacy for the IoT Using Formal Techniques.. AHFE (9), том 593 из Advances in Intelligent Systems and Computing, стр. 106-116. Springer, (2017)Invalidating Policies using Structural Information., и . J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 5 (2): 59-79 (2014)Applying the Isabelle Insider Framework to Airplane Security., и . CoRR, (2020)Exploring Rationality of Self Awareness in Social Networking for Logical Modeling of Unintentional Insiders., и . HCI (32), том 13333 из Lecture Notes in Computer Science, стр. 340-357. Springer, (2022)Formal Modelling and Analysis of Socio-Technical Systems., , и . Semantics, Logics, and Calculi, том 9560 из Lecture Notes in Computer Science, стр. 54-73. Springer, (2016)