chapter AFP

session SIFUM_Type_Systems = HOL +
  description "
    An Isabelle/HOL formalization of Assumptions and Guarantees for Compositional Noninterference

    Author: Sylvia Grewe, TU Darmstadt
    Author: Heiko Mantel, TU Darmstadt
    Author: Daniel Schoepe
  "
  options [timeout = 600]
  sessions
    "HOL-Library"
  theories
    Preliminaries 
    Security 
    Compositionality 
    Language 
    TypeSystem 
    LocallySoundModeUse
  document_files
    "root.bib"
    "root.tex"
