Publication Date:
2006
abstract:
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.
Iris type:
04.01 Contributo in Atti di convegno
Keywords:
Fraglets; Multiset Rewriting; Cryptography
List of contributors: