专利名称
主分类
A 农业
B 作业;运输
C 化学;冶金
D 纺织;造纸
E 固定建筑物
F 机械工程、照明、加热
G 物理
H 电学
专利下载VIP
公布日期
2023-10-24 公布专利
2023-10-20 公布专利
2023-10-17 公布专利
2023-10-13 公布专利
2023-10-10 公布专利
2023-10-03 公布专利
2023-09-29 公布专利
2023-09-26 公布专利
2023-09-22 公布专利
2023-09-19 公布专利
更多 »
专利权人
国家电网公司
华为技术有限公司
浙江大学
中兴通讯股份有限公司
三星电子株式会社
中国石油化工股份有限公司
清华大学
鸿海精密工业股份有限公司
松下电器产业株式会社
上海交通大学
更多 »
钻瓜专利网为您找到相关结果12个,建议您升级VIP下载更多相关专利
  • [发明专利]网络协议安全建模方法-CN201210245424.5无效
  • 李晓红;谢肖飞;陈世展;饶国政;曹坤宇;韩卓冰 - 天津大学
  • 2012-07-16 - 2012-11-14 - H04M1/725
  • 本发明公开了一种网络协议安全建模方法,包括以下步骤:步骤一、针对网络协议的定义包括语法、语义与规则进行抽象得到多个CSP进程,由所述进程通过进程代数算子得到网络协议基本模型;步骤二、针对入侵者的内容包括语法、语义与规则进行抽象得到多个CSP进程,由所述进程通过进程代数算子得到入侵者模型;步骤三、由所述网络协议基本模型与所述入侵者模型得到相互关联的协议模型;步骤四,进行验证和分析,得到缺陷。与现有技术相比,本发明通过在设计阶段对网络协议进行形式化的建模,可以准确的描述协议,进而对协议模型进行验证,可以提早发现协议的缺陷。
  • 网络协议安全建模方法
  • [发明专利]一种基于形式化及统一软件模型的软件可信工程方法-CN201110046569.8无效
  • 李晓红;曹坤宇;陈世展;饶国政;邢金亮;曹燕 - 天津大学
  • 2011-02-25 - 2011-07-27 - G06F21/00
  • 本发明公开了一种基于形式化及统一软件模型的软件可信工程方法,属于软件可信领域,所述方法包括以下步骤:基于形式化语言、传统UML视图,构建包含软件需求设计信息、软件实现信息和运行环境信息的统一软件模型;根据软件可信工程技术架构,进行所述统一软件模型的一致性和有效性验证,并自动生成单元测试实例;构建基于所述统一软件模型的软件安全缺陷知识库;基于所述软件安全缺陷知识库,通过形式化语言定理证明机,发现所述统一软件模型中潜在的软件安全缺陷;并根据所述潜在的软件安全缺陷给出相应的缓和方案。本方法有效的提高了软件质量、消除了设计缺陷、降低了开发成本和提高了可维护性等有益效果,解决了传统软件工程的不足。
  • 一种基于形式化统一软件模型可信工程方法

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

400-8765-105周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top