180 search results - page 24 / 36 » Verifying Security Properties of Cryptoprotocols: A Novel Ap... |
128
click to vote
INFOCOM
2006
IEEE
15 years 5 months ago
2006
IEEE
—Many applications require fast data transfer over high speed and long distance networks. However, standard TCP fails to fully utilize the network capacity due to the limitation ...
116
click to vote
FORMATS
2006
Springer
15 years 3 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
CRYPTO
2004
Springer
15 years 5 months ago
2004
Springer
We study both distinguishing and key-recovery attacks against E0, the keystream generator used in Bluetooth by means of correlation. First, a powerful computation method of correla...
120
click to vote
MOBIHOC
2005
ACM
15 years 11 months ago
2005
ACM
Node compromise poses severe security threats in wireless sensor networks. Unfortunately, existing security designs can address only a small, fixed threshold number of compromised...
103
click to vote
GD
2008
Springer
15 years 23 days ago
2008
Springer
Abstract. As the number of devices connected to the internet continues to grow rapidly and software systems are being increasingly deployed on the web, security and privacy have be...