@MASTERSTHESIS\{IMM2013-06671,
    author       = "Q. Zhang",
    title        = "Design and Analysis of Fair-Exchange Protocols based on TPMs",
    year         = "2013",
    school       = "Technical University of Denmark, Department of Applied Mathematics and Computer Science",
    address      = "Matematiktorvet, Building 303B, {DK-}2800 Kgs. Lyngby, Denmark, compute@compute.dtu.dk",
    type         = "",
    note         = "{DTU} supervisor: Sebastian Alexander M{\"{o}}dersheim, samo@dtu.dk, {DTU} Compute",
    url          = "http://www.compute.dtu.dk/English.aspx"
}