Empirical Evaluation of the Cryptographic Protocol Specification Language MSR

ID : 146
Number of shows: 595
Create date: 01/14/2009 21:58:28
Modify date: 01/14/2009 21:58:28
Submitting Institution:  Carnegie Mellon University - Qatar
Project Status:  Completed