741 search results - page 13 / 149 » Verification of security protocols using LOTOS-method and ap... |
105
click to vote
PODC
2011
ACM
14 years 2 months ago
2011
ACM
We present a cryptographic framework to achieve access control, privacy of social relations, secrecy of resources, and anonymity of users in social networks. The main idea is to u...
78
Voted
IFIP
2009
Springer
14 years 9 months ago
2009
Springer
We present a platform that allows a protocol researcher to specify the sequence of games from an initial protocol to a protocol where the security property under consideration can ...
CCR
2000
14 years 11 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...
114
Voted
ICC
2007
IEEE
15 years 3 months ago
2007
IEEE
Overlay networks have shown tremendous potential in solving large scale data dissemination problem by employing peer-to-peer communication protocols. These networks, however, have ...
80
Voted
IFIP
2009
Springer
15 years 6 months ago
2009
Springer
We adapt the Strand Spaces model to reason abstractly about layered security protocols, where an Application Layer protocol ed on top of a secure transport protocol. The model abst...