2947 search results - page 410 / 590 » The timely token protocol |
176
click to vote
JCS
2011
15 years 1 months ago
2011
We present a model of adaptive attacks which we combine with information-theoretic metrics to quantify the information revealed to an adaptive adversary. This enables us to expres...
206
click to vote
NFM
2011
15 years 1 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
180
click to vote
NETWORK
2010
15 years 1 months ago
2010
A primary goal of intelligent transportation systems is to improve road safety. The ability of vehicles to communicate is a promising way to alleviate traffic accidents by reducin...
178
click to vote
NETWORK
2010
15 years 1 months ago
2010
Since the first operational IPTV networks have been deployed, service providers and operators have struggled to make their subscribers happy and satisfied with their services. To ...
184
click to vote
IACR
2011
14 years 6 months ago
2011
Hummingbird-2 is an encryption algorithm with a 128-bit secret key and a 64-bit initialization vector. Hummingbird-2 optionally produces an authentication tag for each message proc...