Dependable computing for critical applications 3
1.5 hrs read
Rate this book:
Buy This Book
As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.
Know this book?
Help other readers discover this title by sharing your thoughts. Be the first to write a review.
Share Your Thoughts
Sign in to write a review.
More by Carl E. Landwehr
A survey of formal models for
A survey of formal models for computer security
An abstract type for statistic
An abstract type for statistics collection in SIMULA
Best available technologies (B
Best available technologies (BATs) for computer security
Database Security, II: Status and Prospects
Foundations of Security, Protocols, and Equational Reasoning
Software engineering technique
Software engineering techniques applied to protocol simulation