search

commoncriteria / operatingsystem

Protection Profile for Operating Systems
The Unlicense
9 stars 6 forks source link

FCS_RBG_EXT.1.1 #5

Closed bourdett closed 9 years ago

bourdett commented 9 years ago

It seems like FCS_RBG_EXT.2.1 is covering RBG generation. What is RBG_EXT1.1 saying? Is this, we want the OS to provide an API for calling for RBG?

"The OS shall implement functionality for its cryptographic operations."

that just sounds really vague. I dont even know what that is saying.

and the AA is to verify that FCS_RBG_EXT.2 is in the ST? Since FCS_RBG_EXT.2 is not optional/objective/selection then it had better be in the ST, do we need a test for that?

ajcousi commented 9 years ago

Agreed - I don't see what it's actually adding - anyone else got thoughts on this or shall we just remove?

jeffblank commented 9 years ago

yes plz

ajcousi commented 9 years ago

removed