@prefix prodottidellaricerca: . @prefix istituto: . @prefix prodotto: . istituto:CDS029 prodottidellaricerca:prodotto prodotto:ID179690 . @prefix pubblicazioni: . @prefix unitaDiPersonaleInterno: . unitaDiPersonaleInterno:MATRICOLA9335 pubblicazioni:autoreCNRDi prodotto:ID179690 . @prefix unitaDiPersonaleEsterno: . unitaDiPersonaleEsterno:ID2130 pubblicazioni:autoreCNRDi prodotto:ID179690 . @prefix modulo: . modulo:ID2105 prodottidellaricerca:prodotto prodotto:ID179690 . @prefix rdf: . @prefix retescientifica: . prodotto:ID179690 rdf:type retescientifica:ProdottoDellaRicerca , prodotto:TIPO1301 . @prefix rdfs: . prodotto:ID179690 rdfs:label "Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus (Contributo in atti di convegno)"@en . @prefix xsd: . prodotto:ID179690 pubblicazioni:anno "2004-01-01T00:00:00+01:00"^^xsd:gYear ; pubblicazioni:doi "10.1109/AINA.2004.1283943"^^xsd:string . @prefix skos: . prodotto:ID179690 skos:altLabel "
L. Durante; D. Pozza; R. Sisto (2004)
Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus
in 18th International Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka, 29-31 marzo 2004
"^^rdf:HTML ; pubblicazioni:autori "L. Durante; D. Pozza; R. Sisto"^^xsd:string ; pubblicazioni:paginaInizio "400"^^xsd:string ; pubblicazioni:paginaFine "405"^^xsd:string ; pubblicazioni:altreInformazioni "Insignito del riconoscimento \\\"High Honor Paper Award\\\""^^xsd:string ; pubblicazioni:url "http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=1283943"^^xsd:string ; pubblicazioni:pagineTotali "6"^^xsd:string ; skos:note "Scopus"^^xsd:string , "Google Scholar"^^xsd:string , "INSPEC"^^xsd:string , "ACM DL"^^xsd:string , "IEEE Xplore digital library"^^xsd:string ; pubblicazioni:affiliazioni "L. Durante: CNR-IEIIT, Istituto di Elettronica e di Ingegneria dell'Informazione e delle Telecomunicazioni, Torino, Italy\nD. Pozza: Dipartimento di Automatica e Informatica, Politecnico di Torino, Italy\nR. Sisto: CNR-IEIIT e Dipartimento di Automatica e Informatica, Politecnico di Torino, Italy"^^xsd:string ; pubblicazioni:titolo "Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus"^^xsd:string ; pubblicazioni:isbn "0-7695-2051-0"^^xsd:string ; prodottidellaricerca:abstract "The aim of this work is to describe a tool (Spi2Java) that automatically generates Java code implementing cryptographic protocols described in the formal specification language spi calculus. Spi2Java is part of a set of tools for spi calculus, also including a preprocessor, a parser, and a security analyzer. The latter can formally analyze protocols and detect protocol flaws. When a protocol has been analyzed and an adequate confidence about its correctness has been reached, Spi2Java can generate a corresponding correct Java implementation of the protocol, thus dramatically reducing the risk of introducing security flaws in the coding phase."@en . @prefix ns12: . prodotto:ID179690 pubblicazioni:editore ns12:ID12125 ; prodottidellaricerca:prodottoDi istituto:CDS029 , modulo:ID2105 ; pubblicazioni:autoreCNR unitaDiPersonaleInterno:MATRICOLA9335 , unitaDiPersonaleEsterno:ID2130 . @prefix parolechiave: . prodotto:ID179690 parolechiave:insiemeDiParoleChiave . ns12:ID12125 pubblicazioni:editoreDi prodotto:ID179690 . parolechiave:insiemeDiParoleChiaveDi prodotto:ID179690 .