5374 search results - page 5 / 1075 » The induction of communication protocols |
AICT
2006
IEEE
15 years 1 months ago
2006
IEEE
79
Voted
ICISC
1998
14 years 11 months ago
1998
Abstract. Protocols for authentication and key establishment have special requirements in a wireless environment. In the next generation of wireless systems it is likely that publi...
CSFW
1999
IEEE
15 years 1 months ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...
89
Voted
JCS
2010
14 years 8 months ago
2010
Protocol authentication properties are generally trace-based, meaning that authentication holds for the protocol if authentication holds for individual traces (runs of the protoco...
ISICT
2003
14 years 11 months ago
2003
: Cryptographic protocols are used to achieve secure communication over insecure networks. Weaknesses in such protocols are hard to identify, as they can be the result of subtle de...