Foundations of Security, Protocols, and Equational ReasoningJoshua Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic · First published 2019Open the Tome
Dependable computing for critical applications 3Carl E. Landwehr, Brian Randell · First published 1993Open the Tome
Best available technologies (BATs) for computer securityCarl E. Landwehr · First published 1981Open the Tome
An abstract type for statistics collection in SIMULACarl E. Landwehr · First published 1980Open the Tome
Software engineering techniques applied to protocol simulationCarl E. Landwehr · First published 1980Open the Tome
