1875 search results - page 112 / 375 » Automatic Network Protocol Analysis |
124
click to vote
CSREASAM
2006
15 years 4 months ago
2006
Mobile Voice over IP (Mobile VoIP) allows mobile users to continuously talk with each others while roaming across different networks. In such wireless application, it is vulnerabl...
237
click to vote
CADE
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
121
click to vote
SAC
2004
ACM
15 years 8 months ago
2004
ACM
In this paper, we propose a new scalable application-layer protocol, specifically designed for data streaming applications with large client sets. This is based upon a control hie...
131
click to vote
AINA
2009
IEEE
15 years 10 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....
154
click to vote
DISCEX
2003
IEEE
15 years 8 months ago
2003
IEEE
The IEEE 802.11x MAC protocol, the de facto standard for wireless LANs, includes a distributed coordination function (DCF) mode usable for ad hoc network architectures. The Transm...