Supporting multiple levels of criticality

Digest of Papers - 28th Annual International Symposium on Fault-Tolerant Computing, FTCS 1998

Volumn 1998-January, Issue , 1998, Pages 70-79

  Totel, Eric ^a   Blanquart, Jean Paul ^b   Deswarte, Yves ^a   Powell, David ^a  

^a LAAS CNRS   (France)

^b AIRBUS DEFENCE AND SPACE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMMON OBJECT REQUEST BROKER ARCHITECTURE (CORBA); DISTRIBUTED DATABASE SYSTEMS; EMBEDDED SYSTEMS; FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; OBJECT ORIENTED PROGRAMMING; SAFETY ENGINEERING;

CRITICAL COMPONENT; DISTRIBUTED SYSTEMS; INTEGRITY LEVELS; INTEGRITY POLICY; MULTIPLE LEVELS; OBJECT ORIENTED; RESIDUAL DESIGN; SAFETY CRITICAL APPLICATIONS;

CRITICALITY (NUCLEAR FISSION);

EID: 84255207716     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FTCS.1998.689456     Document Type: Conference Paper

References (13)

1. Bell, D.E. and LaPadula, L.J. "Secure Computer Systems: Mathematical Foundations and Model." M74-244, Mitre Corporation, Bedford, Massachussets (1975).
2. Béounes C., Deswarte Y., Fabre J.C., Thévenod-Fosse P. "Coexistence de logiciels de criticités non-homogènes". LAAS Report 94515, July 1992 (revised December 1994).
3. Bernstein, M. M. and Chulsoo, K. "AOS: An Avionics Operating System for Multi-level Secure Real-time Environments", 10th Annual Computer Security Applications Conference, (Orlando, FL), USA, pp. 236-245, 5-9 December 1994.
4. Biba K. "Integrity Considerations for Secure Computer Systems", Tech. Rep. ESD-TR 76-372, MITRE Co., April 1977.
5. Blanquart J.P., Deswarte Y., Powell D., Totel E. "Multilevel Integrity Mechanisms", LAAS Report 97034, January 1997.
6. Clark D.D., Wilson D.R. "A Comparison of Commercial and Military Computer Security Policies". IEEE Symposium on Security and Privacy, (Oakland, CA), pp. 184-194, mai 1987.
7. Gray, J. "Notes on Data Base Operating Systems". LNCS 60 (R. Bayer, R.M. Graham, G. Seegmuller, Eds.), Springer-Verlag, Berlin, 1978.
8. IEC "Functional Safety: Safety-Related Systems", International Electrotechnical Commission SC 65 A, IEC 1508-5 Ed. 1, June 1995.
9. Jajodia S., Kogan B. "Integrating an Object-Oriented Data Model with Multilevel Security", International Symposium on Security and Privacy, (Oakland, CA), USA, pp. 76-85, May 1990.
10. Kiczales G., des Rivières J. and Bobrow D.G., The Art of the Metaboject Protocol, MIT Press, 1991.
11. OMG "The Common Object Request Broker: Architecture and Specification", Technical Report, revision 2.0, July 1995.
12. Sandhu, R.S. and Jajodia, S. "Integrity Mechanisms in Database Management Systems". Proc. 13th NIST-NCSC National Computer Security Conference, (Washington, D.C.), pp. 526-540, October 1990.
13. Vardanega T., David P., Chane J-F., Mader W., Messaros R., Arlat J. "On the Development of Fault-Tolerant On-Board Control Software and its Evaluation by Fault Injection", in Proc. of 25th International Symposium on Fault-Tolerant Computing (FTCS-25), (Pasadena, CA), pp. 510-515, 27-30 juin 1995, June 1995.