03 June 2020 POLITECNICO DI TORINO Repository ISTITUZIONALE Formally based semi-automatic implementation of an open security protocol / Pironti A.; Pozza D.; Sisto R.. - In: THE JOURNAL OF SYSTEMS AND SOFTWARE. - ISSN 0164-1212. - STAMPA. - 85:4(2012), pp. 835-849. Original Formally based semi-automatic implementation of an open security protocol Publisher: Published DOI:10.1016/j.jss.2011.10.052 Terms of use: openAccess Publisher copyright (Article begins on next page) This article is made available under terms and conditions as specified in the corresponding bibliographic description in the repository Availability: This version is available at: 11583/2460617 since: Elsevier Science