search

commoncriteria / virtualization

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

5.1.7 FPT_HCL_EXT.1, Tests 1 and 2 #28

Closed robertmclemons closed 3 years ago

robertmclemons commented 3 years ago

The tests do not address the FPT_HCL_EXT.1.3 exceptions. Recommend adding wording such as "...that meets FPT_HCL_EXT.1.2 and is not listed in FPT_HCL_EXT.1.3" or something to that effect.

Current wording of tests could cause failure for a TOE that meets the requirements.

robertmclemons commented 3 years ago

See Issue 27. We may need to rewrite this one from scratch.

robertmclemons commented 3 years ago

This SFR has been overhauled to require only parameter validation.