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.

Verifiable Security Policies for Distributed Systems

Felix A. Wolf, Peter Müller 0001. Verifiable Security Policies for Distributed Systems. In Bo Luo, Xiaojing Liao, Jun Xu 0024, Engin Kirda, David Lie, editors, Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, CCS 2024, Salt Lake City, UT, USA, October 14-18, 2024. pages 4-18, ACM, 2024. [doi]

Authors

Felix A. Wolf

This author has not been identified. Look up 'Felix A. Wolf' in Google

Peter Müller 0001

This author has not been identified. Look up 'Peter Müller 0001' in Google
runs on