Recommend this title to your librarian

  • Formal Logical Methods for System Security and Correctness