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.
展开▼