25 search results - page 2 / 5 » Specification Synthesis for Monitoring and Analysis of MANET... |
ESAS
2004
Springer
13 years 8 months ago
2004
Springer
Abstract. The fact that security is a critical problem when implementing mobile ad hoc networks (MANETs) is widely acknowledged. One of the different kinds of misbehavior a node ma...
ICSE
2008
IEEE-ACM
14 years 5 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
SCN
2011
Springer
12 years 12 months ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
MOBIHOC
2002
ACM
14 years 4 months ago
2002
ACM
Network wide broadcasting in Mobile Ad Hoc Networks provides important control and route establishment functionality for a number of unicast and multicast protocols. Considering i...
CORR
2011
Springer
12 years 12 months ago
2011
Springer
— Mobile ad hoc networks (MANETs) are dynamic wireless networks without any infrastructure. These networks are weak against many types of attacks. One of these attacks is the bla...