Formal logical methods for system security and correctness - Grumberg, Orna; Nipkow, Tobias, 1958-; Pfaller, Christian (NATO security through science series. Information and communication security, 2008)