23 search results - page 1 / 5 » Validation of Policy Integration Using Alloy |
ICDCIT
2005
Springer
13 years 9 months ago
2005
Springer
Abstract. Organizations typically have multiple security policies operating together in the same system. The integration of multiple policies might be needed to achieve the desired...
ASM
2010
ASM
13 years 11 months ago
2010
ASM
Abstract. This paper introduces the subject of secrecy models development by transformation, with formal validation. In an enterprise, constructing a secrecy model is a participato...
ISSRE
2006
IEEE
13 years 10 months ago
2006
IEEE
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...
ENTCS
2006
13 years 4 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
SEMWEB
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. Formal policies allow the non-ambiguous definition of situations in which usage of certain entities are allowed, and enable the automatic evaluation whether a situation i...