-
公开(公告)号：CN111708574B
公开(公告)日：2023-03-31
申请号：CN202010470472.9
申请日：2020-05-28
Applicant: 中国科学院信息工程研究所
IPC: G06F9/30
Abstract: 本发明实施例提供一种指令流压缩、解压缩方法及装置。其中，压缩方法包括：对于待压缩指令流中的任一条指令，根据指令中各部分是否存在及长度，生成标志位，作为压缩后的指令的第一个字节；对于指令中存在的任一部分，对部分进行编码，将编码结果作为压缩后的指令中部分对应的字节，获得进行单指令压缩之后的待压缩指令流；根据LZMA压缩算法，对进行单指令压缩之后的待压缩指令流进行指令间冗余的压缩。本发明实施例通过考虑指令内部以及指令之间的冗余关系，实现基于标志位推导的压缩方法，能极大地提升指令流的压缩效果、提高压缩率。
-
公开(公告)号：CN111767207B
公开(公告)日：2021-05-28
申请号：CN202010450338.2
申请日：2020-05-25
Applicant: 中国科学院信息工程研究所
Abstract: 本发明实例提供一种应用于处理器微结构侧信道防御措施的安全性测试方法，该方法包括：设置处理器微结构模型的初始状态；处理器微结构模型执行抽象的受害者和攻击者程序中的当前抽象指令，若触发的状态迁移满足状态转移条件，获取下一状态；将下一状态加入目标状态序列，并将其作为初始状态；重复上述步骤，直到执行完成所有抽象指令，获取目标状态序列树，若判断获知目标状态序列树中存在状态序列与标准状态序列相同，则防御措施无效，否则有效。本发明可以覆盖到Cache外的微结构组件，并且可以分析Cache侧信道以外的微结构侧信道安全性；并且，只专注于安全性测试，降低了测试过程的复杂度和规模。
-
公开(公告)号：CN111708574A
公开(公告)日：2020-09-25
申请号：CN202010470472.9
申请日：2020-05-28
Applicant: 中国科学院信息工程研究所
IPC: G06F9/30
Abstract: 本发明实施例提供一种指令流压缩、解压缩方法及装置。其中，压缩方法包括：对于待压缩指令流中的任一条指令，根据指令中各部分是否存在及长度，生成标志位，作为压缩后的指令的第一个字节；对于指令中存在的任一部分，对部分进行编码，将编码结果作为压缩后的指令中部分对应的字节，获得进行单指令压缩之后的待压缩指令流；根据LZMA压缩算法，对进行单指令压缩之后的待压缩指令流进行指令间冗余的压缩。本发明实施例通过考虑指令内部以及指令之间的冗余关系，实现基于标志位推导的压缩方法，能极大地提升指令流的压缩效果、提高压缩率。
-
公开(公告)号：CN111767207A
公开(公告)日：2020-10-13
申请号：CN202010450338.2
申请日：2020-05-25
Applicant: 中国科学院信息工程研究所
Abstract: 本发明实例提供一种应用于处理器微结构侧信道防御措施的安全性测试方法，该方法包括：设置处理器微结构模型的初始状态；处理器微结构模型执行抽象的受害者和攻击者程序中的当前抽象指令，若触发的状态迁移满足状态转移条件，获取下一状态；将下一状态加入目标状态序列，并将其作为初始状态；重复上述步骤，直到执行完成所有抽象指令，获取目标状态序列树，若判断获知目标状态序列树中存在状态序列与标准状态序列相同，则防御措施无效，否则有效。本发明可以覆盖到Cache外的微结构组件，并且可以分析Cache侧信道以外的微结构侧信道安全性；并且，只专注于安全性测试，降低了测试过程的复杂度和规模。
-
-
-
Search Results
4
records
(took 0.027 seconds)
