460 search results - page 70 / 92 » Heuristic Methods for Security Protocols |
177
click to vote
EEE
2005
IEEE
15 years 11 months ago
2005
IEEE
Open and fair elections are paramount to modern democracy. Although some people claim that the penciland-paper systems used in countries such as Canada and UK are still the best m...
191
click to vote
WISA
2009
Springer
15 years 10 months ago
2009
Springer
We introduce low-cost hardware for performing non-invasive side-channel attacks on Radio Frequency Identi cation Devices (RFID) and develop techniques for facilitating a correlatio...
210
click to vote
BIOSIG
2009
15 years 3 months ago
2009
: In ACISP'07, Bringer et al proposed a new approach for remote biometric based verification, which consists of a hybrid protocol that distributes the server side functionalit...
191
click to vote
APNOMS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. DoS(Denial of Service) / DDoS(Distributed Denial of Service) attacks threaten Internet security nowadays. However, the current Internet protocol and backbone network do n...
130
click to vote
ATVA
2009
Springer
16 years 16 days ago
2009
Springer
We present a data symmetry reduction approach for model temporal-epistemic logic. The technique abstracts the epistemic indistinguishably relation for the knowledge operators, and ...