Executable specification of Cryptofraglets in Maude for security verification (Contributo in atti di convegno)

Type
Label
  • Executable specification of Cryptofraglets in Maude for security verification (Contributo in atti di convegno) (literal)
Anno
  • 2009-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1007/978-3-642-12808-0_2 (literal)
Alternative label
  • Fabio Martinelli; Marinella Petrocchi (2009)
    Executable specification of Cryptofraglets in Maude for security verification
    in 4th International Conference on Bio-Inspired Models of Network, Information, and Computing Systems, Avignon
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Fabio Martinelli; Marinella Petrocchi (literal)
Pagina inizio
  • 11 (literal)
Pagina fine
  • 23 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume
  • Bioinspired Models of Network, Information, and Computing Systems (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • part I (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana
  • 39 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: Bionetics 2009 - 4th International Conference on Bio-Inspired Models of Network, Information, and Computing Systems (Avignon, 9-11 December 2009). Proceedings, pp. 25 - 31. 2009. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto
  • ABSTRACT: The paper describes connections between two models dealing with communication protocols, the fraglet model and the formal language of MultiSet Rewriting, which has very good inspiration from biology. By starting from similarities in their capabilities of modeling (indeed, their strong analogies in modeling biological systems), the programming language of the first model is translated into rule of the second model. Moreover, we propose an extended version of fraglets, namely Crypto-fraglets, as an initial step towards the intent of enlarging the set of communication protocols that this framework is currently able to describe, model and simulate. (literal)
Note
  • DBLP (literal)
  • SpringerLink (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-IIT, Pisa (literal)
Titolo
  • Executable specification of Cryptofraglets in Maude for security verification (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 978-3-642-12808-0 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatoriVolume
  • Eitan Altman; Iacopo Carreras; Rachid El-Azouzi; Emma Hart; Yezekael Hayel (literal)
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. Starting from a threat model which we intend to use for modeling secure communication protocols with fraglets, we propose an executable specification of fraglets (and fraglets-based cryptographic protocols) in the rewriting logic-based Maude interpreter. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Insieme di parole chiave di
data.CNR.it