1123 search results - page 4 / 225 » Network Protocol System Fingerprinting - A Formal Approach |
CHARME
1997
Springer
13 years 9 months ago
1997
Springer
Formal verification techniques need to deal with the complexity of the systems rified. Most often, this problem is solved by taking an abstract model of the system and aiming at a...
ICN
2007
Springer
14 years 12 days ago
2007
Springer
—Using Mobile Ad Hoc Networks (MANETs) for monitoring bovine animals potentially offers high increase in the profitability of cattle production. In this paper we propose a formal...
ICDCS
2010
IEEE
13 years 10 months ago
2010
IEEE
- We demonstrate that the network flux over the sensor network provides us fingerprint information about the mobile users within the field. Such information is exoteric in the phys...
WISEC
2010
ACM
14 years 1 months ago
2010
ACM
Determining whether a client station should trust an access point is a known problem in wireless security. Traditional approaches to solving this problem resort to cryptography. B...
ATVA
2005
Springer
13 years 11 months ago
2005
Springer
Mobile ad hoc networks offer very interesting perspectives in wireless communications due to their easy deployment and their growing performances. However, due to their inherent c...