Formal Models for Computer Security-Reference-Cited by-同舟云学术

Formal Models for Computer Security

Published:1981-09 Issue:3 Volume:13 Page:247-278
ISSN:0360-0300
Container-title:ACM Computing Surveys
language:en
Short-container-title:ACM Comput. Surv.

Author:

Landwehr Carl E.¹

Affiliation:

1. Code 7593, Naval Research Laboratory, Washington, D.C.

Publisher

Association for Computing Machinery (ACM)

Subject

General Computer Science,Theoretical Computer Science

Reference79 articles.

1. ANDERSON J P. "Computer security techno|ogy planning study " ESD-TR- 73-51 vol 1 ESD/AFSC Hanscom AFB Bedford Mass. Oct. 1972 (NTIS AD-758 2O6) ANDERSON J P. "Computer security techno|ogy planning study " ESD-TR- 73-51 vol 1 ESD/AFSC Hanscom AFB Bedford Mass. Oct. 1972 (NTIS AD-758 2O6)

2. An Axiomatic Approach to Information Flow in Programs

3. BELL D E AND LAPADULA L J. "Secure computer systems" Mathematical foundations " ESD-TR-73-278 vol. 1 ESD/AFSC Hanscom AFB Bedford Mass. Nov. 1973 (MTR-2547 vol. 1 MITRE Corp. Bedford Mass.) BELL D E AND LAPADULA L J. "Secure computer systems" Mathematical foundations " ESD-TR-73-278 vol. 1 ESD/AFSC Hanscom AFB Bedford Mass. Nov. 1973 (MTR-2547 vol. 1 MITRE Corp. Bedford Mass.)

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

1. This Is Going on Your Permanent Record: A Legal Analysis of Educational Data in the Cloud;ACM Journal on Responsible Computing;2024-08-09

2. Enhancing Secure Deployment with Ansible: A Focus on Least Privilege and Automation for Linux;Proceedings of the 19th International Conference on Availability, Reliability and Security;2024-07-30

3. A blockchain-enabled sharing platform for personal health records;Heliyon;2023-07

4. Access Control, Biometrics, and the Future;Proceedings of the 2023 5th International Conference on Image, Video and Signal Processing;2023-03-24

5. Improvement of the scientific bases of creating means of automation of documentation of devices of railway automation and telemechanics;E3S Web of Conferences;2023