141 search results - page 5 / 29 » Composition and integrity preservation of secure reactive sy... |
CSFW
2006
IEEE
14 years 1 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
IEEEARES
2008
IEEE
14 years 2 months ago
2008
IEEE
A secure logging mechanism named haplog is proposed. In essence, haplog uses only one-way hash functions to achieve the security and functional requirements of logging. This makes...
ICDE
2006
IEEE
14 years 1 months ago
2006
IEEE
Data integration has been a long standing challenge to the database and data mining communities. This need has become critical in numerous contexts, including building e-commerce ...
CSFW
2004
IEEE
13 years 11 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
CCS
2007
ACM
14 years 1 months ago
2007
ACM
A Distributed Information Brokering System (DIBS) is a peer-to-peer overlay network that comprises diverse data servers and brokering components helping client queries locate the ...