1679 search results - page 59 / 336 » Security Properties and CSP |
143
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
Application security is typically coded in the application. In kernelSec, we are investigating mechanisms to implement application security in an operating system kernel. The mech...
122
click to vote
AUIC
2003
IEEE
15 years 9 months ago
2003
IEEE
Authentication is a security service that consists of verifying that someone’s identity is as claimed. There are a number of challenges to presenting information from the authen...
143
click to vote
CSFW
2006
IEEE
15 years 10 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...
143
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
This paper presents the first type system for statically analyzing security protocols that are based on zero-knowledge proofs. We show how several properties offered by zero-knowl...
141
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
Many security properties are naturally expressed as indistinguishability between two versions of a protocol. In this paper, we show that computational proofs of indistinguishabili...