5488 search results - page 186 / 1098 » On the Secure Implementation of Security Protocols |
170
click to vote
DEXAW
2006
IEEE
16 years 17 days ago
2006
IEEE
A significant challenge for Peer-to-Peer (P2P) systems is maintaining the correctness and consistency of their global data structures and shared contents as peers independently a...
213
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
In wireless systems, neighbor discovery (ND) is a fundamental building block: determining which devices are within direct radio communication is an enabler for networking protocol...
152
click to vote
ENTCS
2000
15 years 6 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
162
click to vote
IOLTS
2005
IEEE
16 years 3 days ago
2005
IEEE
Selecting a strong cryptographic algorithm makes no sense if the information leaks out of the device through sidechannels. Sensitive information, such as secret keys, can be obtai...
211
click to vote
WIMOB
2007
IEEE
16 years 23 days ago
2007
IEEE
—The low-cost, unattended nature and the capability of self-organizing of sensors, yield the use of Wireless Sensor Networks (WSN) very popular to day. Unfortunately, the unshiel...