Archivio Istituzionale della RicercaThis 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.
The JavaSPI Framework for Security Protocol Implementation / Avalle, MATTEO CARLO; Pironti, Alfredo; Sisto, Riccardo; Pozza, Davide. - STAMPA. - (2011), pp. 746-751. (Intervento presentato al convegno Sixth International Conference on Availability, Reliability and Security (ARES) tenutosi a Vienna (Austria) nel 22-26 Aug. 2011) [10.1109/ARES.2011.117].
The JavaSPI Framework for Security Protocol Implementation
AVALLE, MATTEO CARLO;PIRONTI, ALFREDO;SISTO, Riccardo;POZZA, DAVIDE
2011
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.
| File | Dimensione | Formato | |
|---|---|---|---|
|
ares2011_author_postprint.pdf
accesso aperto
Tipologia:
2. Post-print / Author's Accepted Manuscript
Licenza:
Pubblico - Tutti i diritti riservati
Dimensione
561.77 kB
Formato
Adobe PDF
|
561.77 kB | Adobe PDF | Visualizza/Apri |
|
The_Java_SPI_Framework_for_Security_Protocol_Implementation.pdf
accesso riservato
Tipologia:
2a Post-print versione editoriale / Version of Record
Licenza:
Non Pubblico - Accesso privato/ristretto
Dimensione
624.42 kB
Formato
Adobe PDF
|
624.42 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
https://hdl.handle.net/11583/2460419