3811 search results - page 29 / 763 » The Safe-Tcl Security Model |
108
click to vote
CSFW
1999
IEEE
15 years 6 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...
126
click to vote
SAC
2002
ACM
15 years 1 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....
122
click to vote
ACNS
2008
Springer
15 years 8 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...
108
click to vote
ESORICS
2005
Springer
15 years 7 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 7 months ago
2005
Springer