The JavaSPI framework for security protocol implementation

Proceedings of the 2011 6th International Conference on Availability, Reliability and Security, ARES 2011

Volumn , Issue , 2011, Pages 746-751

  Avalle, Matteo ^a   Pironti, Alfredo ^a   Sisto, Riccardo ^a   Pozza, Davide ^a  

^a POLITECNICO DI TORINO   (Italy)

Author keywords

Formal methods; Java; Model driven development; ProVerif; Security protocols

Indexed keywords

ABSTRACT MODELS; HANDSHAKE PROTOCOL; IMPLEMENTATION LANGUAGES; JAVA; MODEL-DRIVEN; MODEL-DRIVEN DEVELOPMENT; MODELING LANGUAGES; PROVERIF; SECURITY PROTOCOLS;

FORMAL METHODS; JAVA PROGRAMMING LANGUAGE;

NETWORK SECURITY;

EID: 80455144511     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ARES.2011.117     Document Type: Conference Paper

References (7)

1. B. Blanchet, "Automatic verification of correspondences for security protocols," Journal of Computer Security, vol. 17, no. 4, pp. 363-434, 2009.
2. N. O'Shea, "Using Elyjah to analyse Java implementations of cryptographic protocols," in Foundations of Computer Security, Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, 2008, pp. 221-226.
3. K. Bhargavan, C. Fournet, A. D. Gordon, and S. Tse, "Verified interoperable implementations of security protocols," ACM Transactions on Programming Languages and Systems, vol. 31, no. 1, pp. 1-61, 2008.
4. A. Pironti and R. Sisto, "An experiment in interoperable cryptographic protocol implementation using automatic code generation," in IEEE Symposium on Computers and Communications, 2007, pp. 839-844.
5. S. Kiyomoto, H. Ota, and T. Tanaka, "A security protocol compiler generating C source codes," in Information Security and Assurance, 2008, pp. 20-25.
6. J. Jürjens, Secure Systems Development with UML. Springer, 2005.
7. D. Basin, J. Doser, and T. Lodderstedt, "Model driven security: from UML models to access control infrastructures," ACM Transactions on Software Engineering and Methodology, vol. 15, no. 1, pp. 39-91, 2006. (Pubitemid 43947939)