64 search results - page 2 / 13 » Model Checking for Verification of Mandatory Access Control ... |
JCS
2008
13 years 4 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
ATAL
2004
Springer
13 years 8 months ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...
ECAI
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...
19
Voted
SP
1996
IEEE
13 years 9 months ago
1996
IEEE
In the proposed mandatory access control model, arbitrary label changing policies can be expressed. The relatively simple model can capture a wide variety of security policies, in...
ENTCS
2006
13 years 4 months ago
2006
The Advanced Microcontroller Bus Architecture (AMBA) is an open System-onChip bus protocol for high-performance buses on low-power devices. We demonstrate the combined use of mode...