Login / Signup
A formal model of rational exchange and its application to the analysis of Syverson's protocol.
Levente Buttyán
Jean-Pierre Hubaux
Srdjan Capkun
Published in:
J. Comput. Secur. (2004)
Keyphrases
</>
formal model
real time
data analysis
security properties
information exchange
formal analysis
formal models