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