PUMA
Istituto di Informatica e Telematica     
Martinelli F., Petrocchi M. Executable specification of Cryptofraglets in Maude for security verification. 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.
 
 
Abstract
(English)
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.
Subject Fraglets
cryptofraglets
security protocol
Maude
C.2 COMPUTER-COMMUNICATION NETWORKS


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