1612 search results - page 47 / 323 » About models of security protocols |
PKC
2007
Springer
15 years 4 months ago
2007
Springer
We provide a positive result about the Fiat-Shamir (FS) transform in the standard model, showing how to use it to convert threemove identification protocols into two-tier signatur...
AWIC
2003
Springer
15 years 3 months ago
2003
Springer
This paper describes a practical solution for the incorporation of security services in agents. From a set of basic user requirements, the agents will be able to find out the best ...
CTRSA
2006
Springer
15 years 1 months ago
2006
Springer
In this work, we initiate the study of realizing a ranking functionality (m1,
JDCTA
2010
14 years 4 months ago
2010
Soundness and coercion resistance are the important and intricate security requirements for remote voting protocols. Several formal models of soundness and coercion-resistance hav...
ENTCS
2007
14 years 9 months ago
2007
Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over...