460 search results - page 68 / 92 » Heuristic Methods for Security Protocols |
FMICS
2010
Springer
13 years 7 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
EDCC
2005
Springer
14 years 1 months ago
2005
Springer
We present a hybrid synthesis method for automatic addition of fault-tolerance to distributed programs. In particular, we automatically specify and add pre-synthesized fault-tolera...
GRID
2004
Springer
14 years 1 months ago
2004
Springer
Computational grids are increasingly being deployed in campus environments to provide unified access to distributed and heterogeneous resources such as clusters, storage arrays, ...
CSREASAM
2006
13 years 9 months ago
2006
The Session Initiation Protocol (SIP) is an application-layer protocol commonly used in VoIP for communication over the Internet. In this paper we describe a method to assess a pa...
ICC
2011
IEEE
12 years 7 months ago
2011
IEEE
Abstract—Wireless Sensor Networks are proven highly successful in many areas, including military and security monitoring. In this paper, we propose a method to use the edge–bet...