449 search results - page 42 / 90 » Formal Modeling of Communication Protocols by Graph Transfor... |
126
click to vote
APSEC
2005
IEEE
15 years 7 months ago
2005
IEEE
The design and development of complex software systems is a difficult task, and it is not easy to ensure the quality of a developed software. The paper presents an architectural ...
149
click to vote
SODA
2012
ACM
13 years 4 months ago
2012
ACM
In this paper we prove lower bounds on randomized multiparty communication complexity, both in the blackboard model (where each message is written on a blackboard for all players ...
DAGSTUHL
2003
15 years 2 months ago
2003
Message Sequence Charts (MSCs) is a notation used in practice by protocol designers and system engineers. It is defined within an international standard (ITU Z120), and is also i...
116
click to vote
CRYPTO
2003
Springer
15 years 6 months ago
2003
Springer
We consider the fundamental problem of authenticated group key exchange among n parties within a larger and insecure public network. A number of solutions to this problem have bee...
CORR
2006
Springer
15 years 1 months ago
2006
Springer
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of know...