3504 search results - page 206 / 701 » Secure protocol composition |
215
click to vote
CSFW
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...
141
Voted
EUROPKI
2008
Springer
15 years 8 months ago
2008
Springer
Real world healthcare systems are generally large and overly complex systems. Designing privacy-friendly protocols for such systems is a challenging task. In this paper we present ...
170
Voted
IJNSEC
2006
15 years 6 months ago
2006
Password authentication protocols range from complex public-key cryptosystems to simple hash-based password authentication schemes. One common feature of these protocols is that t...
190
Voted
IJNSEC
2010
15 years 1 months ago
2010
Harn et al. proposed a series of Diffie-Hellman key exchange protocols which are integrated into Digital Signature Algorithm in 2004. Recently, Phan pointed out that Harn et al.&#...
172
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
This paper introduces a context-aware authorization architecture that is designed to augment existing network security protocols in an Intranet environment. It describes the archi...