3224 search results - page 468 / 645 » On Checking Model Checkers |
220
click to vote
CSFW
2000
IEEE
15 years 11 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
165
click to vote
AMAST
2000
Springer
15 years 10 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...
179
click to vote
ECOOP
2000
Springer
15 years 10 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...
208
click to vote
WIFT
1998
IEEE
15 years 10 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 ...
158
click to vote
OOPSLA
1992
Springer
15 years 10 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...