460 search results - page 1 / 92 » Heuristic Methods for Security Protocols |
CORR
2009
Springer
13 years 3 months ago
2009
Springer
GECCO
2006
Springer
13 years 9 months ago
2006
Springer
This poster paper outlines a method for a search based approach to the development of provably correct protocols. Categories and Subject Descriptors C.2.2 [Computer Communication ...
JDFP
2006
13 years 5 months ago
2006
CSFW
2003
IEEE
13 years 11 months ago
2003
IEEE
We investigate a number of issues related to identity based authenticated key agreement protocols using the Weil or Tate pairings. These issues include how to make protocols effici...
IAT
2007
IEEE
13 years 12 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...