An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols

Author(s):  
I. Cervesato ◽  
C. Meadows ◽  
D. Pavlovic
Keyword(s):  
Author(s):  
Ik Rae JEONG ◽  
Jeong Ok KWON ◽  
Dong Hoon LEE
Keyword(s):  

1993 ◽  
Author(s):  
Michael Reiter ◽  
Kenneth Birman ◽  
Robert van Renesse

2020 ◽  
Author(s):  
Vimal Gaur ◽  
Devika Mehra ◽  
Anchit Aggarwal ◽  
Raveena Kumari ◽  
Srishti Rawat

Sign in / Sign up

Export Citation Format

Share Document