Question: 1 . Most widely used operating systems provide considerable support for auditing but do not implement mandatory access control.What is the highest TCSEC class in

1.Most widely used operating systems provide considerable support for auditing but do not implement mandatory access control.What is the highest TCSEC class in which this system can be placed? a.C1 b. B1 c.D d.C22.SELinux is a security enhanced Linux system.It can be placed in the B1 TCSEC class because it enhances standard Unix with the following a.discretionary access control b.logging/auditing c.mandatory access control d. formal correctness 3. seL4 claims to be the world's most high-assured operating system kernel (OS kernelcan be viewed as the TCB). This claim could be based on a. better performance of seL4 b. multi-factor user authentication in seL4. C. formal proof for the correctness of seL4 d.none of the above

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!