kragen: So suppose Lockheed Martin wants this EAL9 rating for, say,