Politecnico di Torino Porto Institutional Repository [ Proceeding ] The JavaSPI Framework for Security Protocol Implementation

Matteo Avalle,A. Pironti,R. Sisto
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-Formal methods; Java; Security protocols; ProVerif; Model-driven development
What problem does this paper attempt to address?