Now showing items 1-6 of 1

    access control (1)
    compositional specification (1)
    interval temporal logic (1)
    policy (1)
    semantics (1)
    verification (1)