| Title | The {JavaSPI} Framework for Security Protocol Implementation |
| Publication Type | Conference Paper |
| Year of Publication | 2011 |
| Authors | Avalle, M., A. Pironti, R. Sisto, and D. Pozza |
| Conference Name | Availability, Reliability and Security (ARES 11) |
| Publisher | IEEE Computer Society |
| 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. |
| Attachment | Size |
|---|---|
| secse11.pdf | 544.1 KB |