Autor der Publikation

Bridging Two Worlds: Reconciling Practical Risk Assessment Methodologies with Theory of Attack Trees.

, , , , und . GraMSec@CSF, Volume 9987 von Lecture Notes in Computer Science, Seite 80-93. Springer, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Security Protocols for Secret Santa., , und . Security Protocols Workshop, Volume 7061 von Lecture Notes in Computer Science, Seite 175-184. Springer, (2010)A Process Specification Formalism Based on Static COLD., , , und . Algebraic Methods, Volume 490 von Lecture Notes in Computer Science, Seite 303-335. Springer, (1989)MSC and data: dynamic variables., , und . SDL Forum, Seite 105-. Elsevier, (1999)Generalizing Multi-party Contract Signing., und . POST, Volume 9036 von Lecture Notes in Computer Science, Seite 156-175. Springer, (2015)Selective Location Blinding Using Hash Chains., , und . Security Protocols Workshop, Volume 7114 von Lecture Notes in Computer Science, Seite 132-141. Springer, (2011)Breaking Unlinkability of the ICAO 9303 Standard for e-Passports Using Bisimilarity., , , und . ESORICS (1), Volume 11735 von Lecture Notes in Computer Science, Seite 577-594. Springer, (2019)Fairness in Non-Repudiation Protocols., , und . STM, Volume 7170 von Lecture Notes in Computer Science, Seite 122-139. Springer, (2011)Test Selection, Trace Distance and Heuristics., , , und . TestCom, Volume 210 von IFIP Conference Proceedings, Seite 267-282. Kluwer, (2002)Examining Linguistic Biases in Telegram with a Game Theoretic Analysis., , und . MISDOOM, Volume 12887 von Lecture Notes in Computer Science, Seite 16-32. Springer, (2021)When privacy fails, a formula describes an attack: A complete and compositional verification method for the applied π-calculus., , und . Theor. Comput. Sci., (Mai 2023)