作者：刘贵堂 周正 周鲁苹软件行为可信度量静态分析可信计算
摘要：根据用户必需的软件中可能隐藏的缺陷或者破坏行为在整个软件中所占比例极低、而当前一般的恶意代码分析技术不适合此类软件的可信度量分析这种情况,提出了理想化的主体行为静态可信的强约束条件,然后结合软件业务流程的确定性、软件代码的可见性以及信息资产风险可评估性,提出了适合工程应用的主体行为静态可信的弱约束条件,并基于主体行为静态可信的弱约束条件构建了模型的实现框架,对用户必需的软件是否将如实地按照用户需求运行进行可信度量,提前确定软件中是否含有对信息系统或信息资产的潜在威胁,以便采取必要的防护措施。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《海军航空工程学院学报》（CN：37-1311/V）是一本有较高学术价值的大型双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《海军航空工程学院学报》获奖情况：首届中国高校特色科技期刊；第二届中国高校优秀科技期刊；全国高校科技期刊优秀编辑质量奖；2004年被科技部明确为“中国科技优秀期刊”、2004年评为“海军优秀期刊”、2003年被评为“解放军青岛地区院校协作中心优秀期刊”。
杂志详情
