Carl E. Landwehr

No bio available. Add one in Open Library.

Books by Carl E. Landwehr (50 max)

+ shelf+ list

Dependable computing for critical applications 3

1993

Carl E. Landwehr, Brian Randell

+ shelf+ list

Database security: status and prospects : results of the IFIP WG 11.3 initial meeting, Annapolis, Maryland, U.S.A., October 1987

1988

Carl E. Landwehr

+ shelf+ list

Software engineering techniques applied to protocol simulation

1980

Carl E. Landwehr

+ shelf+ list

An abstract type for statistics collection in SIMULA

1980

Carl E. Landwehr

+ shelf+ list

Best available technologies (BATs) for computer security

1981

Carl E. Landwehr

+ shelf+ list

A survey of formal models for computer security

1981

Carl E. Landwehr

+ shelf+ list

Database Security, II: Status and Prospects : Results of the Ifip Wg 11.3 Workshop on Database Security Kingston, Ontario, Canada 5-7 October 1988

1990

Carl E. Landwehr

+ shelf+ list

Foundations of Security, Protocols, and Equational Reasoning : Essays Dedicated to Catherine A. Meadows

2019

Joshua Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic