[MS09]
J. Misra and I. Saha.
A Reinforcement Model for Collaborative Security and Its Formal Analysis.
In Proc. New Security Paradigms Workshop (NSPW'09).
2009.
[bib]
[Proposes a reinforcement framework for collaborative monitoring of security violations and anlayses it using PRISM.]
|
Links:
[Google]
[Google Scholar]
|