Browsing Administrative Staff Authors by Subject "security types"

Sort by: Order: Results:

Now showing items 1-1 of 1

  • The Security Picalculus and Non-interference. 

    HENNESSY, MATTHEW (Elsevier, 2005)
    The security -calculus is a typed version of the asynchronous -calculus in which the types, in addition to constraining the input/output behaviour of processes, have security levels associated with them. This enables ...