Carl E. Landwehr

· 8 obras en el catálogo

Obras

AAn abstract type for statistics collection in SIMULA

An abstract type for statistics collection in SIMULA

SSoftware engineering techniques applied to protocol simulati

Software engineering techniques applied to protocol simulation

AA survey of formal models for computer security

A survey of formal models for computer security

BBest available technologies (BATs) for computer security

Best available technologies (BATs) for computer security

Database security

Dependable computing for critical applications 3

Foundations of Security, Protocols, and Equational Reasoning

Database Security, II: Status and Prospects