A Fault-Tree Representation of NPATRL Security Requirements

Abstract

In this paper we show how we can increase the ease of reading and writing security requirements for cryptographic protocols by developing a visual language based on fault trees. We develop such a semantics for a subset of NPATRL, a temporal language used for expressing safety requirements for cryptographic protocols, and show that the subset is sound and complete with respect to the semantics. We also show how the fault trees can be used to improve the presentation of some specifications that we developed in our analysis of the Group Domain of Interpretation (GDOI) protocol.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2003
Accession Number
ADA464078

Entities

People

  • Catherine Meadows
  • Iliano Cervesato

Tags

Communities of Interest

  • Air Platforms

DTIC Thesaurus Topics

  • Abstracts
  • Analyzers
  • Connectors
  • Engineering
  • Grammars
  • Guarantees
  • Information Operations
  • Language
  • Military Research
  • Safety
  • Safety Analysis
  • Security
  • Security Protocols
  • Semantics
  • Sequences
  • Specifications
  • Translations

Fields of Study

  • Computer science

Readers

  • Civilian Systems Systems Program Capability Development and Upgrade Support Activity Expense and Pay Management.
  • Computational Linguistics
  • Naval Engineering and Maritime Security