ABSTRACT

KeyNote Policy Files and Conversion to Disjunctive Normal Form for Use in IPsec   [open pdf - 1MB]

This technical report describes the utility developed for converting a KeyNote policy file to Disjunctive Normal Form, so that it can be further utilized in research on Quality of Security Service for IPsec. Some background information on KeyNote and IPsec, on the Disjunctive Normal Form of logical expressions, as well as on lex and yacc tools, can be found in the introductory paragraphs of this document.

Report Number:
Technical Report NPS-CS-02-00 1
Author:
Publisher:
Date:
2002-01
Copyright:
Public Domain
Retrieved From:
Naval Postgraduate School, Dudley Knox Library: http://www.nps.edu/Library/index.aspx
Format:
pdf
Media Type:
application/pdf
URL:
Help with citations