2162 search results - page 63 / 433 » A Meta-Notation for Protocol Analysis |
COMPSEC
2008
13 years 8 months ago
2008
Short Message Service is usually used to transport unclassified information, but with the rise of mobile commerce it has become an integral tool for conducting business. However S...
JCM
2008
13 years 8 months ago
2008
In wireless ad hoc networks, all its nodes behave as routers and take part in its discovery and maintenance of routes to other nodes. Thus, the presence of selfish or malicious nod...
WINET
2008
13 years 8 months ago
2008
In this paper, we present a new "spatiotemporal multicast", called a "mobicast", protocol for supporting applications which require spatiotemporal coordination...
ICA3PP
2010
Springer
13 years 7 months ago
2010
Springer
A new user-friendly visual simulation tool; ViSim is presented. ViSim could be useful for researchers, students, teachers in their works, and for the demonstration of various wirel...
EVOW
1999
Springer
14 years 1 months ago
1999
Springer
This paper describes a new approximate approach for checking the correctness of the implementation of a protocol interface, comparing its lowlevel implementation with its high-leve...