GoCDF–一种自动测试加密软件正确性和安全性的工具
CDF–一种自动测试加密软件正确性和安全性的工具
用户评论
推荐下载
-
一种大容量电缆自动测试仪的设计和实现
绍了一种基于C8051F的大容量电缆线束自动测试仪的硬件和软件的设计和实现。该测试仪不仅可以测量电缆线束的毫欧级电阻和绝缘性能,而且可给电缆的设计、生产和检测提供一个一体化的管理手段。文章重点介绍了测
11 2020-08-20 -
数据库的完整性和安全性
数据库的完整性和安全性
17 2019-09-23 -
WEB安全性测试测试用例基础
WEB安全性测试测试用例,很基础的东西。一些XSS输入总结。
50 2019-07-28 -
pdf安全性密码破解软件
现在从网络上下载下来pdf文件很多带有安全保护:不允许复制、标记甚至打印,使用该软件可以轻松地解除上述限制,随心所欲的改变文档。
31 2019-05-13 -
电源技术中的一种提高电池充电系统安全性的设计和实现
电池供电的便携式装置,如手机已成为人们日常生活中的重要组成部分。许多类型的适配器可用来为锂离子(Li-ion)电池充电,并为系统供电,而各制造商的电气规格通常是不同的。这对系统设计师构建便携式装置提出
13 2020-10-28 -
一种基于故障扩展SysML活动图的安全性验证框架研究
随着嵌入式系统在能源、交通等安全关键领域的广泛应用,针对嵌入式软件的安全性分析与验证方法一直是学术界和工业界的研究热点之一。使用扩展了故障树语义信息的SysML活动图来统一系统的功能模型与安全需求分析
8 2021-02-09 -
GJBZ1021997软件可靠性和安全性设计准则
本文档为国军标,给出了软件可靠性和安全性设计准则。
15 2020-02-11 -
JavaScript判断两种格式的输入日期的正确性的代码
JavaScript判断两种格式的输入日期的正确性的代码
12 2020-11-06 -
如何测试Java类的线程安全性
主要介绍了如何测试Java类的线程安全性,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友可以参考下
18 2020-09-03 -
ChatGPT的安全性和隐私保护
ChatGPT是一款强大的自然语言处理模型,它可以产生高质量的对话,但在使用过程中需要注意安全性和隐私保护问题。首先,ChatGPT的设计目标之一就是强调用户隐私的保护。模型不会存储用户的对话数据,保
15 2023-08-28
暂无评论