1653 search results - page 126 / 331 » Timed analysis of security protocols |
114
click to vote
CCS
2006
ACM
15 years 7 months ago
2006
ACM
We extend the definitional work of Dwork, Naor and Sahai from deniable authentication to deniable key-exchange protocols. We then use these definitions to prove the deniability fe...
143
click to vote
ESORICS
2000
Springer
15 years 7 months ago
2000
Springer
Several authors have proposed using code modification as a technique for enforcing security policies such as resource limits, access controls, and network information flows. Howeve...
111
Voted
ICCCN
2008
IEEE
15 years 9 months ago
2008
IEEE
—In recent times, the importance of information security in civilian space communication systems has increased significantly among space agencies. Those systems often require a ...
122
click to vote
EUROCRYPT
2007
Springer
15 years 9 months ago
2007
Springer
Protocols proven secure within the universal composability (UC) framework satisfy strong and desirable security properties. Unfortunately, it is known that within the “plain” m...
133
click to vote
SOSP
2007
ACM
16 years 6 days ago
2007
ACM
Diagnosing production run failures is a challenging yet important task. Most previous work focuses on offsite diagnosis, i.e. development site diagnosis with the programmers prese...