Analysing the Information Flow Properties of Object−Capability Patterns
Toby Murray and Gavin Lowe
Details
| 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 |
Links
DOI (10.1007/978-3-642-12459-4_7)
Related pages
|
People |
|
|
Activities |