Analysing the Information Flow Properties of Object-Capability Patterns

Toby C. Murray, Gavin Lowe. Analysing the Information Flow Properties of Object-Capability Patterns. In Pierpaolo Degano, Joshua D. Guttman, editors, Formal Aspects in Security and Trust, 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers. Volume 5983 of Lecture Notes in Computer Science, pages 81-95, Springer, 2009. [doi]

Authors

Toby C. Murray

This author has not been identified. Look up 'Toby C. Murray' in Google

Gavin Lowe

This author has not been identified. Look up 'Gavin Lowe' in Google