Formal Logical Methods for System Security and Correctness

Orna Grumberg , Tobias Nipkow , Christian Pfaller