Ensuring Secure Non-interference of Programs by Game Semantics.
Aleksandar S. DimovskiPublished in: STM (2014)
Keyphrases
- stable model semantics
- stable models
- game theory
- formal semantics
- logic programming
- computer chess
- game playing
- educational games
- dynamic logic
- game theoretic
- video games
- nash equilibrium
- programming language constructs
- normal logic programs
- semantic information
- computer games
- security requirements
- game design
- security issues
- logic programs
- fixpoint semantics
- game development
- virtual world
- game tree search
- answer sets
- semantics for logic programs
- serious games
- multipath
- cryptographic protocols
- model theoretic
- nonmonotonic logics
- security protocols
- control flow
- game play
- security mechanisms
- fixpoint