search result

Cover von A Graphical Proof Theory of Logical Time

A Graphical Proof Theory of Logical Time

Year: 2022
Media group: LIPIcs
Cover von Public key infrastructure
5th European PKI workshop : theory and practice : Trondheim, Norway, June 16 - 17, 2008 : proceedings
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5057
Media group: MONOGRAPHIE
Cover von Security Protocols and Threat Models
Security and Privacy via The Applied π-Calculus
Search for this author
Year: 2026
Publisher: Berlin, Springer
Series: Information security and cryptography
Media group: MONOGRAPHIE
OPEN V 11.1.0.0