Sciweavers

51 search results - page 2 / 11
» sp 2009
Sort
View
SEMWEB
2009
Springer
14 years 3 months ago
Tax and Revenue Service Scenario for Ontology Matching
In this paper we present a scenario for ontology matching posed by the Trentino Riscossioni S.p.A data integration system focusing the opportunity to enhance the level of data inte...
Stefano Brida, Marco Combetto, Silvano Frasson, Pa...
SP
2009
IEEE
14 years 3 months ago
Sphinx: A Compact and Provably Secure Mix Format
Sphinx is a cryptographic message format used to relay anonymized messages within a mix network. It is more compact than any comparable scheme, and supports a full set of security...
George Danezis, Ian Goldberg
SP
2009
IEEE
101views Security Privacy» more  SP 2009»
14 years 3 months ago
Noninterference for a Practical DIFC-Based Operating System
The Flume system is an implementation of decentralized information flow control (DIFC) at the operating system level. Prior work has shown Flume can be implemented as a practical ...
Maxwell N. Krohn, Eran Tromer
SP
2009
IEEE
114views Security Privacy» more  SP 2009»
14 years 3 months ago
Formally Certifying the Security of Digital Signature Schemes
We present two machine-checked proofs of the existential unforgeability under adaptive chosen-message attacks of the Full Domain Hash signature scheme. These proofs formalize the ...
Santiago Zanella Béguelin, Gilles Barthe, B...
SP
2009
IEEE
122views Security Privacy» more  SP 2009»
14 years 3 months ago
Plaintext Recovery Attacks against SSH
This paper presents a variety of plaintext-recovering attacks against SSH. We implemented a proof of concept of our attacks against OpenSSH, where we can verifiably recover 14 bi...
Martin R. Albrecht, Kenneth G. Paterson, Gaven J. ...