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