108 search results - page 1 / 22 » Failure Analysis of an E-Commerce Protocol Using Model Check... |
SAFECOMP
2007
Springer
13 years 11 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...
WECWIS
2000
IEEE
13 years 9 months ago
2000
IEEE
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...
WISES
2003
13 years 6 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...
SAFECOMP
2007
Springer
13 years 11 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...