Green Hills赞助的会议

特别会议信托2009将由Green赞助Hills软件。晚餐前将举行招待会大卫克莱德马赫，Green Hill Software首席技术官，将发表演讲讨论最近的EAL6+高健壮性完整性认证操作系统。

摘要

操作系统最近被认证为最高软件曾达到的通用标准安全级别（EAL 6+）技术。认证由美国政府保护国家机密的计划老练的攻击者。本演示将介绍认证，包括正式方法和NSA渗透测试，以及指导发展的安全原则以及它们如何由开发人员应用。IT专业人士首次拥有高保证通用软件认证而是作为防止软件漏洞的途径对他们的功绩做出反应。