3115 search results - page 165 / 623 » Synthesizing Secure Protocols |
179
Voted
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 ...
110
Voted
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 ...
127
Voted
IJNSEC
2006
15 years 3 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...
148
Voted
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.&#...
134
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...