Title :
Logical relations for encryption
Author :
Sumii, Eijiro ; Pierce, Benjamin C.
Author_Institution :
University of Tokyo
Keywords :
Calculus; Computer languages; Computer security; Cryptographic protocols; Cryptography; Data security; Encoding; Information security; Logic programming; Public key;
Conference_Titel :
Computer Security Foundations Workshop, 2001. Proceedings. 14th IEEE
Print_ISBN :
0-7695-1147-3
DOI :
10.1109/CSFW.2001.930151
