From a Generic Framework for Expressing Integrity Properties to a Dynamic mac Enforcement for Operating Systems-Reference-Cited by-同舟云学术

From a Generic Framework for Expressing Integrity Properties to a Dynamic mac Enforcement for Operating Systems

Published:2010 Issue: Volume: Page:131-161
ISSN:0302-9743
Container-title:Transactions on Computational Science XI
language:
Short-container-title:

Author:

Clemente Patrice,Rouzaud-Cornabas Jonathan,Toinard Christian

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-17697-5_7

Reference34 articles.

1. Committee on National Security Systems. National Information Assurance Glossary, CNSS Instruction No. 4009, 23 (April 2010)

2. Biba, K.J.: Integrity considerations for secure computer systems, tech. rep., MITRE Corp., 04 (1977)

3. Bell, D., LaPadula, L.: Secure computer systems: Mathematical foundations, tech. rep., Technical Report MTR-2547 (1973)

4. Lee, T.: Using mandatory integrity to enforce ‘commercial’ security. In: Proceedings of IEEE Symposium on Security and Privacy, pp. 140–146 (April 1988)

5. Ko, C., Redmond, T.: Noninterference and intrusion detection. In: Proceedings of IEEE Symposium on Security and Privacy, pp. 177–187 (2002)

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

1. Security-Driven Information Flow Modelling for Component Integration in Complex Environments;Proceedings of the 10th International Conference on Advances in Information Technology - IAIT 2018;2018

2. Access Control and Security Properties Requirements Specification for Clouds' SecLAs;2013 IEEE 5th International Conference on Cloud Computing Technology and Science;2013-12

3. Building safe PaaS clouds: A survey on security in multitenant software platforms;Computers & Security;2012-02

4. Dynamic Information-Flow Analysis for Multi-threaded Applications;Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change;2012