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

[pdf]  [ps] 

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)}, 
}