1362 search results - page 13 / 273 » Model Checking Large Network Protocol Implementations |
103
click to vote
WISES
2003
15 years 29 days 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...
100
click to vote
FUIN
2007
14 years 11 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...
104
click to vote
AINA
2006
IEEE
15 years 3 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 5 months ago
2005
IEEE
76
Voted
ENTCS
2006
14 years 11 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...