1123 search results - page 74 / 225 » Network Protocol System Fingerprinting - A Formal Approach |
100
click to vote
ICPPW
2005
IEEE
15 years 5 months ago
2005
IEEE
— In a typical mobile ad hoc network, mobile computing devices wander autonomously and communicate via temporary links in a self-organized computing system without any central ad...
107
click to vote
GLOBECOM
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— In this paper, we consider the problem of detecting intrusions initiated by cooperative malicious nodes in infrastructure-based networks. We achieve this objective by s...
102
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Most instruments - formalisms, concepts, and metrics for social networks analysis fail to capture their dynamics. Typical systems exhibit different scales of dynamics, ra...
ISPA
2005
Springer
15 years 5 months ago
2005
Springer
The way conventional Ethernet is used today differs in two aspects from how dedicated system area networks are used. Firstly, dedicated system area networks are lossless and only d...
FORMATS
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with re...