A Comparison and Combination of Theory Generation and Model Checking for Security Protocol Analysis
Nicholas J. Hopper, Sanjit A. Seshia, and Jeannette M. Wing. A Comparison and Combination of Theory Generation and Model Checking for Security Protocol Analysis. In Workshop on Formal Methods in Computer Security (FMCS), July 2000. Associated with Intl. Conf. on Computer-Aided Verification (CAV'00)
Download
Abstract
(unavailable)
BibTeX
@inproceedings{HSW-fmcs00, author = {Nicholas J. Hopper and Sanjit A. Seshia and Jeannette M. Wing}, title = {A Comparison and Combination of Theory Generation and Model Checking for Security Protocol Analysis}, booktitle = {Workshop on Formal Methods in Computer Security (FMCS)}, month = "July", year = {2000}, note = {Associated with Intl. Conf. on Computer-Aided Verification (CAV'00)}, }