Title :
The Java SPI Framework for Security Protocol Implementation
Author :
Avalle, Matteo ; Pironti, Alfredo ; Sisto, Riccardo ; Pozza, Davide
Author_Institution :
Dip. di Autom. e Inf., Politec. di Torino, Torino, Italy
Abstract :
This paper presents JavaSPI, a "model-driven" development framework that allows the user to reliably develop security protocol implementations in Java, starting from abstract models that can be verified formally. The main novelty of this approach stands in the use of Java as both a modeling language and the implementation language. By using the SSL handshake protocol as a reference example, this paper illustrates the JavaSPI framework.
Keywords :
Java; security of data; Java SPI framework; SSL handshake protocol; model-driven development framework; modeling language; security protocol implementation; Concrete; Java; Libraries; Protocols; Security; Servers; Unified modeling language; Formal methods; Java; Model-driven development; ProVerif; Security protocols;
Conference_Titel :
Availability, Reliability and Security (ARES), 2011 Sixth International Conference on
Conference_Location :
Vienna
Print_ISBN :
978-1-4577-0979-1
Electronic_ISBN :
978-0-7695-4485-4
DOI :
10.1109/ARES.2011.117
