Empirical Evaluation of the Cryptographic Protocol Specification Language MSR

CMU-Q Point of Contact

Project

UREP 01 - 001 - 4 - 076

Year

2007

Status

Closed

No teams or departments found.