Information flow vs. resource access in the asynchronous pi-calculus

Article English OPEN
Hennessy, Matthew; Riely, James;

We propose an extension of the asynchronous π-calculus in which a variety of security properties may be captured using types. These are an extension of the input/output types for the π-calculus in which I/O capabilities are assigned specific security levels. The main in... View more
Share - Bookmark