177 search results - page 12 / 36 » Provably Secure Key Exchange: An Engineering Approach |
JUCS
2008
14 years 9 months ago
2008
: In a secure roaming scenario, a user U travels to a foreign network and communicates with a foreign server V securely so that no one other than U and V can obtain the messages ex...
112
click to vote
INFOCOM
1998
IEEE
15 years 1 months ago
1998
IEEE
Authenticated session key establishment is a central issue in network security. This paper addresses a question on whether we can design a compact, efficient and authenticated key ...
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
—A key agreement protocol is a protocol whereby two or more communicating parties can agree on a key or exchange information over an open communication network in such a way that...
102
click to vote
ESORICS
2010
Springer
14 years 9 months ago
2010
Springer
Abstract We propose an approach to certify the information flow security of multi-threaded programs independently from the scheduling algorithm. A scheduler-independent verificatio...
ACSAC
2007
IEEE
15 years 4 months ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...