1679 search results - page 185 / 336 » Security Properties and CSP |
173
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
JavaScript is an interpreted programming language most often used for enhancing webpage interactivity and functionality. It has powerful capabilities to interact with webpage docu...
202
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Network information distribution is a fundamental service for any anonymization network. Even though anonymization and information distribution about the network are two orthogona...
172
click to vote
EUROCRYPT
2007
Springer
16 years 21 days ago
2007
Springer
Protocols proven secure within the universal composability (UC) framework satisfy strong and desirable security properties. Unfortunately, it is known that within the “plain” m...
187
click to vote
CCS
2004
ACM
15 years 12 months ago
2004
ACM
Comparing the expressive power of access control models is recognized as a fundamental problem in computer security. Such comparisons are generally based on simulations between di...
167
click to vote
ESORICS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Proofs of security protocols typically employ simple abstractions of cryptographic operations, so that large parts of such proofs pendent of cryptographic details. The ty...