141 search results - page 5 / 29 » Composition and integrity preservation of secure reactive sy... |
185
click to vote
CSFW
2006
IEEE
16 years 21 days 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...
175
click to vote
IEEEARES
2008
IEEE
16 years 1 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...
189
click to vote
ICDE
2006
IEEE
16 years 20 days 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 ...
191
click to vote
CSFW
2004
IEEE
15 years 10 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...
175
click to vote
CCS
2007
ACM
16 years 24 days 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 ...