W-CaaS

CC评估服务平台

W-CaaS是一种开发、分析、评测、验证符合通用标准Common Criteria的安全目标开发平台。


 W-CaaS平台提供了直观易用的交互界面，方便用户进行安全目标的开发；提供默认的安全目标开发工作流程提高用户的开发效率，提供符合CC标准的安全目标开发提示与自动分析功能提高用户的安全目标质量；提供符合CC标准的高等级认证的形式化建模与验证；提供符合评估机构要求的证据文档自动生成功能方便开发者与评估者或者客户的交互。

  

 W-CaaS可以大幅提高安全目标开发与提供的效率和质量。使用工具后，在认证产品时约节省的时间和成本为 50%，符合要求的可靠性为 100%。

 W-CaaS简介

 

  • 安全目标编辑
  • 评估证据生成
  • 自动分析与评估
  • 用户团队管理
  • 评估项目管理
  • 高安全评估W-Cert


▌ 安全目标编辑
  
      智能辅助生成TOE逻辑边界、威胁、安全目的基本原理、安全功能基本原理、安全功能。


▌ 评估证据生成    

      创建项目时，根据评估级别的选项自动生成符合CC标准的评估证据，大幅度降低开发提供评估证据的工作量。



▌ 自动分析与评估
      协助评估者/评估机构自动化完成一些评估活动，并确保评估技术报告的一致性。



▌ 用户管理     

      用户管理基于一个团队，可以邀请协作成员，进行编辑、删除、审阅查看等操作，更具灵活性。


▌ 评估项目管理
  
      支持对多个项目同时进行管理。基于一个项目，可以轻松地与用户的团队分享进展。可将项目保存在用户所属空间中，并具备管理用户权限。具有更高的安全性。

 

▌ 高安全评估W-Cert
  
      W-Cert是满足CC标准全部形式化建模与验证需求的高可信形式化开发工具，可有效支持CC标准中的形式化建模与验证任务，并可生成模型对应的相关评估证据供第三方评估机构使用。

W-Cert满足CC标准全部形式化建模与验证需求的高可信形式化开发，极大降低开发人员对CC标准和形式化技术的掌握程度。


7.

高安全评估验证

无需部署、注册即用

便于管理、维护

评估实施

基于Web、团队合作

符合标准

完全符合CC(ISO/IEC 15408和国标GB/T 18336) 标准安全保障要求。


1.


2.


3.


4.

降低开发难度

缩短评估周期


证据可靠

智能辅助、自动填充、丰富的安全目标文档和模型实例。

工具满足规范的所有内容和表示要求！并且符合ISO标准和GB/T标准的文档自动化生成。

自动生成可靠的安全目标评估文档，自然满足CC EAL1-7的评估要求，并避免项目的不一致。

通过web设计提供安全目标的模型化和结构化的内容，并将自动验证文档内容的一致性。


5.

无需在电脑上安装任何东西，可以从任何地方访问。支持团队管理功能，对多个项目同时进行管理。具有更高的安全性和更高的灵活性。


6.

用户只要注册、登录就能创建项目，并补充项目所需的文档结构内容。这让开发者的工作更加容易，工具使得最繁琐的部分文档的生成更加简化。


8.