5488 search results - page 92 / 1098 » On the Secure Implementation of Security Protocols |
103
click to vote
FORTE
2004
15 years 1 months ago
2004
Abstract. In this article we present a method to avoid security problems in modern m-commerce applications. The security problems that we are addressing are breaches of security du...
119
click to vote
CRYPTO
2010
Springer
15 years 29 days ago
2010
Springer
Multiparty computation protocols have been known for more than twenty years now, but due to their lack of efficiency their use is still limited in real-world applications: the goal...
106
click to vote
EUROCRYPT
2008
Springer
15 years 1 months ago
2008
Springer
The Universal Composability framework was introduced by Canetti to study the security of protocols which are concurrently executed with other protocols in a network environment. U...
84
Voted
TCC
2007
Springer
15 years 6 months ago
2007
Springer
We prove a computational soundness theorem for symmetric-key encryption protocols that can be used to analyze security against adaptively corrupting adversaries (that is, adversar...
227
click to vote
POPL
2001
ACM
16 years 5 days ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...