HIGH ASSURANCE TRUSTED CRITICAL AND SAFE COMPUTER RESEARCH

A SAFE AND CRITICAL COMPUTING POLICY IS PROPOSED. IT CONSIDERED THE EXISTING GOVERNMENT GUIDELINES FOR SAFETY AND CRITICALITY AND FOR INFORMATION SECURITY. THE POLICY INCLUDED CONFIDENTIALITY (SECRECY), INTEGRITY AND ASSURED SERVICES (FAULT TOLERANCE). SAFE AND CRITICAL COMPUTER TECHNOLOGY IS BEING DEVELOPED BY THE INTEGRATION AND ENHANCEMENT OF THE FOLLOWING DISCIPLINES: 1. FAULT TOLERANCE AGAINST HARDWARE AND SOFTWARE FAULTS INCLUDING UNINTENTIONAL MISTAKES AND MALICIOUS SOFTWARE ATTACKS; 2. HIGH ASSURANCE TRUSTED COMPUTERS AND NETWORKS AND; 3. CORRECT SOFTWARE. FAULT TOLERANCE MECHANISMS WILL BE IMPLEMENTED IN THE FRAMEWORK OF THREE MAPPED LAYERED ARCHITECTURES: A.LAYERED INFRASTRUCTURE FOR THE SAFE COMPUTING TECHNOLOGY; B. LAYERED OSI-ISO DISTRIBUTED SYSTEM ARCHITECTURE INCLUDING NETWORK SECURITY; C. LAYERED ARCHITECTURE FOR TRUSTED COMPUTERS AND SECURE DISTRIBUTED SYSTEMS. THE ARCHITECTURE IS BASED ON A LOOSELY COUPLED NETWORK OF SEVERAL TRUSTED COMPUTER NODES WHICH ARE TIGHTLY COUPLED MULTIPLE COMPUTERS. MOST FAULT TOLERANCE MECHANISMS WILL BE IMPLEMENTED OUTSIDE THE TRUSTED COMPUTING BASE TO MINIMIZE THEIR EFFECTS AND RE-EVALUATION OF THE TRUSTEDNESS OF THE SAFE COMPUTERS. THE CRITICALITY WILL BE ENHANCED BY THE CONCURRENT COMPUTING CAPABILITY BASED ON A PRE-EMPTIVE PRIORITY INTERUPT MECHANISM OF MULTIPLE PROCESSORS OF THE TIGHTLY COUPLED NODES.