Sciweavers

25 search results - page 1 / 5
» ccs 1998
Sort
View
CCS
1998
ACM
13 years 10 months ago
Public-Key Cryptography and Password Protocols
Shai Halevi, Hugo Krawczyk
IPPS
1998
IEEE
13 years 10 months ago
Automated Verification of Communication Protocols Using CCS and BDDs
Reiner Lichtenecker, Klaus Gotthardt, Janusz Zalew...