Model checking information flow

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

Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

10 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publicationDesign and Verification of Microprocessor Systems for High-Assurance Applications
PublisherSpringer US
Pages381-428
Number of pages48
StatePublished - 2010

Cite this

Whalen, M. W., Greve, D. A., & Wagner, L. G. (2010). Model checking information flow. In Design and Verification of Microprocessor Systems for High-Assurance Applications (pp. 381-428). Springer US.

Model checking information flow. / Whalen, Michael W; Greve, David A; Wagner, Lucas G.

Design and Verification of Microprocessor Systems for High-Assurance Applications. Springer US, 2010. p. 381-428.

Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

Whalen, MW, Greve, DA & Wagner, LG 2010, Model checking information flow. in Design and Verification of Microprocessor Systems for High-Assurance Applications. Springer US, pp. 381-428.
Whalen MW, Greve DA, Wagner LG. Model checking information flow. In Design and Verification of Microprocessor Systems for High-Assurance Applications. Springer US. 2010. p. 381-428
Whalen, Michael W ; Greve, David A ; Wagner, Lucas G. / Model checking information flow. Design and Verification of Microprocessor Systems for High-Assurance Applications. Springer US, 2010. pp. 381-428
@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",

}

TY - CHAP

T1 - Model checking information flow

AU - Whalen, Michael W

AU - Greve, David A

AU - Wagner, Lucas G.

PY - 2010

Y1 - 2010

M3 - Other chapter contribution

SP - 381

EP - 428

BT - Design and Verification of Microprocessor Systems for High-Assurance Applications

PB - Springer US

ER -