chapter AFP
session "UPF_Firewall" (AFP) = UPF +
description {* Formal Network Models and Their Application to Firewall Policies *}
options [timeout=600]
theories
"Examples/Examples"
document_files
"root.tex"
"introduction.tex"
"root.bib"