LICS: Logic in Computer Security - Some Attacker's Models and Related Decision Problems.

Hubert Comon-Lundh

Browse the full LICS paper archive.