Ylič Falcone, Jean-Claude Fernandez, Laurent Mounier. Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties. In International Conference of Information System Security, Volume LNCS 5352, Pages 41-55, Hyderabad, India, December 2008.
Download paper:
Adobe portable document (pdf)
Copyright notice:
[ Test and run-time verification ]
@InProceedings{FalconeFM08-ICISS,
Author = {Falcone, Ylič and Fernandez, Jean-Claude and Mounier, Laurent},
Title = {Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties},
BookTitle = {International Conference of Information System Security},
Volume = {LNCS 5352},
Pages = {41--55},
Address = {Hyderabad, India},
Month = {December},
Year = {2008}
}
Get EndNote Reference (.ref)