3 search results - page 1 / 1 » Decidability Issues for Extended Ping-Pong Protocols |
164
Voted
JAR
2006
15 years 7 months ago
2006
We use some recent techniques from process algebra to draw several conclusions about the well studied class of ping-pong protocols introduced by Dolev and Yao. In particular we sho...
201
click to vote
ATVA
2006
Springer
15 years 11 months ago
2006
Springer
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
188
Voted
ATAL
2003
Springer
16 years 15 days ago
2003
Springer
There are two ways of handling bilateral multi-issue negotiations – one is to negotiate all the issues together, and the other is to negotiate them one by one. The order in whic...