Title :
A formal analysis of Syverson´s rational exchange protocol
Author :
Buttyan, Levente ; Hubaux, Jean-Pierre ; Capkun, Srdjan
Keywords :
Ad hoc networks; Application software; Computer applications; Computer security; Conferences; Game theory; Laboratories; Nash equilibrium; Performance analysis; Protocols;
Conference_Titel :
Computer Security Foundations Workshop, 2002. Proceedings. 15th IEEE
Conference_Location :
Cape Breton, NS, Canada
Print_ISBN :
0-7695-1689-0
DOI :
10.1109/CSFW.2002.1021816