Carl E. Landwehr

Also known as

Carl E Landwehr

Identifiers

Open LibraryOL2709552A

Top Subjects

Statistics -- Data processing (1)
Artificial satellites in communication -- Data processing (1)
Computers -- Access control (1)

Books by Carl E. Landwehr

Total count: 6

An abstract type for statistics collection in SIMULA

Naval Research Laboratory1980-01-01
Software engineering techniques applied to protocol simulation

Naval Research Laboratory1980-01-01
A survey of formal models for computer security

Naval Research Laboratory1981-01-01
Database Security, II: Status and ProspectsResults of the Ifip Wg 11.3 Workshop on Database Security Kingston, Ontario, Canada 5-7 October 1988

North-Holland1990-06-01
Dependable Computing for Critical Applications 3

Springer2013-01-01
Foundations of Security, Protocols, and Equational ReasoningEssays Dedicated to Catherine A. Meadows

Springer2019-04-28