A Model-Independent Security Architecture for Distributed Heterogeneous Systems by Stephen D. Wolthusen

A Model-Independent Security Architecture for Distributed Heterogeneous Systems

Stephen D. Wolthusen

460 pages • missing pub info (view editions)

nonfiction computer science mathematics science challenging informative medium-paced
Powered by AI (Beta)
Loading...

Description

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, specification, and reasoning and enforced in such a...

Read more

Community Reviews

Loading...

Content Warnings

Loading...