3821 search results - page 234 / 765 » A Security Model for Aglets |
EDO
2005
Springer
14 years 3 months ago
2005
Springer
Publish/subscribe research has so far been mostly focused on efficient event routing, event filtering, and composite event detection. The little research that has been published ...
IMA
2005
Springer
14 years 3 months ago
2005
Springer
In recent years much research has been devoted to producing formal models of security for cryptographic primitives and to designing schemes that can be proved secure in such models...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
All Internet-accessible computing systems are currently faced with incessant threats ranging from simple scriptkiddies to highly sophisticated criminal enterprises. In response to...
FSTTCS
2003
Springer
14 years 2 months ago
2003
Springer
We prove the Needham-Schroeder-Lowe public-key protocol secure under real, active cryptographic attacks including concurrent protocol runs. This proof is based on an abstract crypt...
LICS
1999
IEEE
14 years 1 months ago
1999
IEEE
Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified ...