search

commoncriteria / operatingsystem

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

FAU_GEN.1.1 #30

Closed ajcousi closed 9 years ago

ajcousi commented 9 years ago

This has a mis-match between the requirements and the tests - is this ok?

ajcousi commented 9 years ago

updated this part of the PP in the following commit https://github.com/commoncriteria/operatingsystem/commit/dca37ff2a2ac4d50338ed06ac7f0ff3c13663da2 - this is to cover the relevant logging events from http://www.sandia.gov/FSO/PDF/flowdown/Final_CNSSI_1253.pdf