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
Show replies by date