Domain and type enforcement for real-time operating systems

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

Volumn 2, Issue January, 2003, Pages 439-446

  Kiszka, Jan ^a   Wagner, Bernardo ^a  

^a LEIBNIZ UNIVERSITY HANNOVER   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS CONTROL; COMPUTER OPERATING SYSTEMS; FACTORY AUTOMATION;

ACCESS CONTROL MECHANISM; DOMAIN AND TYPE ENFORCEMENT; EMERGING APPLICATIONS; NON REAL TIME; REAL TIME; REAL TIME OPERATING SYSTEM;

REAL TIME SYSTEMS;

EID: 22444446932     PISSN: 19460740     EISSN: 19460759     Source Type: Conference Proceeding    
DOI: 10.1109/ETFA.2003.1248732     Document Type: Conference Paper

References (22)

1. B. Santo, "Embedded Battle Royale", IEEE SPECTRUM, Dec. 2001.
2. R. Merrit, "Is Your System Secure?", Control Magazine, Aug. 2001. [Online]. Available: http://www.cotitrolmag.com/Web-First/ct.nsf/ArticleID/PSTR-4YX2FJ
3. B Schneier, Secrets and lies: digital security in a networked world, Wiley Computer Publishing, 2000.
4. Aeronautical Radio, Inc., ARINC Specification 653: Avionics Application Software Standard Interface, 1997.
5. D.F. Ferraiolo, D.R, Kuhn, "Role Based Access Control", in Proceedings of the 15th National Computer Security Conference, Baltimore, MD, 1992.
6. D.E. Bell, L J. LaPadula, "Secure computer systems: Mathematical foundations", MITRE Technical Report 2547, Volume I, 1973.
7. L. Badger, D.F. Sterne, et al, "Practical Domain and Type Enforcement for UNIX, in Proceedings of the IEEE Symposium on Security and Privacy, Oakland, 1995.
8. W.E. Boebert, R.Y. Kain, "A Practical Alternative to Hierarchical Integrity Policies", in Proceedings of the 8th National Computer Security Conference, Gaithersburg, MD, 1985.
9. M. Gasser, Building a secure computer svstem, Van Nostrand Reinhold, 1988.
10. M. Barabanov, "A Linux-based Real-Time Operating System", Master's thesis, New Mexico Institute of Mining and Technology, June 1997.
11. P. Mantegazza, E. Bianchi, et al., (2000, April) "RTAI: Real-Time Application Interface", Linux Journal. [Online]. Available: http://www.linuxjournal.com/article.php?sid=3838
12. M. Timmerman, J.-C. Monfret, "Windows NT Real-Time Extensions: an Overview", Real-Time Magazine 97-2, 1997.
13. J. Liedtke, "On μ-Kernel Construction", in Proceedings 15th ACM Symposium On Operating Principles (SOPS), Copper Mountain Resort, Dec. 1995.
14. K. Dankwardt, (2002, May) "Real Time and Linux, Part 3: Sub-Kernels and Benchmarks", Embedded Linux Journal Online. [Online], Available: http://www.linuxdevices.com/articles/AT6320079446.html
15. P. Loscocco, S. Smalley. "Integrating Flexible Support for Security Policies into the Linux Operating System", in Proceedings USENIX2001, FREENIX Track, 2001.
16. M. Müller, "Entwurf eines Sicherheitskonzeptes für ein Echtzeitsystem", Master's thesis. Institute for Systems Engineering, Real-Time Systems Group, University of Hannover, 2003.
17. CERT Coordination Center. (2003) CERT Advisories. [Online], Available: http://www.cert.org/advisories
18. K.M. Walker, D.F. Sterne. et al., "Confining Root Programs with Domain and Type Enforcement (DTE)", in Proceedings 6th USEN1X UNIX Security Symposium, San Jose, California, July 1996.
19. J. S. Shapiro, N. Hardy, "EROS: A Principle-Driven Operating System from the Ground Up", IEEE Software, Jan./Feb. 2002.
20. Real-time and Embedded System Forum. (2003) Real-time Security. [Online], Available: http://www.opengroup.org/rtforum/rt-security
21. H. Nag, R. Gotfried, D. Greenberg, et al, "PROSE: Parallel Real-Time Operating System fot Secure Environments", in Intel Supercomputing 96 Proceedings, June 1996.
22. J. Tidswell, J. Potter, "Domain and Type Enforcement in a μ-Kernel" in Proceedings of the 20th Australasian Computer Science Conference, 1997.