1123 search results - page 49 / 225 » Network Protocol System Fingerprinting - A Formal Approach |
AINA
2006
IEEE
15 years 5 months ago
2006
IEEE
In the network-centric approach to information operations, users share information robustly by means of a secure infrastructure that enables self-synchronization and, ultimately, ...
SRDS
2003
IEEE
15 years 5 months ago
2003
IEEE
Group communication protocols constitute a basic building block for highly dependable distributed applications. Designing and correctly implementing a group communication system (...
FAC
2008
14 years 12 months ago
2008
This paper presents a formal model and a systematic approach to the validation of communication tures at a high level of abstraction. This model is described mathematically by a fu...
106
click to vote
TON
2010
14 years 10 months ago
2010
—Routing protocols for disruption-tolerant networks (DTNs) use a variety of mechanisms, including discovering the meeting probabilities among nodes, packet replication, and netwo...
FMSD
2006
14 years 11 months ago
2006
We define a cones and foci proof method, which rephrases the question whether two system specifications are branching bisimilar in terms of proof obligations on relations between ...