Autor der Publikation

Cost Fairness for Blockchain-Based Two-Party Exchange Protocols

, , , und . 2020 IEEE International Conference on Blockchain, Seite 428-435. Piscataway, NJ, IEEE, (2020)
DOI: 10.1109/Blockchain50366.2020.00062

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

Games In The Semantics Of Programming Languages - An Elementary Introduction.. Synthese, 133 (1-2): 131-158 (2002)Bericht über die erste Jahrestagung der GI-Fachgruppe FoMSESS vom 12. bis 13. Mai 2003 in Karlsruhe.. Softwaretechnik-Trends, (2003)Runtime verification of cryptographic protocols., und . Computers & Security, 29 (3): 315-330 (2010)Tools for Traceable Security Verification., , und . BCS Int. Acad. Conf., Seite 367-390. British Computer Society, (2008)The Reality of Libraries., und . CSMR, Seite 307-318. IEEE Computer Society, (2007)Model-Based Design and Analysis of Permission-Based Security., , und . ICECCS, Seite 224-233. IEEE Computer Society, (2005)Model-Driven Development for secure information systems., , , und . Information & Software Technology, 51 (5): 809-814 (2009)Ontology-based Analysis of Compliance and Regulatory Requirements of Business Processes., , , , , und . CLOSER, Seite 553-561. SciTePress, (2013)Formal Semantics for Interacting UML subsystems.. FMOODS, Volume 209 von IFIP Conference Proceedings, Seite 29-43. Kluwer, (2002)Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications., und . I3E, Volume 202 von IFIP Conference Proceedings, Seite 489-505. Kluwer, (2001)