1180 search results - page 43 / 236 » Interaction Protocols in Agentis |
124
click to vote
CCR
2000
15 years 3 months ago
2000
We propose a zero-knowledge interactive proof based identification and signature scheme. The protocol is based on Euler's totient function and discrete logarithms over the ri...
140
click to vote
CRYPTO
1991
Springer
15 years 7 months ago
1991
Springer
Recent results in interactive proof systems [?][?] [?] seem to indicate that it is easier for a prover in a single prover interactive proof system to cheat the verifier than it i...
144
click to vote
CSFW
2010
IEEE
15 years 7 months ago
2010
IEEE
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...
121
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
We consider the model of population protocols introduced by Angluin et al. [AAD+ 04], in which anonymous finite-state agents stably compute a predicate of the multiset of their in...
124
click to vote
HPN
1992
15 years 5 months ago
1992
Multimediacommunication,with its strong requirementsfor high speed, assured quality, and reliable networking, is stimulating a great research e ort towards the development of real...