14824 search results - page 434 / 2965 » Security - Introduction |
213
click to vote
CCS
2008
ACM
15 years 9 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...
212
click to vote
CCS
2008
ACM
15 years 9 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...
201
click to vote
CISC
2008
Springer
15 years 9 months ago
2008
Springer
Proxy re-encryption is a cryptographic primitive developed to delegate the decryption right from one party (the delegator) to another (the delegatee). So far, research efforts hav...
236
click to vote
HPCNCS
2007
15 years 9 months ago
2007
The objective of the proposed work is to formally specify and implement a federated web service model in which the identity management problem and security features are analyzed. ...
170
click to vote
SEC
2007
15 years 9 months ago
2007
Identity theft is an emerging threat in our networked world and more individuals and companies fall victim to this type of fraud. User training is an important part of ICT security...