Book Chapter10.1007/978-3-319-00945-2_34

An Approach to Automated Verification of Multi-Level Security System Models

A. Stasiak,Zbigniew Zieliński-2013-01-01-Advances in intelligent systems and computing

2

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Computer scienceConfidentialityBase (topology)Computer security modelModel checkingProgramming languageTheoretical computer scienceComputer security

Chat

Click to start Chat