5488 search results - page 174 / 1098 » On the Secure Implementation of Security Protocols |
142
click to vote
CSFW
2005
IEEE
15 years 10 months ago
2005
IEEE
In the analysis of security protocols, the knowledge of attackers is often described in terms of message deducibility and indistinguishability relations. In this paper, we pursue ...
130
click to vote
IAT
2007
IEEE
15 years 11 months ago
2007
IEEE
It is only recently that rational exchange schemes have been considered as an alternative solution to the exchange problem. A rational exchange protocol cannot provide fairness bu...
144
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
— The buyer-seller watermarking protocol enables a seller to successfully identify at least one traitor from a pirated copy, while prevent the seller from framing an innocent buy...
141
click to vote
AFRICACRYPT
2009
Springer
15 years 11 months ago
2009
Springer
We propose a generic modelling technique that can be used to extend existing frameworks for theoretical security analysis in order to capture the use of timestamps. We apply this t...
174
click to vote
WIMOB
2007
IEEE
15 years 11 months ago
2007
IEEE
—In this paper we investigate the issues in designing key management architecture for secure multicasting in remote software distribution to advance vehicles. We consider the Veh...