2873 search results - page 396 / 575 » Model Checking and the Mu-calculus |
131
click to vote
AMAST
2000
Springer
15 years 8 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
136
Voted
ECOOP
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...
167
click to vote
WIFT
1998
IEEE
15 years 8 months ago
1998
IEEE
The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool ...
128
click to vote
OOPSLA
1992
Springer
15 years 8 months ago
1992
Springer
CACL is a protection scheme for objects that offers a simple and flexible model of protection and has an efficient, software-only implementation. The model, based on Access Contro...
146
click to vote
C3S2E
2009
ACM
15 years 7 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...