1679 search results - page 210 / 336 » Security Properties and CSP |
157
click to vote
ACNS
2004
Springer
15 years 12 months ago
2004
Springer
A family of authenticators based on static shared keys is identified and proven secure. The authenticators can be used in a variety of settings, including identity-based ones. App...
158
click to vote
OOPSLA
2004
Springer
15 years 12 months ago
2004
Springer
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...
163
click to vote
ASIACRYPT
2000
Springer
15 years 11 months ago
2000
Springer
McEliece cryptosystem is a public-key cryptosystem based on error-correcting codes. It constitutes one of the few alternatives to cryptosystems relying on number theory. We present...
149
click to vote
ICICS
1997
Springer
15 years 10 months ago
1997
Springer
Traceability is a property of a communications protocol that ensures that the origin and/or destination of messages can be identified. The aims of this paper are twofold. Firstly t...
163
click to vote
ISW
1997
Springer
15 years 10 months ago
1997
Springer
This paper gives a survey of attacks on Message Authentication Codes (MACs). First it defines the required security properties. Next it describes generic forgery and key recovery...