학술논문
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions.
Document Type
Article
Author
Source
2009 22nd IEEE Computer Security Foundations Symposium; 2009, p124-140, 17p
Subject
Language