DocumentCode
1833648
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
fYear
2011
fDate
22-26 Aug. 2011
Firstpage
746
Lastpage
751
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ARES.2011.117
Filename
6046031
Link To Document