Model checking information flow

Michael W Whalen, David A Greve, Lucas G. Wagner

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

OpenUrl availability

@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",

}