User Tools

Site Tools


Implementing a Constraint Solving Algorithm for Checking Game-Theoretic Security Requirements (BibTeX)

@TechReport{KuestersSchmidtTruderung-RT-2011,
  author      = {Ralf K{\"u}sters and Thomas Schmidt and Tomasz Truderung},
  title       = {{Implementing a Constraint Solving Algorithm for Checking Game-Theoretic Security Requirements}},
  institution = {University of Trier},
  year        = 2011,
  note        = {Available at \url{http://infsec.uni-trier.de/publications.html}}
}