Andrea Bottoni Gianluca Dini Tage Stabell-Kulø A methodology for verification of digital items in fair exchange protocols with active trustee. 143-164 2007 7 Electronic Commerce Research 2 http://dx.doi.org/10.1007/s10660-007-9003-8 db/journals/ecr/ecr7.html#BottoniDS07