375 search results - page 22 / 75 » What is Correctness of Security Protocols |
ICDCSW
2007
IEEE
14 years 1 months ago
2007
IEEE
Recent secure code-update protocols for sensor networks have been based on asymmetric-crypto primitives such as digital signatures. Our approach, Castor, explores the feasibility ...
JSW
2008
13 years 7 months ago
2008
Abstract-- The computation of the union operator for different distributed datasets involves two challenges when participants are curious and can even act malicious: guaranteeing a...
SACRYPT
2009
Springer
14 years 2 months ago
2009
Springer
We re-visit the problem of secure multiparty set intersection in information theoretic settings. In [16], Li et.al have proposed a protocol for multiparty set intersection problem...
ACSAC
1999
IEEE
13 years 12 months ago
1999
IEEE
The Automatic Authentication Protocol Analyzer, 2nd Version AAPA2 is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identi es vulne...
JNW
2008
13 years 7 months ago
2008
Wireless sensor networking remains one of the most exciting and challenging research domains of our time. As technology progresses, so do the capabilities of sensor networks. Limit...