@prefix prodottidellaricerca: . @prefix istituto: . @prefix prodotto: . istituto:CDS044 prodottidellaricerca:prodotto prodotto:ID294496 . @prefix pubblicazioni: . @prefix unitaDiPersonaleInterno: . unitaDiPersonaleInterno:MATRICOLA8503 pubblicazioni:autoreCNRDi prodotto:ID294496 . unitaDiPersonaleInterno:MATRICOLA10096 pubblicazioni:autoreCNRDi prodotto:ID294496 . @prefix unitaDiPersonaleEsterno: . unitaDiPersonaleEsterno:ID21373 pubblicazioni:autoreCNRDi prodotto:ID294496 . @prefix modulo: . modulo:ID2828 prodottidellaricerca:prodotto prodotto:ID294496 . @prefix rdf: . @prefix retescientifica: . prodotto:ID294496 rdf:type retescientifica:ProdottoDellaRicerca , prodotto:TIPO1301 . @prefix rdfs: . prodotto:ID294496 rdfs:label "Cryptofraglets Reloaded: Bioinspired modelling and analysis of a RFID protocol and properties (Contributo in atti di convegno)"@en . @prefix xsd: . prodotto:ID294496 pubblicazioni:anno "2014-01-01T00:00:00+01:00"^^xsd:gYear . @prefix skos: . prodotto:ID294496 skos:altLabel "
Marinella Petrocchi, Angelo Spognardi, Paolo Santi (2014)
Cryptofraglets Reloaded: Bioinspired modelling and analysis of a RFID protocol and properties
in 8th International Conference on Bio-inspired Information and Communications Technologies (BICT 2014), Boston
"^^rdf:HTML ; pubblicazioni:autori "Marinella Petrocchi, Angelo Spognardi, Paolo Santi"^^xsd:string ; pubblicazioni:affiliazioni "IIT-CNR"^^xsd:string ; pubblicazioni:titolo "Cryptofraglets Reloaded: Bioinspired modelling and analysis of a RFID protocol and properties"^^xsd:string ; prodottidellaricerca:abstract "Fraglets are computation fragments flowing through a computer network. They implement a chemical reaction model where computations are carried out by having fraglets react with each other. The strong connection between their way of transforming and reacting and some formal rewriting system makes a fraglet program amenable to verification. In this paper, we propose an executable specification of fraglets (and fraglets-based cryptographic protocols) in the rewriting logic-based Maude interpreter to model a RFID protocol and its security properties."@en ; prodottidellaricerca:prodottoDi istituto:CDS044 , modulo:ID2828 ; pubblicazioni:autoreCNR unitaDiPersonaleEsterno:ID21373 , unitaDiPersonaleInterno:MATRICOLA8503 , unitaDiPersonaleInterno:MATRICOLA10096 . @prefix parolechiave: . prodotto:ID294496 parolechiave:insiemeDiParoleChiave . parolechiave:insiemeDiParoleChiaveDi prodotto:ID294496 .