StatVerif: Verification of stateful processes

Proceedings - IEEE Computer Security Foundations Symposium

Volumn , Issue , 2011, Pages 33-47

  Arapinis, Myrto ^a   Ritter, Eike ^a   Ryan, Mark D ^a  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTER HARDWARE; HARDWARE SECURITY; LOGIC PROGRAMMING; PROGRAM COMPILERS; SEMANTICS;

CONTRACT-SIGNING PROTOCOLS; EXPLICIT STATE; GLOBAL STATE; HARDWARE DEVICES; HORN CLAUSE; OPERATIONAL SEMANTICS; PROCESS CALCULI; PROCESS LANGUAGES; PROVERIF; SECURITY DEVICES;

SMART CARDS;

EID: 80052654636     PISSN: 19401434     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSF.2011.10     Document Type: Conference Paper

References (12)

1. J. Herzog, "Applying protocol analysis to security device interfaces," IEEE Security & Privacy Magazine, vol. 4, no. 4, pp. 84-87, July-Aug 2006.
2. S. Mödersheim, "Abstraction by set-membership: verifying security protocols and web services with databases," in Proc. 17th ACM Conference on Computer and Communications Security (CCS'10). ACM, 2010, pp. 351-360.
3. J. D. Guttman, "Fair exchange in strand spaces," Journal of Automated Reasoning, 2011, to appear.
4. S. Delaune, S. Kremer, M. D. Ryan, and G. Steel, "A formal analysis of authentication in the TPM," in Proc. 7th International Workshop on Formal Aspects in Security and Trust (FAST'10), Pisa, Italy, 2010.
5. B. Blanchet, "An efficient cryptographic protocol verifier based on prolog rules," in Proc. of the 14th IEEE Computer Security Foundations Workshop (CSFW'01). Cape Breton, Nova Scotia, Canada: IEEE Computer Society Press, Jun. 2001, pp. 82-96.
6. A. Armando, D. Basin, Y. Boichut, Y. Chevalier, L. Compagna, J. Cuéllar, P. Drielsma, P.-C. Héam, O. Kouchnarenko, J. Mantovani, S. Mödersheim, D. Von Oheimb, M. Rusinowitch, J. Santiago, M. Turuani, L. Viganò, and L. Vigneron, "The AVISPA tool for the automated validation of internet security protocols and applications." in Proc. 17th International Conference on Computer Aided Verification (CAV'05), 2005, pp. 281-285.
7. S. Fröschle and G. Steel, "Analysing PKCS#11 key management APIs with unbounded fresh data," in Proc. Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS'09), ser. LNCS, P. Degano and L. Viganò, Eds., vol. 5511. York, UK: Springer, 2009, pp. 92-106, to appear.
8. S. Delaune, S. Kremer, M. D. Ryan, and G. Steel, "Formal analysis of protocols based on TPM state registers," in Proc. of the 24th IEEE Computer Security Foundations Symposium (CSF'11). IEEE Computer Society Press, 2011.
9. B. Blanchet, "Automatic verification of correspondences for security protocols," Journal of Computer Security, vol. 17, no. 4, pp. 363-434, 2009.
10. M. Abadi and C. Fournet, "Mobile values, new names, and secure communication," in Proc. 28th Symposium on Principles of Programming Languages (POPL'01), H. R. Nielson, Ed. London, UK: ACM Press, 2001, pp. 104-115.
11. B. Blanchet, "Automatic verification of correspondences for security protocols," CoRR, vol. abs/0802.3444, 2008.
12. J. A. Garay, M. Jakobsson, and P. D. MacKenzie, "Abuse-free optimistic contract signing," in Proceedings of the 19th Annual Cryptology Conference on Advances in Crypto, ser. CRYPTO '99, London, UK, 1999, pp. 449-466.