7329 search results - page 45 / 1466 » Network Extractor Protocols |
IEEEARES
2006
IEEE
14 years 4 months ago
2006
IEEE
Formal modeling and verification of security protocols typically assumes that a protocol is executed in isolation, without other protocols sharing the network. We investigate the...
SIAMCOMP
2010
13 years 8 months ago
2010
Designing and deploying a network protocol determines the rules by which end users interact with each other and with the network. We consider the problem of designing a protocol t...
ISCA
1993
IEEE
14 years 2 months ago
1993
IEEE
Parallel programs that use critical sections and are executed on a shared-memory multiprocessor with a writeinvalidate protocol result in invalidation actions that could be elimin...
CONEXT
2006
ACM
14 years 4 months ago
2006
ACM
The deployment of sensor networks in security- and safety-critical environments requires secure communication primitives. In this paper, we design, implement, and evaluate a new s...
AINA
2006
IEEE
14 years 2 months ago
2006
IEEE
Flooding protocols for wireless networks in general have been shown to be very inefficient and therefore are mainly used in network initialization or route discovery and maintenan...