449 search results - page 5 / 90 » Formal Modeling of Communication Protocols by Graph Transfor... |
123
click to vote
SCN
2010
Springer
15 years 2 months ago
2010
Springer
The Fiat-Shamir (FS) transform is a popular tool to produce particularly efficient digital signature schemes out of identification protocols. It is known that the resulting signat...
142
Voted
CLIMA
2004
15 years 5 months ago
2004
In this paper we propose a formal specification of a persuasion protocol between autonomous agents using an approach based on social commitments and arguments. In order to be flexi...
143
click to vote
SIGCOMM
1998
ACM
15 years 8 months ago
1998
ACM
Many emerging applications (e.g., teleconference, real-time information services, pay per view, distributed interactive simulation, and collaborative work) are based upon a group ...
122
click to vote
CSFW
1999
IEEE
15 years 8 months ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...
141
click to vote
FDL
2006
IEEE
15 years 10 months ago
2006
IEEE
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...