Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Information Processing Letters
Analysis of security protocols as open systems
Theoretical Computer Science
A Meta-Notation for Protocol Analysis
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
CSFW '00 Proceedings of the 13th IEEE workshop on Computer Security Foundations
Relating multiset rewriting and process algebras for security protocol analysis
Journal of Computer Security - Special issue on WITS'03
Static validation of security protocols
Journal of Computer Security
A metabolic approach to protocol resilience
WAC'04 Proceedings of the First international IFIP conference on Autonomic Communication
Experiments on the automatic evolution of protocols using genetic programming
WAC'05 Proceedings of the Second international IFIP conference on Autonomic Communication
A survey of active network research
IEEE Communications Magazine
A survey on bio-inspired networking
Computer Networks: The International Journal of Computer and Telecommunications Networking
Hi-index | 0.00 |
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.