User Tools

Site Tools


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

Ralf Küsters, Thomas Schmidt, and Tomasz Truderung