1362 search results - page 111 / 273 » Model Checking Large Network Protocol Implementations |
152
Voted
FMCO
2003
Springer
15 years 9 months ago
2003
Springer
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
132
Voted
WONS
2005
IEEE
15 years 9 months ago
2005
IEEE
Discovery of services and other named resources is expected to be a crucial feature for the usability of mobile ad-hoc networks (MANETs). Different types of service discovery arch...
125
Voted
RTSS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a time division multiple access medium access control protocol for wireless sensor / actuator networks implemented with a contention-free message scheduler. A ...
169
Voted
COMCOM
2011
14 years 10 months ago
2011
Key distribution in Wireless Sensor Networks (WSNs) is challenging. Symmetric cryptosystems can perform it efficiently, but they often do not provide a perfect trade-off between ...
145
Voted
COMCOM
2002
15 years 3 months ago
2002
Recent security incidents and analysis have demonstrated that manual response to such attacks is no longer feasible. Intrusion Detection systems offer techniques for modelling and...