Visual Security Protocol Modeling

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

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2005
Accession Number
ADA464079

Entities

People

  • J. Mcdermott

Organizations

  • United States Naval Research Laboratory

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Computer Access Control
  • Computer Programming
  • Construction
  • Flow
  • Formal Languages
  • Language
  • Notation
  • Object Oriented Programming
  • Petri Nets
  • Programming Languages
  • Security Protocols
  • Sequences
  • Set Theory
  • Software Development
  • Specifications
  • Standards

Fields of Study

  • Computer science

Readers

  • Software Engineering.