3573 search results - page 637 / 715 » Reasoning about Codata |
CRYPTO
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper we introduce the method of bi-linear cryptanalysis (BLC), designed specifically to attack Feistel ciphers. It allows to construct periodic biased character...
103
click to vote
EMSOFT
2004
Springer
15 years 6 months ago
2004
Springer
One central issue in system structuring and quality prediction is the interdependencies of system modules. This paper proposes a novel technique for determining the operational co...
100
click to vote
ESOP
2004
Springer
15 years 6 months ago
2004
Springer
We show how to combine trust management theories with nonce-based cryptographic protocols. The strand space framework for protocol analysis is extended by associating formulas from...
125
Voted
IFIP
2004
Springer
15 years 6 months ago
2004
Springer
Peer-to-peer systems, exchanging dynamic documents through Web services, are a simple and effective platform for data integration on the internet. Dynamic documents can contain b...
93
Voted
OOPSLA
2004
Springer
15 years 6 months ago
2004
Springer
Predicate dispatch is an object-oriented (OO) language mechanism for determining the method implementation to be invoked upon a message send. With predicate dispatch, each method ...