Library of Security Protocol Specifications

Author: Rishav Bhowmick

The Clark-Jacob Library in MSR 2.0

Report

Rishav Bhowmick, Empirical Evaluation of the Protocol Specification Language MSR 2.0, Carnegie Mellon University in Qatar, May 2008.