Login / Signup

Automated Certification of Non-Interference in Rewriting Logic.

Mauricio Alba-CastroMaría AlpuenteSantiago Escobar
Published in: FMICS (2008)
Keyphrases
  • semi automated
  • logic programming
  • modal logic
  • neural network
  • third party
  • fully automated
  • multi valued
  • classical logic
  • defeasible logic
  • deontic logic
  • database
  • databases
  • wireless sensor networks
  • rewrite rules