An introduction to Estelle: a specification language for distributed systems
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Estelle development toolset (EDT)
Computer Networks and ISDN Systems
Formal Specification, Validation and Performance Evaluation of the Xpress Transfer Protocol
Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification XIII
Fieldbus Network Simulation Using a Time Extended Estelle Formalism
MASCOTS '00 Proceedings of the 8th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems
The proposal of protocol for electronic signature creation in public environment
Enhanced methods in computer security, biometric and artificial intelligence systems
A survey of algebraic properties used in cryptographic protocols
Journal of Computer Security
Simulation Based Validation Of Authentication Protocols
Journal of Integrated Design & Process Science
SAT-based model-checking for security protocols analysis
International Journal of Information Security
An integrated framework for security protocol analysis
Proceedings of the 2008 ACM symposium on Information, computer and communications security
Is your security protocol on time?
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
| Hi-index | 0.00 |
In this paper we offer a methodology allowing for simulation of security protocols, implemented in the higher-level language Estelle, using scenarios designed for external attacks. To this aim we apply a translation of specifications of security protocols from Common Syntax to Estelle and an encoding of schemes of attacks into Estelle scenarios. We show that such an intelligent simulation may efficiently serve for validating security protocols.