TitleVisual Security Protocol Modeling
Publication TypeConference Paper
Year of Publication2005
AuthorsMcDermott, J.
Conference NameNew Security Paradigms Workshop (NSPW)
Conference LocationLake Arrowhead, California

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.

Full Text


NRL Publication Release Number