3115 search results - page 165 / 623 » Synthesizing Secure Protocols |
180
click to vote
CSFW
1997
IEEE
15 years 8 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 ...
111
click to vote
EUROPKI
2008
Springer
15 years 5 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 ...
128
click to vote
IJNSEC
2006
15 years 4 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...
151
click to vote
IJNSEC
2010
14 years 10 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.&#...
136
Voted
PERCOM
2004
ACM
16 years 3 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...