旁路攻击漏洞形式化验证方法及装置

    公开(公告)号:CN113138721B

    公开(公告)日:2022-11-29

    申请号:CN202110481070.3

    申请日:2021-04-30

    Abstract: 本发明提供一种旁路攻击漏洞形式化验证方法及装置,方法包括:将缓存旁路攻击描述为访存操作的组合,以建立访存操作模型;将缓存模型建立为缓存状态机;根据安全规范、时间结果和第一路径规范对缓存状态机进行形式化验证,以确定缓存状态机是否存在缓存旁路攻击漏洞。所述装置用于执行上述方法。本发明提供的旁路攻击漏洞形式化验证方法及装置,对处理器访存操作和缓存设计进行建模,建模方式具有可扩展性,适用于多种硬件或软件缓存设计,只需编写要测试的缓存设计模型,就可以高效自动地对缓存设计是否存在旁路攻击漏洞进行全面分析以及自动化的验证,可以适用于不同的处理器和指令集平台。

    一种基于视频的心理压力测量方法及其系统

    公开(公告)号:CN112597949B

    公开(公告)日:2022-10-18

    申请号:CN202011601494.0

    申请日:2020-12-29

    Applicant: 清华大学

    Abstract: 本申请公开了一种基于视频的心理压力测量方法及其系统,其中,基于视频的心理压力测量方法,包括如下步骤:接收待测量视频;利用人脸检测算法对待测量视频进行人脸检测,检测到人脸后,选取人脸特征点;根据人脸特征点动态选取感兴趣区域位置;计算感兴趣区域位置内像素各通道亮度值,获取PPG波形;对PPG波形进行预处理,得到处理后PPG波形;对处理后PPG波形进行处理,提取处理后PPG波形的多个特征;将处理后PPG波形的多个特征输入进预先训练好的机器学习模型中进行认知负载程度分类,给出分类结果,实现认知负载测量。本申请具有能够通过视频远程对人的心理压力进行实时、非接触式测量,且可靠性高的技术效果。

    一种基于可穿戴设备进行身份认证的方法及装置

    公开(公告)号:CN111062021B

    公开(公告)日:2022-03-11

    申请号:CN201911319567.4

    申请日:2019-12-19

    Applicant: 清华大学

    Abstract: 本申请公开一种基于可穿戴设备进行身份认证的方法及装置。所述方法包括通过用户佩戴的可穿戴设备中的信号采集装置采集PPG信号;对采集到的PPG信号进行预处理,得到待认证PPG波形数据;将待认证PPG波形数据与预存的目标用户模板输入预先训练好的SNN身份认证模型中,根据SNN身份认证模型输出的相似度判定待认证PPG波形数据是否与预存目标用户模板匹配。通过可穿戴设备采集用户PPG信号以实现身份认证,能够减少用户操作,有效地应用在更广泛的生活场景中,而且使用SNN身份识别模型能够显著提高识别的准确率和精确度,同时显著降低识别误识率和误拒率。

    一种信息交互系统及方法

    公开(公告)号:CN105681334A

    公开(公告)日:2016-06-15

    申请号:CN201610119111.3

    申请日:2016-03-02

    Applicant: 清华大学

    CPC classification number: H04L63/10 G06F21/6218 G06F21/78

    Abstract: 本发明公开了一种信息交互系统及方法,所述系统包括:客户端,用于向网络接入设备发送用户输入的读取请求;网络接入设备,用于当确定读取请求所请求的是第一网络中的第一网络数据时,则从第一网络存储空间中获取所述第一网络数据,并将获取到的第一网络数据下发至客户端,或者,通过第二网络向网络服务中心发送读取请求;网络服务中心,用于当对读取请求认证通过后,从第一网络获取第一网络数据,并将获取的第一网络数据通过第二网络下发至第二网络存储空间;网络接入设备,还用于从第二网络存储空间将第一网络数据下发至客户端,其中,第一网络是拥有安全数据的网络,第二网络是拥有安全数据和/或不安全数据的网络。

    支持泛在设备和传感器即插即用的网关及其运行方法

    公开(公告)号:CN103326938B

    公开(公告)日:2016-05-18

    申请号:CN201310245160.8

    申请日:2013-06-19

    Applicant: 清华大学

    Abstract: 一种支持泛在设备和传感器即插即用的网关及其运行方法,包括网关主管理模块,与网关主管理模块相连的调度管理模块和设备退出管理模块,与调度管理模块相连的缓存管理模块;网关主管理模块负责处理、解析设备初次加入网关时的通知信息;缓存管理模块负责从基于网络的服务器下载设备驱动、应用程序;调度管理模块负责将驱动、应用程序从缓存加载到内存并对系统中运行的应用程序进行调度管理;设备退出管理模块负责设备退出时释放占用的系统资源;本发明通过设备与网关通信获取基本的设备描述信息,实现设备驱动和应用程序的自动化加载;建立设备工作模型,对缓存与调度进行优化,在网关资源受限的情况下,有效增加了系统吞吐量和提高了系统性能。

    远程云胎心监护系统
    16.
    发明授权

    公开(公告)号:CN102920483B

    公开(公告)日:2015-02-18

    申请号:CN201210431124.6

    申请日:2012-11-01

    Applicant: 清华大学

    Abstract: 本发明提供了远程云胎心监护系统,包括胎心监护设备终端、中央服务器和医生客户端,胎心监护设备终端和医生客户端通过中央服务器相通信连接,所述胎心监护设备终端包括相通信连接的数据采集模块,数据处理模块和语音处理模块;所述中央服务器包括相通信连接的数据管理模块和资源调度模块;所述医生客户端包括相通信连接的数据处理模块和语音处理模块;本系统能够将胎儿及孕妇本身的生理指标实时的传送到医院,医生可通过得到的生理信息,通过本发明的语音和视频通道,同步的对孕妇进行指导,从而达到孕妇在家也能享受到医院的各种医疗资源。

    社区自助健康监护系统
    17.
    发明公开

    公开(公告)号:CN102670307A

    公开(公告)日:2012-09-19

    申请号:CN201210122797.3

    申请日:2012-04-24

    Applicant: 清华大学

    Abstract: 社区自助健康监护系统,包括用于使当前用户测量其身体状况的医疗设备模块、从医疗设备模块中采集测量数据的设备采集模块、作为用户界面的自助服务模块以及架设于远程服务器上的医疗应用模块,本发明监测功能全面,成本低,占地面积小,易于普及,并集健康监测与医疗监护为一体,在用户测量完成得到测量结果后会自动分析健康数据,得出用户现在的健康状态,并通过与医疗应用服务的合作,指导用户用药以及治疗。

    一种处理器微架构监测方法及装置

    公开(公告)号:CN115269309A

    公开(公告)日:2022-11-01

    申请号:CN202210752152.1

    申请日:2022-06-28

    Abstract: 本发明提供一种处理器微架构监测方法及装置。该方法包括:基于组件控制模块对待测试处理器的调试状态进行控制,并基于数据获取模块获取待测试处理器的直接监测数据;组件控制模块和数据获取模块位于调试处理器的内核空间;将直接监测数据传入预先基于数据传输设备驱动模块创建的内存空间内,利用监测数据分析模块读取内存空间内的直接监测数据进行分析;数据传输设备驱动模块位于调试处理器的内核空间,监测数据分析模块位于调试处理器的用户空间。本发明提供的处理器微架构监测方法,能够有效提高处理器微架构监测的可靠性、稳定性和可扩展性,从而提升处理器微架构监测效果。

    一种兵棋对弈模拟方法及装置
    19.
    发明公开

    公开(公告)号:CN114997054A

    公开(公告)日:2022-09-02

    申请号:CN202210616279.0

    申请日:2022-05-31

    Applicant: 清华大学

    Abstract: 本发明提供一种兵棋对弈模拟方法及装置,所述方法包括以下步骤:获取对弈双方的兵力部署方案;获取所述对弈双方的动作指令,根据所述动作指令对相应的兵力实体模型进行对弈操作,反馈操作结果,所述对弈双方根据所述对弈结果生成下一步的动作指令;记录所述对弈双方的对弈过程和最终的对弈结果;其中,所述兵力实体模型是通过提取所述兵力部署方案中兵力实体的属性,基于所述兵力实体的属性中各功能参数对所述兵力实体进行建模得到的。本发明的技术方案实现对兵棋对弈的多功能模拟,在对兵力实体进行建模的过程中通过兵力实体功能属性的模拟,使得本发明的模拟方法及装置能够适应主流的强化学习算法。

    一种对弈方案生成方法及装置
    20.
    发明公开

    公开(公告)号:CN114997053A

    公开(公告)日:2022-09-02

    申请号:CN202210616219.9

    申请日:2022-05-31

    Applicant: 清华大学

    Abstract: 本发明提供一种对弈方案生成方法及装置,所述方法包括以下步骤:获取初始任务目标;基于所述初始任务目标、预存的攻击方的第一基础信息和防守方的第二基础信息,生成约束条件;基于所述约束条件,计算所述攻击方攻击所述防守方时的资源分配方案;所述资源分配方案中至少包括所述攻击方中各单位的初始位置;以所述初始位置为起点位置,在预设的攻击范围内随机选取进攻点作为终点位置,并根据所述起点位置和所述终点位置,生成规划路径;将所述资源分配方案和所述规划路径作为目标对弈方案。本发明有效降低了即时策略类游戏或模拟器的对弈数据样本生成的开销,可用于其生成基于此环境下强化学习训练所需的样本。

Patent Agency Ranking