Title :
Non-deterministic games and program analysis: An application to security
Author :
Malacaria, Pasquale ; Hankin, Chris
Author_Institution :
Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
Abstract :
We present a unifying framework for using game semantics as a basis for program analysis. Also, we present a case study of the techniques. The unifying framework presents games-based program analysis as an abstract interpretation of an appropriate games category in the category of non-deterministic games. The case study concerns an application to security
Keywords :
game theory; program diagnostics; programming theory; security of data; game semantics; games category; program analysis; security; Data security; Ear; Educational institutions; Information security; Tail;
Conference_Titel :
Logic in Computer Science, 1999. Proceedings. 14th Symposium on
Conference_Location :
Trento
Print_ISBN :
0-7695-0158-3
DOI :
10.1109/LICS.1999.782639
