commoncriteria / virtualization

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

APE_REQ.2-5 (Comment on Virt 1.0) #62

Closed robertmclemons closed 3 years ago

robertmclemons commented 3 years ago

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

FCS_COP.1.1(3): The second bullet, starting with [FIPS PUB 186-4,…Section 5] should be italicized.

FPT_HAS_EXT.1.1 and 1.2: Assignments should be italicized.

robertmclemons commented 3 years ago

Fixed FCS_COP. Con't find a problem with FPT_HAS_EXT. Maybe it changed.