3081 search results - page 344 / 617 » A Formal Ontology of Properties |
144
click to vote
FSTTCS
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Transactions are commonly described as being ACID: Allor-nothing, Consistent, Isolated and Durable. However, although these words convey a powerful intuition, the ACID pr...
175
Voted
DANCE
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we define and provide a general construction for a class of policies we call dynamic policies. In most existing systems, policies are implemented and enforced by ch...
181
click to vote
CCS
2000
ACM
15 years 11 months ago
2000
ACM
We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the wellknown simulatability approach, i.e., the specification is an ...
183
click to vote
BIRTHDAY
1992
Springer
15 years 10 months ago
1992
Springer
A context-free grammar is a single-tree grammar (STG) if every nonterminal symbol has at most one production rule whose right hand side contains nonterminal symbols. Various prope...
164
Voted
PKC
2010
Springer
15 years 10 months ago
2010
Springer
Sanitizable signatures allow a designated party, called the sanitizer, to modify parts of signed data such that the immutable parts can still be verified with respect to the origi...