3811 search results - page 29 / 763 » The Safe-Tcl Security Model |
CSFW
1999
IEEE
15 years 4 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...
103
click to vote
SAC
2002
ACM
14 years 11 months ago
2002
ACM
Avoidance and discovery of security vulnerabilities in information systems requires awareness of typical risks and a good understanding of vulnerabilities and their exploitations....
ACNS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In order to increase the security for authenticated key exchange protocols, various authentication means can be used together. In this paper, we introduce a security mode...
ESORICS
2005
Springer
15 years 5 months ago
2005
Springer
Currently, many industrial initiatives focus on web-based applications. In this context an important requirement is that the user should only rely on a standard web browser. Hence...
ISI
2005
Springer
15 years 5 months ago
2005
Springer