64 search results - page 1 / 13 » Model Checking for Verification of Mandatory Access Control ... |
IJSEKE
2011
12 years 8 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
C3S2E
2009
ACM
13 years 8 months ago
2009
ACM
This paper proposes a security analysis framework for dynamic web applications. A reverse engineering process is performed over a dynamic web application to extract a rolebased ac...
EUC
2008
Springer
13 years 6 months ago
2008
Springer
ISQED
2003
IEEE
13 years 9 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
DASC
2006
IEEE
13 years 8 months ago
2006
IEEE
We present a new approach to ensure the secure execution of itinerary-driven mobile agents, in which the specification of the navigational behavior of an agent is separated from t...