Author:
Bauer Lujo,Ligatti Jay,Walker David
Cited by
50 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. ProProv: A Language and Graphical Tool for Specifying Data Provenance Policies;2022 IEEE 4th International Conference on Trust, Privacy and Security in Intelligent Systems, and Applications (TPS-ISA);2022-12
2. Controlling Fine-Grain Sharing in Natural Language with a Virtual Assistant;Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies;2018-09-18
3. Runtime Failure Prevention and Reaction;Lectures on Runtime Verification;2018
4. Verifying Policy Enforcers;Runtime Verification;2017
5. Extensible access control with authorization contracts;ACM SIGPLAN Notices;2016-12-05