Login / Signup

A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties.

Santiago EscobarCatherine A. MeadowsJosé Meseguer
Published in: Theor. Comput. Sci. (2006)
Keyphrases
  • logical properties
  • belief revision
  • bargaining solution
  • meta level
  • artificial intelligence
  • cooperative
  • np hard
  • probabilistic model
  • state space
  • random variables
  • model checking
  • utility function