1653 search results - page 230 / 331 » Timed analysis of security protocols |
STOC
2000
ACM
14 years 16 days ago
2000
ACM
We first study the problem of doing Verifiable Secret Sharing (VSS) information theoretically secure for a general access structure. We do it in the model where private channels b...
EUROCRYPT
1995
Springer
14 years 16 days ago
1995
Springer
We coiisider a situation where two parties, Alice and Bob, share a common secret string arid would like to mutually check their knowledge of that string. We describe a simple and e...
IJNSEC
2008
13 years 9 months ago
2008
Anomaly detectors have become a necessary component of the computer and information security framework. Some of the numerous drawbacks experienced by the current Anomaly detectors...
ACSAC
2010
IEEE
13 years 18 days ago
2010
IEEE
We present a quantitative lower bound on the number of vulnerable embedded device on a global scale. Over the past year, we have systematically scanned large portions of the inter...
VALUETOOLS
2006
ACM
14 years 2 months ago
2006
ACM
In the context of communication networks, the framework of stochastic event graphs allows a modeling of control mechanisms induced by the communication protocol and an analysis of ...