LOCKS: A property specification language for security goals

Rajesh Kumar, Arend Rensink, Mariëlle I.A. Stoelinga

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    5 Citations (Scopus)
    84 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'LOCKS: A property specification language for security goals'. Together they form a unique fingerprint.

    Engineering & Materials Science