The cross domain desktop compositor-Reference-Cited by-同舟云学术

The cross domain desktop compositor

Published:2016-12-05 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 32nd Annual Conference on Computer Security Applications
language:
Short-container-title:

Author:

Beaumont Mark¹,McCarthy Jim¹,Murray Toby²

Affiliation:

1. Defence Science & Technology Group, Edinburgh, SA, Australia

2. University of Melbourne and Data, Melbourne, VIC, Australia

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2991079.2991087

Reference24 articles.

1. Air Force Research Laboratory AFRL/RIEB. SecureView overview. http://www.ainfosec.com/wp-content/uploads/2013/10/SecureView_Overview_Master_PA_Cleared_7Oct13.pdf October 2013. Air Force Research Laboratory AFRL/RIEB. SecureView overview. http://www.ainfosec.com/wp-content/uploads/2013/10/SecureView_Overview_Master_PA_Cleared_7Oct13.pdf October 2013.

2. Xen and the art of virtualization

3. Common Criteria Sponsoring Organisations. Common Criteria for Information Technology Security Evaluation Part 3: Security assurance components Version 3.1 Rev 4. http://www.commoncriteriaportal.org/cc/ Sept. 2012. Common Criteria Sponsoring Organisations. Common Criteria for Information Technology Security Evaluation Part 3: Security assurance components Version 3.1 Rev 4. http://www.commoncriteriaportal.org/cc/ Sept. 2012.

4. A prototype B3 trusted X Window System

5. A Nitpickers guide to a minimal-complexity secure GUI

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Kite;Proceedings of the Seventeenth European Conference on Computer Systems;2022-03-28

2. Verified secure compilation for mixed-sensitivity concurrent programs;Journal of Functional Programming;2021

3. RL: a Language for Formal Engineering;2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS);2020-10

4. VERONICA: Expressive and Precise Concurrent Information Flow Security;2020 IEEE 33rd Computer Security Foundations Symposium (CSF);2020-06

5. Information Associations for Multi-Domain Applications;Proceedings of the Australasian Computer Science Week Multiconference;2019-01-29