@phdthesis{melissen13,
  title         = {{Game-theory and Logic for Non-repudiation Protocols and Attack Analysis}},
  author        = {{Matthijs Melissen}},
  school        = {{University of Luxembourg}},
  year          = {2013}
}