DocumentCode
342865
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
fYear
1999
fDate
1999
Firstpage
443
Lastpage
452
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 1999. Proceedings. 14th Symposium on
Conference_Location
Trento
ISSN
1043-6871
Print_ISBN
0-7695-0158-3
Type
conf
DOI
10.1109/LICS.1999.782639
Filename
782639
Link To Document