您所在的位置： 首页 > 专利技术 > 正文
专利基本信息
专利名称 RFC制导的SSL/TLS实现中数字证书验证模块的差异测试方法
专利状态 - 专利号（申请号） CN108595318B
专利申请日期 2018-03-31 专利类型 发明专利
申请公布号 2018102787310 申请公布日 2018-03-31
授权公告号 - 授权公告日 -
发明人 田聪;陈矗;段振华
专利权人 西安电子科技大学
专利摘要 本发明属于计算机软件分析技术领域,公开了一种RFC制导的SSL/TLS实现中数字证书验证模块的差异测试方法,从RFC中提取并更新规则;对规则进行分类,进一步对消费者规则和共享规则分为可打破规则和不可打破规则,规则转换为规则变量并生成动态符号执行技术中的输入即符号化程序;对符号化程序使用动态符号执行技术生成低级测试用例;根据低级测试用例组装高级测试用例即数字证书;使用组装的数字证书对SSL/TLS实现中的数字证书验证模块进行差异测试。本发明对被测试程序进行高效的差异测试;应用于SSL/TLS实现中数字证书验证模块的测试,发现潜在的软件缺陷或安全漏洞,提高SSL/TLS实现的正确性和安全性。
专利价值评估分析
专利价值评估分析 样例
相关推荐
技术专利 技术专家 技术成果
一种以工业铍制备高纯铍的方法
专利号：ZL202011597846.X
发明专利
一种用于钼铜合金与不锈钢的高强度钎焊方法
专利号：2019100389671
发明专利
一种循环湿式气体净滤系统及其净滤方法
专利号：CN201811130833.4
发明专利
一种复合材料螺旋铣孔专用刀具
专利号：ZL 2023 1 0672758.9
发明专利
弧面乒乓球拍及其套胶
专利号：202110623412.0
发明专利
电动滚轮式按摩躺椅
专利号：202421582590.9
实用新型专利
一种秸秆压扁折弯划切定向喂入方法及其装置
本发明涉及一种秸秆压扁折弯划切定向喂入方法及其装置,包括以下步骤：步骤(1)、对秸秆进行压扁,具体为...
行业：烘炉、风机、包装等设备制造
多层数据安全加密手段的私有云备份机制
本发明涉及数据备份技术领域,特别是一种多层数据安全加密手段的私有云备份机制,该机制将多层加密过程与云...
行业：软件开发
一种提高光伏架下牧草种子产量的方法
本发明公开了一种提高光伏架下牧草种子产量的方法,其特征是：对光伏架下种植牧草的土壤施以微生物菌肥。本...
行业：研究和试验发展
生物活性肽精准制备技术研究与应用
以药食同源动植物主要原料，综合运用双酶切、膜过滤等现代食品加工，研制出分子量在400-500Da， ...
行业：生物药品制品制造
家畜S2疫苗免疫与羊/牛种布鲁氏菌感染的IELISA检测试剂
本发明提供一种家畜S2疫苗免疫与羊/牛种布鲁氏菌感染的IELISA检测试剂,所述IELISA检测试剂...
行业：工业与专业设计及其他专业技术服务
一株具有抗甜瓜枯萎菌和抗甜瓜疫霉菌活性的植物乳杆菌AB-4及其应用
本发明公开了一种具有抗甜瓜枯萎活性的植物乳杆菌Lactobacillus?plantarum?AB-...
行业：蔬菜、食用菌及园艺作物种植
Baidu
map