Autor der Publikation

Protocol Composition Logic (PCL)

, , , und . Electronic Notes in Theoretical Computer Science, 172 (0): 311 - 358 (2007)<ce:title>Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin</ce:title>.
DOI: 10.1016/j.entcs.2007.02.012

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

A Layered Architecture for Detecting Malicious Behaviors., , , , und . RAID, Volume 5230 von Lecture Notes in Computer Science, Seite 78-97. Springer, (2008)Evaluating the privacy properties of telephone metadata., , und . Proc. Natl. Acad. Sci. USA, 113 (20): 5536-5541 (2016)A Compositional Logic for Proving Security Properties of Protocols., , und . J. Comput. Secur., 11 (4): 677-722 (2003)On Abstraction and the Expressive Power of Programming Languages.. Sci. Comput. Program., 21 (2): 141-163 (1993)A Type System for Object Initialization in the Java Bytecode Language., und . OOPSLA, Seite 310-327. ACM, (1998)SIGPLAN Notices 33(10).A modular correctness proof of IEEE 802.11i and TLS., , , , und . CCS, Seite 2-15. ACM, (2005)Teaching Online in 2020: Experiments, Empathy, Discovery., und . LWMOOCS, Seite 156-161. IEEE, (2020)Privacy Challenges in Patient-centric Health Information Systems., , , , und . HealthSec, USENIX Association, (2010)Homogeneity as an Advantage: It Takes a Community to Protect an Application., , , , , , , , , und . CollSec, USENIX Association, (2010)Parametricity and Variants of Girard's J Operator., und . Inf. Process. Lett., 70 (1): 1-5 (1999)