KeyNote Policy Files and Conversion to Disjunctive Normal Form for Use in IPsec

Abstract

We describe a utility for converting a KeyNote policy file to Disjunctive Normal Form, so that it can be further utilized in our research on Quality of Security Service for IPsec. We also provide background information on KeyNote and IPsec, on the Disjunctive Normal Form of logical expressions, as well as on the lex and yacc tools employ by our utility.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2002
Accession Number
ADA407594

Entities

People

  • Cynthia E. Irvine
  • Evdoxia Spyropoulou
  • Timothy E. Levin

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Analyzers
  • Applied Computer Science
  • Computer Science
  • Computers
  • Conversion
  • Cybersecurity
  • Explosives Initiators
  • Grammars
  • Indicators
  • Information Systems
  • Language
  • Networks
  • Personality
  • Security
  • Security Protocols
  • Technical Information Centers

Readers

  • Computational Linguistics
  • Cybersecurity.