Sciweavers

COMCOM
1999

Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification

13 years 2 months ago
Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification
Stefanos Gritzalis, Diomidis Spinellis, Panagiotis
Added 22 Dec 2010
Updated 22 Dec 2010
Type Journal
Year 1999
Where COMCOM
Authors Stefanos Gritzalis, Diomidis Spinellis, Panagiotis Georgiadis
Comments (0)