Skip to main content

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