On symbolic analysis of cryptographic protocols

On symbolic analysis of cryptographic protocols

Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2005. === Includes bibliographical references (p. 91-94). === The universally composable symbolic analysis (UCSA) framework layers Dolev-Yao style symbolic analysis on top of the universall...

Full description

Bibliographic Details
Main Author: Patil, Akshay (Akshay R.)
Other Authors: Ronald L. Rivest and Ran Canetti.
Format: Others
Language:English
Published: Massachusetts Institute of Technology 2006
Subjects:
Electrical Engineering and Computer Science.
Online Access:http://hdl.handle.net/1721.1/33331

Internet

http://hdl.handle.net/1721.1/33331

Similar Items