Login / Signup

Formal modelling and analysis of receipt-free auction protocols in applied pi.

Naipeng DongHugo L. JonkerJun Pang
Published in: Comput. Secur. (2017)
Keyphrases
  • machine learning
  • search engine
  • quantitative analysis
  • formal model
  • formal analysis
  • artificial neural networks
  • statistical analysis