8337 search results - page 1353 / 1668 » Reasoning With Characteristic Models |
161
click to vote
DEON
2004
Springer
16 years 1 days ago
2004
Springer
This paper studies the logic of a dyadic modal operator for being obliged to meet a condition ρ before a condition δ becomes true. Starting from basic intuitions we arrive at a s...
182
click to vote
ESORICS
2004
Springer
16 years 1 days ago
2004
Springer
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
176
click to vote
EUROCRYPT
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We propose a simple and efficient construction of a CCAsecure public-key encryption scheme from any CPA-secure identity-based encryption (IBE) scheme. Our construction re...
171
click to vote
MABS
2004
Springer
16 years 5 hour ago
2004
Springer
The emerging ”Computational Grid” infrastructure poses many new opportunities for the developing science of large scale multiagent simulation. The ability to migrate agent expe...
183
click to vote
RULEML
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we present R-DEVICE, a deductive rule language for reasoning about RDF metadata. R-DEVICE includes features such as normal and generalized path expressions, stratifie...