search

commoncriteria / virtualization

Protection Profile for Virtualization
The Unlicense
3 stars 0 forks source link

APE_REQ.2-8 (Virt 1.0) #65

Closed robertmclemons closed 3 years ago

robertmclemons commented 3 years ago

"The evaluator shall examine the statement of security requirements to determine that all refinement operations are performed correctly."

FAU_GEN.1.1, b.: Should be bolded

FAU_GEN.1.2, a.-d.: These are presented as one bullet in the CC Part 2; e. is a refinement and should be bolded.

FAU_STG.1.2: CC Part 2 includes "unauthorised modifications" (unauthorised is not used in the Virtualization PP). I don't think this was meant to be a refinement but I could be wrong.

FTP_TRP.1.1: "trusted" should be bold because it is a refinement from the CC.

AGD_OPE.1.1C through 1.4C and 1.6C: The Virtualization PP replaces "for each user role" with "the authorized user," so they should be bolded to identify as refinements.

ATE_IND.1: Should be "Independent Testing - Conformance" not "- Sample" to match the actual assurance requirements and the CC.

robertmclemons commented 3 years ago

I think I fixed FUA_GEN in 1.1. Added "unauthorized" to FAU_STG. Not sure whether this was intentional either, and I don't think it matters, so might as well conform. Fixed all the others in 1.1.