Aeolus Reference Manual
| dc.contributor.advisor | Barbara Liskov | |
| dc.contributor.author | Liskov, Barbara | en_US |
| dc.contributor.other | Programming Methodology | en |
| dc.date.accessioned | 2012-09-17T18:30:04Z | |
| dc.date.available | 2012-09-17T18:30:04Z | |
| dc.date.issued | 2012-09-14 | |
| dc.identifier.uri | http://hdl.handle.net/1721.1/73017 | |
| dc.description.abstract | This document describes the interface that the Aeolus information flow platform provides for users who are implementing applications using Java. The document explains how the Aeolus features are made available by means of a Java library. | en_US |
| dc.format.extent | 37 p. | en_US |
| dc.relation.ispartofseries | MIT-CSAIL-TR-2012-030 | |
| dc.subject | information flow control | en_US |
| dc.subject | DIFC | en_US |
| dc.subject | data privacy | en_US |
| dc.title | Aeolus Reference Manual | en_US |
