KeyNote policy files and conversion to disjunctive normal form for use in IPsec
Loading...
Authors
Levin, Timothy E.
Irvine, Cynthia E.
Spyropoulou, Evdoxia
Subjects
IPSec (Computer network protocol)
Computer networks
Security measures
Computer networks
Security measures
Advisors
Date of Issue
2002-01
Date
Publisher
Monterey, California. Naval Postgraduate School
Language
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.
Type
Technical Report
Description
Series/Report No
Department
Computer Science
Organization
Center for Information Systems Security Studies and Research (CISR)
Naval Postgraduate School (U.S.)
Defense Advanced Research Projects Agency (DARPA)
Identifiers
NPS Report Number
NPS-CS-02-001
Sponsors
Funder
Format
46 p.: ill.;28 cm.
Citation
Distribution Statement
Approved for public release; distribution is unlimited.