Security and Survivability: Analyzing, Modeling, and Verifying Dynamic Recovery in Insecure Systems

Verifying

by: Roy H. Campbell · Prasad G. Naldurg

Hardcover

ISBN: 978-0-387-27627-4

ISBN-10: 0-387-27627-0

Springer · 2008