Formal Aspects in Security and Trust: Ifip Tc1 Wg1.7 Workshop on Formal Aspects in Security and Trust (Fast), World Computer Congress, August 22-27, 2004, Toulouse, France : Book Review
"Formal Aspects in Security and Trust" by Theo Dimitrakos is a comprehensive exploration of the formal methods employed to ensure security and trust in computer systems. This book covers a wide range of topics, including access control, confidentiality, integrity, and cryptographic protocols. What sets this book apart is Dimitrakos' ability...