449 search results - page 52 / 90 » Formal Modeling of Communication Protocols by Graph Transfor... |
108
click to vote
ICALP
2000
Springer
15 years 5 months ago
2000
Springer
Message Sequence Charts (MSCs) are an attractive visual formalism widely used to capture system requirements during the early design stages in domains such as telecommunication sof...
111
click to vote
ICDCS
2007
IEEE
15 years 7 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
106
click to vote
SAC
2009
ACM
15 years 8 months ago
2009
ACM
In this paper we propose a passive conformance testing technique applied to a Mobile ad hoc network (MANET) routing protocol, OLSR, that is characterized by a dynamically changing...
136
click to vote
EUROPKI
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Key agreement protocols are a fundamental building block for ensuring authenticated and private communications between two parties over an insecure network. This paper fo...
120
click to vote
CRYPTO
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We study the natural problem of secure n-party computation (in the passive, computationally unbounded attack model) of the n-product function fG(x1, . . . , xn) = x1 · x...