24 search results - page 4 / 5 » How to prevent type-flaw attacks on security protocols under... |
ESORICS
2005
Springer
14 years 25 days ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...
ESORICS
2007
Springer
14 years 1 months ago
2007
Springer
Port knocking is a technique first introduced in the blackhat and trade literature to prevent attackers from discovering and exploiting potentially vulnerable services on a networ...
ACNS
2008
Springer
14 years 1 months ago
2008
Springer
We describe two new paradigms on how to obtain ordinary signatures that are secure against existential forgery under adaptively chosen message attacks (fully-secure, in short), fro...
GLOBECOM
2007
IEEE
14 years 1 months ago
2007
IEEE
—We examine a widely accepted myth about passive listening in wireless networks, and give a detailed description of how to achieve real “passive listening.” Then we develop a...
ICDM
2007
IEEE
14 years 1 months ago
2007
IEEE
Data security is a critical issue for many organizations. Sensitive data must be protected from both inside and outside attackers. Access control policies and related mechanisms h...