Carl E Landwehr
A list of authors with biographies, life dates, and future collections of all their books.
Author's Books
8
Database Security, II: Status and Prospects
A survey of formal models for computer security
Dependable computing for critical applications 3
Best available technologies (BATs) for computer security
Software engineering techniques applied to protocol simulation
Database security
Foundations of Security, Protocols, and Equational Reasoning
