匿名模糊位置

已将您的地理位置进行模糊化处理，谨防第三方窃取您的位置信息。

综合

影视

购物

  • 一种面向容器平台的可信软件授权验证系统及方法

    本发明涉及一种面向容器平台的可信软件授权验证系统及方法，包括：构建公钥基础设施模块、构建容器镜像身份模块、构建签名列表模块、验证容器镜像模块、加载签名列表和用户证书模块、验证容器程序模块；本发明能够方便地对容器镜像和容...

  • 怎样验证软件是否可信？是否被篡改？

    软件开发者需要购买代码签名证书给发布的软件签名，来验证软件代码的来源与完整性。后面专门告诉大家如何验证文件的数字签名。就拿 Windows 的例子来说吧。比如，俺手头有一个 Firefox 的安装文件（带有数字签名）。当俺查看该文件的...

  • 一种嵌入式软件可信属性建模与验证方法

    本发明属于可信计算领域，涉及一种嵌入式软件可信属性建模与验证方法，包括下列步骤：（1）建立半形式化模型；（2）将半形式化模型转换为有限域上的可信嵌入式软件模型ZAM，包括时间模型、静态模型与动态模型三部分；（3）给出描述嵌入...

  • 面向恶意软件检测的软件可信验证的开题报告

    面向恶意软件检测的软件可信验证的开题报告1.研究背景恶意软件已经成为当今一项重要的安全威胁。在传统的防病毒软件等工具失效的情况下，恶意软件可以在用户不知情的情况下监视和控制用户的...

  • 嵌入式软件可信性的设计和验证方法

    内容提示：嵌入式软件可信性的设计和验证方法 摘要 目前,嵌入式系统已广泛地应用于控制系统部件和智能仪表中,在控制系统部件对嵌入式系统依赖性增强的同时,对嵌入式软件质量的要求也越来越高,...

  • 多层可信软件代码中程序标注准确性验证仿真

    对程序标注准确性进行验证,需要建立软件不同程序行为切分的超平面,区分不同的标注错误类型,完成可信软件代码程序标注准确性的验证。传统方法结合机器学习算法,提取可以反映程序标注准确性行为的特征,但忽略了对标注错误类型的区分...

  • 高可信软件又被称为“软件中的软件”主要应用在军工、航空航天、核电、高铁、无人驾

    主要应用在军工、航空航天、核电、高铁、无人驾驶等安全攸关领域，在智能应用领域提供软件可靠性、安全性的分析和验证。提到高可信软件，董永东表示高可信软件在技术水平上处于国际领先地位，目前已...

  • 怎样验证软件是否可信？是否被篡改？

    软件开发者需要购买 代码签名证书 给发布的软件签名，来验证软件代码的来源与完整性。后面专门告诉大家如何验证文件的数字签名。就拿 Windows 的例子来说吧。比如，俺手头有一个 Firefox 的安装文件（带有数字签名）。当俺查看该文...

  • 第6章模型检测验证是提高软件可信程度的重要方法

    内容提示：第6章模型检测•验证是提高软件可信程度的重要方法– 模型检测– 基于逻辑推理的程序验证•模型检测– 一种验证系统Μ满足性质φ(Μ φ)的方法。它操作在系统的模型Μ（语义） 上， 而不是在系统的描述（语法） 上–...

  • 面向恶意软件检测的软件可信验证

    内容提示：第36卷第8期专刊2009年8月计算机科学Com puterSci enceV01．36N o．8专刊Aug 2009面向恶意软件检测的软件可信验证徐达威1陈波1’2(南京师范大学计算机科学与技术学院南京210097)-...

可信软件是如何进行验证的

相关内容
为您找到约 1,000,000 条相关结果
12345678910下一页