退出
我的积分:
中文文献批量获取
外文文献批量获取
公开/公告号CN108376221B
专利类型发明专利
公开/公告日2021-07-13
原文格式PDF
申请/专利权人 哈尔滨工业大学;
申请/专利号CN201810164479.0
发明设计人 孙超;高昕睿;许永辉;刘晓东;
申请日2018-02-27
分类号G06F21/57(20130101);
代理机构23109 哈尔滨市松花江专利商标事务所;
代理人杨立超
地址 150001 黑龙江省哈尔滨市南岗区西大直街92号
入库时间 2022-08-23 12:07:58
机译: 基于安全性管理模型的工业环境中基于认证的安全性政策检查与验证系统
机译: 基于“紧”安全性证明的签名生成方法,基于DIFFIE-HELLMAN模型的关联验证方法和关联签名方案
机译: 基于diffie-hellman模型的具有“紧密”安全性证明的签名生成方法,相关的验证方法和签名方案
机译:扩展AADL模型的安全性,可靠性和性能分析
机译:一种基于模型的,基于模型的临床开发安全性评估方法
机译:基于AADL模型扩展的软件系统安全验证与评估方法
机译:扩展基于实例的数据模型:语义,性能和安全性考虑。
机译:一种基于模型的基于模型的临床开发安全性评估方法
机译:使用aaDL的错误附件和故障传播模型对基于架构的安全评估方法进行比较研究
机译:使用Delphi方法扩展基于策略的风险模型:在研发(R&D)卫星验证过程中的应用