About this document
Secure Systems Modeling and Policies by nguyen cuong is a document available to read on EtoBox.
This document introduces a new approach to modeling secure systems that has several novel properties: 1) It uses a simple automaton theoretic approach to model secure systems. 2) It shows how to use abstract capabilities to model dynamic security aspects. 3) The approach can model both computer and non-computer based secure systems. 4) It introduces the general concept of a security policy and provides a simple language for specifying policies based on noninterference. The goal is to show that a given
- Author
- nguyen cuong
- Language
- EN