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}}  
}