13383 search results - page 2392 / 2677 » Abstractions from proofs |
130
click to vote
PET
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Encrypting traffic does not prevent an attacker from performing some types of traffic analysis. We present a straightforward traffic analysis attack against encrypted HT...
161
click to vote
PET
2005
Springer
15 years 9 months ago
2005
Springer
Trust negotiation between two subjects require each one proving its properties to the other. Each subject specifies disclosure policies stating the types of credentials and attrib...
135
Voted
PKDD
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The paradigm of pattern discovery based on constraints was introduced with the aim of providing to the user a tool to drive the discovery process towards potentially inte...
140
Voted
PREMI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Technological advances in experimental and computational molecular biology have revolutionized the whole fields of biology and medicine. Large-scale sequencing, expressio...
137
Voted
SSS
2005
Springer
15 years 9 months ago
2005
Springer
We present simple algorithms for achieving self-stabilizing location management and routing in mobile ad-hoc networks. While mobile clients may be susceptible to corruption and sto...