Accession Number:

ADA464079

Title:

Visual Security Protocol Modeling

Descriptive Note:

Corporate Author:

NAVAL RESEARCH LAB WASHINGTON DC CENTER FOR HIGH ASSURANCE COMPUTING SYSTEMS (CHACS)

Personal Author(s):

Report Date:

2005-01-01

Pagination or Media Count:

14.0

Abstract:

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 OMGs 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.

Subject Categories:

  • Cybernetics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE