安全性规格相关硕士博士期刊学术论文 - 搜论网

安全性规格相关论文

基于CC的安全性规格形式化描述及验证方法

随着信息系统在社会生活中越来越重要,越来越必不可缺,人们对信息系统的安全性需求也不断地增加.不允许出现安全性漏洞的非常重要......

期刊

安全性规格 CC Z 时序逻辑形式化验证方法 security specification CC Z notation temporal logic for

欧盟生物类似药注册要求的风险管理计划

讨论生物类似药上市申请中的安全性监测要求,描述在风险管理计划中应该开展的工作,根据欧盟的法规提交风险管理计划和药物警戒系统......

期刊

生物类似药药物警戒计划风险管理计划安全性规格风险最小化工作欧盟

看过本文同时还关注