LICS: Logic in Computer Security -- Some Attacker's Models and Related Decision Problems | IEEE Conference Publication | IEEE Xplore