165 search results - page 3 / 33 » Safely Composing Security Protocols |
CCS
2007
ACM
14 years 12 days ago
2007
ACM
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...
ESORICS
2003
Springer
13 years 11 months ago
2003
Springer
Abstract. Key exchange protocols in the setting of universal composability are investigated. First we show that the ideal functionality FKE of [9] cannot be realized in the presenc...
CCS
2009
ACM
14 years 6 months ago
2009
ACM
We treat the security of group key exchange (GKE) in the universal composability (UC) framework. Analyzing GKE protocols in the UC framework naturally addresses attacks by maliciou...
IEEEARES
2007
IEEE
14 years 16 days ago
2007
IEEE
—In this paper, we formulate and realize a definition of security for three-party key distribution within the universally composable (UC) framework. That is, an appropriate ideal...
TCC
2007
Springer
14 years 10 days ago
2007
Springer
Abstract. Cryptographic protocols are often designed and analyzed under some trusted set-up assumptions, namely in settings where the participants have access to global information...