1612 search results - page 262 / 323 » About models of security protocols |
124
click to vote
ICPR
2006
IEEE
16 years 6 months ago
2006
IEEE
A new face recognition algorithm is presented. It supposes that a video sequence of a person is available both at enrollment and test time. During enrollment, a client Gaussian Mi...
174
click to vote
CNSR
2008
IEEE
15 years 11 months ago
2008
IEEE
Key establishment plays a central role in authentication and encryption in wireless sensor networks, especially when they are mainly deployed in hostile environments. Because of t...
139
click to vote
SEFM
2007
IEEE
15 years 11 months ago
2007
IEEE
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...
154
Voted
SAFECOMP
2007
Springer
15 years 11 months ago
2007
Springer
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...
145
click to vote
DCOSS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. While sensor networks have recently emerged as a promising computing model, they are vulnerable to various node compromising attacks. In this paper, we propose COOL, a CO...