3115 search results - page 142 / 623 » Synthesizing Secure Protocols |
JCP
2007
14 years 10 months ago
2007
Abstract— Converting a secure group key agreement protocol into password-based setting is not a trivial task. The security of a password-based scheme hinges on preventing diction...
IEEEARES
2007
IEEE
15 years 4 months ago
2007
IEEE
A tool for automated validation of attacks on authentication protocols has been used to find several flaws and ambiguities in the list of attacks described in the well known rep...
ACISP
2010
Springer
14 years 11 months ago
2010
Springer
We introduce the concept of attribute-based authenticated key exchange (AB-AKE) within the framework of ciphertext policy attribute-based systems. A notion of AKE-security for AB-A...
IEEEARES
2009
IEEE
14 years 7 months ago
2009
IEEE
Scenarios such as online banking, mobile payment systems, stock trading, selling merchandise, and a host of other applications that need a high level of security have moved from th...
IEEEARES
2007
IEEE
15 years 4 months 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...