1123 search results - page 44 / 225 » Network Protocol System Fingerprinting - A Formal Approach |
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper, we propose some improvements to the flooding protocols that aim to efficiently broadcast a given information through the whole ad-hoc network. These improvements ...
104
click to vote
WOWMOM
2005
ACM
15 years 5 months ago
2005
ACM
A mobile ad hoc network is a collection of nodes that is connected through a wireless medium forming rapidly changing topologies. The widely accepted existing routing protocols de...
190
click to vote
CADE
2011
Springer
13 years 11 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 ...
SFM
2004
Springer
15 years 5 months ago
2004
Springer
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
WETICE
1998
IEEE
15 years 4 months ago
1998
IEEE
The concept of the Virtual Software Corporation (VSC) has recently become a practical reality as a result of advances in communication and distributed technologies. However, there...