3384 search results - page 120 / 677 » More Testable Properties |
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
Friedman and Halpern have introduced the inference by plausibility structures, which provides semantics for various default logics. This is a generalization of known inferences, su...
PODC
2003
ACM
14 years 2 months ago
2003
ACM
The distinction between safety and liveness properties is due to Lamport who gave the following informal characterization. Safety properties assert that nothing bad ever happens w...
CCS
2001
ACM
14 years 1 months ago
2001
ACM
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...
IPPS
2000
IEEE
14 years 1 months ago
2000
IEEE
Recently, the diversified types of companies have been trying to cooperate among them to cope with the dynamic market and thus integration of their DBs with heterogeneous requirem...
CRYPTO
2000
Springer
14 years 1 months ago
2000
Springer
We investigate the all-or-nothing encryption paradigm which was introduced by Rivest as a new mode of operation for block ciphers. The paradigm involves composing an all-or-nothing...