Communicating sequential processes
Communicating sequential processes
The visual display of quantitative information
The visual display of quantitative information
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Communication and concurrency
Process algebra
A compositional approach to performance modelling
A compositional approach to performance modelling
Verifying Authentication Protocols in CSP
IEEE Transactions on Software Engineering
Towards a UML based approach to role engineering
RBAC '99 Proceedings of the fourth ACM workshop on Role-based access control
Strand spaces: proving security protocols correct
Journal of Computer Security
The next 700 programming languages
Communications of the ACM
Athena: a novel approach to efficient automatic security protocol analysis
Journal of Computer Security
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Formal Specification and Verification of Digital Systems
Formal Specification and Verification of Digital Systems
UMLsec: Extending UML for Secure Systems Development
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Model driven security for process-oriented systems
Proceedings of the eighth ACM symposium on Access control models and technologies
Verifying The Correctness Of Cryptographic Protocols Using "Convince"
ACSAC '96 Proceedings of the 12th Annual Computer Security Applications Conference
A HOL extension of GNY for automatically analyzing cryptographic protocols
CSFW '96 Proceedings of the 9th IEEE workshop on Computer Security Foundations
Process Algebra and Non-interference
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
From process algebra to visual language
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
A General Theory of Composition for Trace Sets Closed under Selective Interleaving Functions
SP '94 Proceedings of the 1994 IEEE Symposium on Security and Privacy
The Pragmatics of Model-Driven Development
IEEE Software
Implementing Hierarchical Features in a Graphically Based Formal Modelling Language
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Checking of models built using a graphically based formal modelling language
Journal of Systems and Software - Special issue: Computer software & applications
The modelling and analysis of security protocols: the csp approach
The modelling and analysis of security protocols: the csp approach
Modelling recursive calls with UML state diagrams
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Enhanced security protocol engineering through a unified multidimensional framework
IEEE Journal on Selected Areas in Communications
A formalism for visual security protocol modeling
Journal of Visual Languages and Computing
Building a secure star schema in data warehouses by an extension of the relational package from CWM
Computer Standards & Interfaces
Formally based semi-automatic implementation of an open security protocol
Journal of Systems and Software
Not Ready for Prime Time: A Survey on Security in Model Driven Development
International Journal of Secure Software Engineering
Hi-index | 0.00 |
This paper argues that the existing model-driven architecture paradigm does not adequately cover the visual modeling of security protocols: sequences of interactions between principals. A security protocol modeling formalism should be not only well-defined but also support event-based, compositional, comprehensive, laconic, lucid, sound, and complete modeling. Candidate visual approaches from both the OMG's MDA and other more well-defined formalisms fail to satisfy one or more of these criteria. By means of two example security protocol models, we present the GSPML visual formalism as a solution.