Clicky

Foundations of Security, Protocols, and Equational Reasoning by Joshua Guttman and similar books you'll love - Bookscovery

Home > Authors > Joshua Guttman > Foundations of Security, Protocols, and Equational Reasoning

Buy at: Bookshop.org Amazon

Foundations of Security, Protocols, and Equational Reasoning

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

Recent activity

Rate this book to see your activity here.

9 Books Similar to Foundations of Security, Protocols, and Equational Reasoning by Joshua Guttman

Bookscovery readers who liked Foundations of Security, Protocols, and Equational Reasoning also like Logic, Language, and Security, An abstract type for statistics collection in SIMULA and A survey of formal models for computer security. How many of these have you read?

Logic, Language, and Security by Vivek Nigam

Cover of Logic, Language, and Security
Buy this book at:
Bookshop.org Amazon

An abstract type for statistics collection in SIMULA by Carl E. Landwehr

Cover of An abstract type for statistics collection in SIMULA
Buy this book at:
Bookshop.org Amazon

A survey of formal models for computer security by Carl E. Landwehr

Cover of A survey of formal models for computer security
Buy this book at:
Bookshop.org Amazon

Best available technologies (BATs) for computer security by Carl E. Landwehr

Cover of Best available technologies (BATs) for computer security
Buy this book at:
Bookshop.org Amazon

Database security by Carl E. Landwehr

Cover of Database security
Buy this book at:
Bookshop.org Amazon

Database Security, II: Status and Prospects by Carl E. Landwehr

Cover of Database Security, II: Status and Prospects
Buy this book at:
Bookshop.org Amazon

Dependable computing for critical applications 3 by Carl E. Landwehr

Cover of Dependable computing for critical applications 3
Buy this book at:
Bookshop.org Amazon

Software engineering techniques applied to protocol simulation by Carl E. Landwehr

Cover of Software engineering techniques applied to protocol simulation
Buy this book at:
Bookshop.org Amazon

Specification, Algebra, and Software by Shusaku Iida

Cover of Specification, Algebra, and Software
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Foundations of Security, Protocols, and Equational Reasoning

Please sign in to leave a comment