Formal aspects in security and trust
by Theo Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider
Formal methods (Computer science)TrustCongressesComputer security
Writing a summary for young readers…
For young readers
Book data: Open Library