"Formal Logical Methods for System Security and Correctness" - читать интересную книгу автора (Orna Grumberg, Orna Grumberg, Tobias Nipkow, Christian Pfaller)