Carl E. Landwehr

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