947 search results - page 61 / 190 » Provable Implementations of Security Protocols |
122
click to vote
FC
2010
Springer
15 years 7 months ago
2010
Springer
A key way in which banks mitigate the effects of phishing is to remove fraudulent websites or suspend abusive domain names. This ‘take-down’ is often subcontracted to special...
111
click to vote
SEC
2001
15 years 4 months ago
2001
Abstract When people want to schedule a meeting, their agendas must be compared to find a time suitable for all participants. At the same time, people want to keep their agendas pr...
128
Voted
EUROCRYPT
2004
Springer
15 years 7 months ago
2004
Springer
We introduce Ad Hoc Anonymous Identification schemes, a new multi-user cryptographic primitive that allows participants from a user population to form ad hoc groups, and then prove...
130
Voted
TGC
2007
Springer
15 years 9 months ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
129
click to vote
AWIC
2003
Springer
15 years 8 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 ...