相关定义-[共4页]-99-可信计算远程证明与应用-人民邮电出版社-闫建红.pdf-闫建红-人民邮电出版社
文本预览下载声明
5.2软件行为和证明信息基85软件行为符合软件预期行为描述集中的相关规则,则认为软件是可信的,否则说明软件不可信。这种基于软件行为动态完整性度量方法的研究是初步的,还需要进一步深入研究。HuanguoZ等人利用一棵行为树,提出了一种基于行为
显示全部
5.2软件行为和证明信息基85软件行为符合软件预期行为描述集中的相关规则,则认为软件是可信的,否则说明软件不可信。这种基于软件行为动态完整性度量方法的研究是初步的,还需要进一步深入研究。HuanguoZ等人利用一棵行为树,提出了一种基于行为