1875 search results - page 94 / 375 » Automatic Network Protocol Analysis |
SFM
2004
Springer
15 years 3 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...
103
click to vote
IWNAS
2008
IEEE
15 years 4 months ago
2008
IEEE
The security of wireless sensor networks is ever more important nowadays. Most of the proposed security protocols in wireless sensor networks are based on authentication and encry...
107
click to vote
GLOBECOM
2006
IEEE
15 years 3 months ago
2006
IEEE
— In this paper we investigate which is the most efficient architecture and protocol that can be used for file distribution. The focus of the analysis is to understand not only...
INFOCOM
2010
IEEE
14 years 8 months ago
2010
IEEE
—Cognitive Radio Networks (CRNs) have recently emerged as a promising technology to improve spectrum utilization by allowing secondary users to dynamically access idle primary ch...
ESAS
2007
Springer
15 years 4 months ago
2007
Springer
Introducing a new device to a network or to another device is one of the most security critical phases of communication in personal networks. There have been several different pro...