FWIW; On Linux kernel traffic the following URL's are mentioned for "what used to be called C2". http://www.radium.ncsc.mil/tpep/library/protection_profiles/index.html http://commoncriteria.org/docs/index.html cheers, Pedro. To Unsubscribe: send mail to majordomo at trustedbsd.org with "unsubscribe trustedbsd-discuss" in the body of the message