PART VII
Policy Issues in Security Management
Chapter 23 Policies, Access Control, and Formal Methods
Chapter 24 Formal Analysis of Policy-Based Security Configurations in Enterprise Networks
Get Handbook on Securing Cyber-Physical Critical Infrastructure now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.