Login / Signup
A methodology for verification of digital items in fair exchange protocols with active trustee.
Andrea Bottoni
Gianluca Dini
Tage Stabell-Kulø
Published in:
Electron. Commer. Res. (2007)
Keyphrases
</>
fair exchange protocols
fair exchange
model checking
search engine
database systems