Login / Signup

Mechanized logical relations for termination-insensitive noninterference.

Simon Oddershede GregersenJohan BayAmin TimanyLars Birkedal
Published in: Proc. ACM Program. Lang. (2021)
Keyphrases
  • logical structure
  • logical reasoning
  • real world
  • background knowledge
  • security policies
  • binary relations
  • database
  • decision trees
  • semantic relations
  • logical theories