A Model-Independent Security Architecture for Distributed Heterogeneous Systems

by Stephen D. Wolthusen

This dissertation shows that information assurance properties can be both specified within a formal model of systems to which the properties are applied using the same formal theory for modeling,... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3832504168
• ISBN13: 9783832504168
• Release Date: December 2003
• Publisher: Logos Verlag Berlin
• Length: 460 Pages