Number of items: 3.
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 Protocol Analysis.
Backes, Michael and Cortesi, Agostino and Maffei, Matteo
(2007)
Causality-based Abstraction of Multiplicity in Security Protocols.
This list was generated on Tue Jun 17 10:12:05 2025 CEST.