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. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1109/ARES.2011.117 | Availability, Reliability and Security |
Keywords | DocType | ISBN |
security protocol implementation,java spi framework,ssl handshake protocol,abstract model,main novelty,javaspi framework,reference example,implementation language,modeling language,development framework,formal method,formal methods,servers,java,security protocol,unified modeling language,security protocols,concrete,protocols,security | Conference | 978-0-7695-4485-4 |
Citations | PageRank | References |
6 | 0.49 | 4 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Matteo Avalle | 1 | 25 | 1.96 |
Alfredo Pironti | 2 | 330 | 27.47 |
Riccardo Sisto | 3 | 556 | 56.79 |
Davide Pozza | 4 | 105 | 7.45 |