退出
我的积分:
中文文献批量获取
外文文献批量获取
公开/公告号CN112989395A
专利类型发明专利
公开/公告日2021-06-18
原文格式PDF
申请/专利权人 山东省计算中心(国家超级计算济南中心);
申请/专利号CN202110465793.4
发明设计人 陈振娅;杨明;吴晓明;杨美红;丁青艳;穆超;王鑫;王彪;王继志;
申请日2021-04-28
分类号G06F21/60(20130101);G06F21/46(20130101);
代理机构11227 北京集佳知识产权代理有限公司;
代理人杨威
地址 250000 山东省济南市经十路东首科学院路19号
入库时间 2023-06-19 11:29:13
法律状态公告日
法律状态信息
法律状态
2022-05-17
授权
发明专利权授予
机译: 密码算法的测试和验证方法和系统
机译: 基于不对称密码算法的可信标签生成与验证方法及系统
机译:一种基于SM4密码算法的DSP程序文件加密保 护技术研究
机译:一种基于状态转换表示转换的硬件/软件协同设计的形式化验证方法
机译:基于MARTE的模块化组合航空电子系统配置的形式化验证方法。
机译:分布式系统中的形式化软件验证方法
机译:一种利用残留号系统改进的DNA密码算法
机译:一种人机交互系统的形式化验证方法
机译:一种适用于基于agent的系统的形式化开发和验证方法
机译:走向超可靠计算机的形式化分析:一种全面的系统方法