Login / Signup
A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties.
Santiago Escobar
Catherine A. Meadows
José 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