Welcome to the InfoSci Platform
Reference Hub11
JavaSPI: A Framework for Security Protocol Implementation

JavaSPI: A Framework for Security Protocol Implementation

Matteo Avalle, Alfredo Pironti, Davide Pozza, Riccardo Sisto
Copyright: © 2011 |Volume: 2 |Issue: 4 |Pages: 15
ISSN: 1947-3036|EISSN: 1947-3044|EISBN13: 9781613508985|DOI: 10.4018/jsse.2011100103
Cite Article Cite Article

MLA

Avalle, Matteo, et al. "JavaSPI: A Framework for Security Protocol Implementation." IJSSE vol.2, no.4 2011: pp.34-48. http://doi.org/10.4018/jsse.2011100103

APA

Avalle, M., Pironti, A., Pozza, D., & Sisto, R. (2011). JavaSPI: A Framework for Security Protocol Implementation. International Journal of Secure Software Engineering (IJSSE), 2(4), 34-48. http://doi.org/10.4018/jsse.2011100103

Chicago

Avalle, Matteo, et al. "JavaSPI: A Framework for Security Protocol Implementation," International Journal of Secure Software Engineering (IJSSE) 2, no.4: 34-48. http://doi.org/10.4018/jsse.2011100103

Export Reference

Mendeley
Favorite Full-Issue Download

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. The JavaSPI framework is validated by implementing a scenario of the SSL protocol. The JavaSPI implementation can successfully interoperate with OpenSSL, and has comparable execution time with the standard Java JSSE library.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.