1737 search results - page 180 / 348 » Using Strategy Objectives for Network Security Analysis |
152
click to vote
WINET
2008
15 years 5 months ago
2008
One class of applications envisaged for the IEEE 802.15.4 LR-WPAN (low data rate - wireless personal area network) standard is wireless sensor networks for monitoring and control a...
151
click to vote
ESORICS
2011
Springer
14 years 4 months ago
2011
Springer
We explore the suitability of Dolev-Yao-based attacker models for the security analysis of wireless communication. The Dolev-Yao model is commonly used for wireline and wireless ne...
149
click to vote
IWCMC
2010
ACM
15 years 7 months ago
2010
ACM
We consider the problem of control traffic overhead in MANETs with long-lived connections, operating under a reactive routing protocol (e.g. AODV). In such settings, control traff...
151
click to vote
SAFECOMP
2004
Springer
15 years 10 months ago
2004
Springer
This paper defines a type of constrained artificial neural network (ANN) that enables analytical certification arguments whilst retaining valuable performance characteristics. ...
143
Voted
FSTTCS
2003
Springer
15 years 10 months ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...