( en | de | ru )

 

Disambiguierung von "Mauw, Sjouke"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Security Protocols for Secret Santa.

, , und . Security Protocols Workshop, Volume 7061 von Lecture Notes in Computer Science, Seite 175-184. Springer, (2010)

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.

Lieselotte Mauw

Erich Mauw

Johan Sjouke Postma

Sjouke Anne Kingma

 

Weitere Publikationen von Autoren mit dem selben Namen

Test Selection, Trace Distance and Heuristics., , , und . TestCom, Volume 210 von IFIP Conference Proceedings, Seite 267-282. Kluwer, (2002)MSC and data: dynamic variables., , und . SDL Forum, Seite 105-. Elsevier, (1999)Selective Location Blinding Using Hash Chains., , und . Security Protocols Workshop, Volume 7114 von Lecture Notes in Computer Science, Seite 132-141. Springer, (2011)Generalizing Multi-party Contract Signing., und . POST, Volume 9036 von Lecture Notes in Computer Science, Seite 156-175. Springer, (2015)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)When privacy fails, a formula describes an attack: A complete and compositional verification method for the applied π-calculus., , und . Theor. Comput. Sci., (Mai 2023)A framework for compositional verification of security protocols., , , , , und . Inf. Comput., 206 (2-4): 425-459 (2008)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)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)