Login / Signup

A methodology for verification of digital items in fair exchange protocols with active trustee.

Andrea BottoniGianluca DiniTage Stabell-Kulø
Published in: Electron. Commer. Res. (2007)
Keyphrases
  • fair exchange protocols
  • fair exchange
  • model checking
  • search engine
  • database systems