Sciweavers

CSFW
2003
IEEE

A Derivation System for Security Protocols and its Logical Formalization

13 years 9 months ago
A Derivation System for Security Protocols and its Logical Formalization
Anupam Datta, Ante Derek, John C. Mitchell, Dusko
Added 04 Jul 2010
Updated 04 Jul 2010
Type Conference
Year 2003
Where CSFW
Authors Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic
Comments (0)