1362 search results - page 13 / 273 » Model Checking Large Network Protocol Implementations |
WISES
2003
14 years 10 months ago
2003
Abstract — Since sensor/actuator networks are to be used in error-prone environments, it is required that media access protocols for such networks are tolerant to failures. Field...
FUIN
2007
14 years 9 months ago
2007
In this paper we show a novel method for modelling behaviours of security protocols using networks of communicating automata in order to verify them with SAT-based bounded model ch...
AINA
2006
IEEE
15 years 1 months ago
2006
IEEE
Ad hoc networks are dynamic networks formed "on the fly" by a set of nodes. Achieving secure routing in such networks is a big challenge. Asymmetric signature schemes pr...
ANSS
2005
IEEE
15 years 3 months ago
2005
IEEE
ENTCS
2006
14 years 9 months ago
2006
We implement a specific protocol for bit exchange among card-playing agents in three different state-of-the-art epistemic model checkers and compare the results. Key words: Crypto...