Analysing the Information Flow Properties of Object−Capability Patterns
Toby Murray and Gavin Lowe
Book Title
Proceedings of the Sixth International Workshop on Formal Aspects of Security and Trust (FAST2009)
Pages
81−95
Series
Lecture Notes in Computer Science
Volume
5983
Year
2010