Hello,

From reading the Redhat Enterprise Linux security target for CAPP document I 
can see that the common criteria evaluation identified these
object reuse requirements (OR.1, OR.2, and OR.3) and that Redhat met these 
requirements. And these requirements were met in,

Section 6.2.5.1, which states that file system objects are created with no 
contents. The exceptions are listed right above that line.

Section 6.2.5.2 says that IPC objects are initialized with 0 at creation and do 
not change size.

Section 6.2.5.3 discusses about memory objects.

Can anybody help me out to identify where in the Linux source code these 
requirements are met.


Thanks,

--
Sarmila


--
Linux-audit mailing list
[email protected]
https://www.redhat.com/mailman/listinfo/linux-audit

Reply via email to