Skip to main content

Analysing the Security Properties of Object−Capability Patterns

Toby Murray

School
University of Oxford
Year
2010