3504 search results - page 302 / 701 » Secure protocol composition |
150
click to vote
COMSUR
2007
15 years 6 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 ...
188
click to vote
JCSS
2006
15 years 6 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...
201
click to vote
ISCI
2010
15 years 3 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...
168
click to vote
CSFW
2005
IEEE
16 years 8 days 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...
208
click to vote
CSREASAM
2006
15 years 8 months ago
2006
Group communication is becoming increasingly popular in Internet applications such as videoconferences, online chatting programs, games, and gambling. For secure communications, th...