4305 search results - page 163 / 861 » Analysing Protocol Implementations |
EUROCRYPT
2006
Springer
14 years 24 days ago
2006
Springer
We present the currently simplest, most efficient, optimally resilient, adaptively secure, and proactive threshold RSA scheme. A main technical contribution is a new rewinding stra...
MMNS
2000
13 years 10 months ago
2000
: Growing dependence of commerce, industry and academia on the Internet underlines importance of analyzing its behavior. Changing Internet structure makes the gathered data quickly...
ICIW
2007
IEEE
13 years 9 months ago
2007
IEEE
Web Services Secure Conversation extends Web Services Trust to provide mechanisms for establishing security consecurity context is an abstract concept that refers an authenticated...
ACSD
2003
IEEE
14 years 2 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
AINA
2003
IEEE
14 years 2 months ago
2003
IEEE
RSVP is a reservation setup protocol designed specifically to support QoS signaling in the Internet. However, RSVP end-to-end signaled QoS for the Internet has not become a reali...