Login / Signup
Analysis of a Receipt-Free Auction Protocol in the Applied Pi Calculus.
Naipeng Dong
Hugo L. Jonker
Jun Pang
Published in:
Formal Aspects in Security and Trust (2010)
Keyphrases
</>
auction protocol
statistical analysis
data analysis
neural network
computational complexity