3081 search results - page 399 / 617 » A Formal Ontology of Properties |
165
click to vote
ATAL
2007
Springer
16 years 24 days ago
2007
Springer
We study logical properties that concern the preservation of futuredirected obligations that have not been fulfilled yet. Our starting point is a product of temporal and deontic ...
155
click to vote
CAV
2007
Springer
16 years 24 days ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
171
click to vote
CCS
2007
ACM
16 years 24 days ago
2007
ACM
In this paper we propose a new voting protocol with desirable security properties. The voting stage of the protocol can be performed by humans without computers; it provides every...
186
click to vote
ESORICS
2007
Springer
16 years 23 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...
155
click to vote
FMCAD
2007
Springer
16 years 23 days ago
2007
Springer
—When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is satisfied in the inte...