449 search results - page 32 / 90 » Formal Modeling of Communication Protocols by Graph Transfor... |
140
click to vote
MSWIM
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networ...
146
click to vote
ESORICS
2012
Springer
13 years 6 months ago
2012
Springer
We show that it is possible to achieve perfect forward secrecy in two-message key exchange (KE) protocols that satisfy even stronger security properties than provided by the extend...
144
click to vote
FORTE
2004
15 years 5 months ago
2004
Abstract. In this article we present a method to avoid security problems in modern m-commerce applications. The security problems that we are addressing are breaches of security du...
137
click to vote
ENTCS
2006
15 years 4 months ago
2006
We compare the expressive power of Hoare (i.e., CSP style) and Milner (i.e., CCS style) synchronizations for defining graph transformations in a framework where edges can perform ...
153
click to vote
ICCCN
2008
IEEE
15 years 10 months ago
2008
IEEE
—Observing that simplicity implies efficiency and scalability, this paper proposes a position-based deployment and routing strategy, and then gives a concrete approach under this...