Model checking information flow

Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

Original language	Undefined/Unknown
Title of host publication	Design and Verification of Microprocessor Systems for High-Assurance Applications
Publisher	Springer US
Pages	381-428
Number of pages	48
State	Published - 2010

Find It

@inbook{4749589733ad4811b986d68f5f10a93c,

title = "Model checking information flow",

author = "Whalen, \{Michael W\} and Greve, \{David A\} and Wagner, \{Lucas G.\}",

year = "2010",

language = "Undefined/Unknown",

pages = "381--428",

booktitle = "Design and Verification of Microprocessor Systems for High-Assurance Applications",

publisher = "Springer US",

address = "United States",

}