A reinforcement model for collaborative security and Its formal analysis.

Janardan Misra Indranil Saha

Published in: NSPW (2009)

Keyphrases

formal analysis
formal model
mathematical model
computational model
artificial intelligence
database systems
bayesian networks
low cost
knowledge based systems
intrusion detection
operating system
statistical model
agent model
security issues