177 search results - page 12 / 36 » Provably Secure Key Exchange: An Engineering Approach |
170
click to vote
JUCS
2008
15 years 5 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...
196
click to vote
INFOCOM
1998
IEEE
15 years 10 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 ...
164
click to vote
ICC
2009
IEEE
16 years 17 days 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...
179
click to vote
ESORICS
2010
Springer
15 years 6 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...
151
click to vote
ACSAC
2007
IEEE
16 years 5 days 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 ...