-
公开(公告)号:CN104520867A
公开(公告)日:2015-04-15
申请号:CN201380041361.4
申请日:2013-03-15
Applicant: 北卡罗莱纳州立大学
CPC classification number: G06F21/50 , G06F11/3024 , G06F11/3089 , G06F21/53 , G06F2201/815 , G06F2221/034
Abstract: 公开一种用于目标装置的主动监测、存储器保护和完整性验证的方法、系统和计算机可读介质。例如,在目标装置上配置(instantiate,实例化)正常界虚拟处理器和安全界虚拟处理器。在正常界虚拟处理器上执行目标操作系统。在安全界虚拟处理器上执行完整性验证代理。在正常界虚拟处理器上尝试的一个或更多个预定操作被困制于安全界虚拟处理器。完整性验证代理用于确定在目标装置上执行所述被困制操作的效果。
-
公开(公告)号:CN104520867B
公开(公告)日:2017-10-31
申请号:CN201380041361.4
申请日:2013-03-15
Applicant: 北卡罗莱纳州立大学
CPC classification number: G06F21/50 , G06F11/3024 , G06F11/3089 , G06F21/53 , G06F2201/815 , G06F2221/034
Abstract: 公开一种用于目标装置的主动监测、存储器保护和完整性验证的方法、系统和计算机可读介质。例如,在目标装置上配置(instantiate,实例化)正常界虚拟处理器和安全界虚拟处理器。在正常界虚拟处理器上执行目标操作系统。在安全界虚拟处理器上执行完整性验证代理。在正常界虚拟处理器上尝试的一个或更多个预定操作被困制于安全界虚拟处理器。完整性验证代理用于确定在目标装置上执行所述被困制操作的效果。
-