Sciweavers

CSFW
2007
IEEE

Causality-based Abstraction of Multiplicity in Security Protocols

14 years 6 months ago
Causality-based Abstraction of Multiplicity in Security Protocols
Michael Backes, Agostino Cortesi, Matteo Maffei
Added 02 Jun 2010
Updated 02 Jun 2010
Type Conference
Year 2007
Where CSFW
Authors Michael Backes, Agostino Cortesi, Matteo Maffei
Comments (0)