382 search results - page 3 / 77 » Rule-based static analysis of network protocol implementatio... |
131
Voted
JCM
2006
15 years 2 months ago
2006
In this paper, we propose and analyze a multicast application called SOMA (SynchrOnous Multicast Application) which offers multicast file transfer service in an asymmetric intra-ca...
113
Voted
INFOCOM
2003
IEEE
15 years 8 months ago
2003
IEEE
— We analyze the susceptibility of the Internet to random faults, malicious attacks, and mixtures of faults and attacks. We analyze actual Internet data, as well as simulated dat...
180
Voted
FGCN
2008
IEEE
15 years 9 months ago
2008
IEEE
The proposed broadcast authentication protocols for wireless sensor networks can be divided into two categories: protocols based on digital signature and protocols based on improv...
129
Voted
AINA
2009
IEEE
15 years 9 months ago
2009
IEEE
This paper presents a modeling method particularly suited to analyze interactions between Message Passing Interface MPI library execution and distributed cache coherence protocol....
152
Voted
RTSS
2006
IEEE
15 years 8 months ago
2006
IEEE
Location services are essential to many applications running on a hybrid of wirelessly-networked mobile actors and static sensors, such as surveillance systems and the Pursuer and...