External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

LOCKS: a property specification language for security goals

Rajesh Kumar 0012, Arend Rensink, Mariëlle Stoelinga. LOCKS: a property specification language for security goals. In Hisham M. Haddad, Roger L. Wainwright, Richard Chbeir, editors, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018. pages 1907-1915, ACM, 2018. [doi]

Authors

Rajesh Kumar 0012

This author has not been identified. Look up 'Rajesh Kumar 0012' in Google

Arend Rensink

This author has not been identified. It may be one of the following persons: Look up 'Arend Rensink' in Google

Mariëlle Stoelinga

This author has not been identified. Look up 'Mariëlle Stoelinga' in Google
runs on