Number of items: 3.
Conference or Workshop Item (A Paper)
Backes, Michael and Cortesi, Agostino and Focardi, Riccardo and Maffei, Matteo
(2007)
A Calculus of Challenges and Responses.
Backes, Michael and Cortesi, Agostino and Maffei, Matteo
(2007)
Causality-based Abstraction of Multiplicity in Security Protocols.
Other
Backes, Michael and Cortesi, Agostino and Maffei, Matteo
(2007)
Causality-based Abstraction of Multiplicity in Security Protocol Analysis.
This list was generated on Sun Dec 22 04:13:30 2024 CET.