Books by Carl E. Landwehr
Foundations of Security, Protocols, and Equational Reasoning
Dependable computing for critical applications 3
Database Security, II: Status and Prospects
A survey of formal models for
A survey of formal models for computer security
Best available technologies (B
Best available technologies (BATs) for computer security
An abstract type for statistic
An abstract type for statistics collection in SIMULA
Software engineering technique
Software engineering techniques applied to protocol simulation