Analysing the Information Flow Properties of Object−Capability PatternsReport as inadecuate




Analysing the Information Flow Properties of Object−Capability Patterns - Download this document for free, or read online. Document in PDF available to download.

Reference: Toby Murray and Gavin Lowe, (2010). Analysing the Information Flow Properties of Object−Capability Patterns.Citable link to this page:

 

Analysing the Information Flow Properties of Object−Capability Patterns

Bibliographic Details

Host: Proceedings of the Sixth International Workshop on Formal Aspects of Security and Trust (FAST2009)see more from them

Issue Date: 2010Identifiers

Urn: uuid:a9979659-1f45-47b6-844d-50e67ad92860

Doi: https://doi.org/10.1007/978-3-642-12459-4_7 Item Description

Type: Conference paper; Tiny URL: cs:3202

Relationships





Author: Toby Murray - - - Gavin Lowe - - - - Bibliographic Details Host: Proceedings of the Sixth International Workshop on Formal Aspect

Source: https://ora.ox.ac.uk/objects/uuid:a9979659-1f45-47b6-844d-50e67ad92860



DOWNLOAD PDF




Related documents