1853 search results - page 104 / 371 » Cryptographic Protocols and Network Security |
153
click to vote
FUIN
2007
15 years 4 months ago
2007
In this paper we show a novel method for modelling behaviours of security protocols using networks of communicating automata in order to verify them with SAT-based bounded model ch...
134
click to vote
SAC
2004
ACM
15 years 9 months ago
2004
ACM
Since fingerprint data are no secrets but of public nature, the verification data transmitted to a smartcard for oncardmatching need protection by appropriate means in order to ...
149
click to vote
MUE
2008
IEEE
15 years 10 months ago
2008
IEEE
Hierarchical wireless sensor networks (WSNs) have been shown to improve system performance, reduce messages redundancy, and economize energy. However, due to the characteristics o...
141
click to vote
PERCOM
2010
ACM
15 years 2 months ago
2010
ACM
End-to-end reliability of communications is an important requirement in many applications of wireless sensor networks. For this reason, a number of reliable transport protocols sp...
143
click to vote
SIGMETRICS
2008
ACM
15 years 4 months ago
2008
ACM
Getting new security features and protocols to be widely adopted and deployed in the Internet has been a continuing challenge. There are several reasons for this, in particular ec...