Paper: Non-Deterministic Games and Program Analysis: An Application to Security (at LICS 1999)
Authors: Pasquale Malacaria Chris HankinAbstract
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.
BibTeX
@InProceedings{MalacariaHankin-NonDeterministicGam, author = {Pasquale Malacaria and Chris Hankin}, title = {Non-Deterministic Games and Program Analysis: An Application to Security}, booktitle = {Proceedings of the Fourteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1999}, year = 1999, editor = {Giuseppe Longo}, month = {July}, pages = {443--452}, location = {Trento, Italy}, publisher = {IEEE Computer Society Press} }