1653 search results - page 136 / 331 » Timed analysis of security protocols |
189
click to vote
CONEXT
2005
ACM
15 years 8 months ago
2005
ACM
Random key Pre-distribution scheme has been proposed to overcome the memory, computation and energy limits of individual sensor in wireless sensor networks. In this scheme, a ring...
182
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
164
click to vote
IPPS
2008
IEEE
16 years 25 days ago
2008
IEEE
Volunteer Computing is becoming a new paradigm not only for the Computational Grid, but also for institutions using production-level Data Grids because of the enormous storage pot...
194
click to vote
SACMAT
2009
ACM
16 years 28 days ago
2009
ACM
The recent emergence of mandatory access (MAC) enforcement for virtual machine monitors (VMMs) presents an opportunity to enforce a security goal over all its virtual machines (VM...
136
click to vote
IPSN
2003
Springer
15 years 11 months ago
2003
Springer
This paper is concerned with coordinated delivery of messages in sensor networks. The notion of multicast is re-examined in light of a new set of requirements that are specific t...