Ouestion 1: Justify that the four security properties in System X (see the examp

Ouestion 1:
Justify that the four security properties in System X (see the example that begins on page 506) are consistent with the Bell-LaPadula properties. Use the System X statements in this Chapter. Identify any information you may need to complete the justification that you do not find in this material.Note: For this question in the electronic textbook click on part 6 Assurance and then on Chapter 19. This is the chapter that this question came from.Question 2:
Compare the life cycle concept that the PVS proof checker uses with the waterfall model of software engineering (see Section 18.2.2). Can the life cycle concept be expressed as a form of the waterfall model?Note: For this question click on part 6 Assurance and then on Chapter 20. This is the chapter for this problem. 18.2.2 is also under part 6 Assurance in Chapter 18.