3115 search results - page 251 / 623 » Synthesizing Secure Protocols |
186
click to vote
EUROPKI
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Key agreement protocols are a fundamental building block for ensuring authenticated and private communications between two parties over an insecure network. This paper fo...
131
Voted
COMSUR
2007
15 years 5 months ago
2007
Covert channels are used for the secret transfer of information. Encryption only protects communication from being decoded by unauthorised parties, whereas covert channels aim to ...
167
Voted
JCSS
2006
15 years 5 months ago
2006
In an open networking environment, a workstation usually needs to identify its legal users for providing its services. Kerberos provides an efficient approach whereby a trusted th...
180
click to vote
ISCI
2010
15 years 2 months ago
2010
Key agreement (KA) allows two or more users to negotiate a secret session key among them over an open network. Authenticated key agreement (AKA) is a KA protocol enhanced to preve...
157
click to vote
CSFW
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...