Non-Deterministic Games and Program Analysis: An Application to Security

Authors:
Pasquale Malacaria;Chris Hankin
Affiliations:
-;-
Venue:
LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
Year:
1999

Citing 0
Cited 9

Probabilistic game semantics

ACM Transactions on Computational Logic (TOCL)
The Anatomy of Innocence

CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Probabilistic Game Semantics

LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Flow analysis: games and nets

The essence of computation
A survey of semantic description frameworks for programming languages

ACM SIGPLAN Notices
Syntactic control of concurrency

Theoretical Computer Science - Automata, languages and programming: Logic and semantics (ICALP-B 2004)
Definability and Full Abstraction

Electronic Notes in Theoretical Computer Science (ENTCS)
Game Semantics for Access Control

Electronic Notes in Theoretical Computer Science (ENTCS)
Data-abstraction refinement: a game semantic approach

SAS'05 Proceedings of the 12th international conference on Static Analysis

Quantified Score

Hi-index	0.00

Visualization

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.