Istituto di Informatica e Telematica     
Petrocchi M. Cryptofraglets: networking, biology and security. In: BIONETICS 2006 (Cavalese, Trento, 2006). Proceedings, pp. 1 - 5. IEEE, 2006.
The paper relates two models for communication protocols, fraglets and MultiSet Rewriting. By starting from similarities of their capabilities of modeling (their strong connections with the modeling of 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, with the intent of enlarging the set of communication protocols that this framework is able to describe.
DOI: 10.1109/BIMNICS.2006.361800
Subject Communication system security
Cryptographic protocols
Information security
F.3.2 Semantics of Programming Languages

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional