108 search results - page 1 / 22 » Failure Analysis of an E-Commerce Protocol Using Model Check... |
130
click to vote
SAFECOMP
2007
Springer
15 years 9 months ago
2007
Springer
In existing security model-checkers the intruder’s behavior is defined as a message deducibility rule base governing use of eavesdropped information, with the aim to find out a m...
116
Voted
WECWIS
2000
IEEE
15 years 8 months ago
2000
IEEE
187
Voted
SCN
2011
Springer
14 years 10 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...
140
Voted
WISES
2003
15 years 4 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...
123
Voted
SAFECOMP
2007
Springer
15 years 9 months ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...