@INPROCEEDINGS {4807,
author={J.C. Cederquist and  },
booktitle={ACM Workshop on Formal Methods in Security Engineering - FMSE},
title={An Intruder Model for Verifying Liveness in Security Protocols},
year={2006},
month={November},
volume={.},
pages={23-31} 
}
Create and download bib file