Browsing Administrative Staff Authors (Scholarly Publications) by Subject "?-calculus"
Now showing items 1-1 of 1
-
Information flow vs resource access in the asynchronous pi-calculus.
(ACM, 2002)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 ...