2685 search results - page 385 / 537 » A Formal Semantics for SPKI |
181
click to vote
ESORICS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular wa...
195
click to vote
FMICS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
201
click to vote
LOPSTR
2007
Springer
16 years 19 days ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
166
click to vote
PPDP
2007
Springer
16 years 18 days ago
2007
Springer
We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restri...
179
click to vote
SAC
2006
ACM
16 years 13 days ago
2006
ACM
In this paper, we show that representation and reasoning techniques used in traditional knowledge engineering and the emerging Semantic Web can play an important role for heteroge...