基于形式化验证技术的双系统之间可信安全通信的方法，属于信息处理技术领域，为解决当前系统使用了大量指针，内核对象所占用的内存也是随机分配的，执行过程中的状态也过多且不确定，所以没有办法进行形式化验证的技术问题；本发明通过重新构建双系统

本发明涉及信息处理技术领域，具体涉及一种双系统通信形式化设计与验证方法，包括以下步骤：步骤1：接收双系统间实时传输的控制指令并监测双系统间连接应用网络是否安全；步骤2：步骤1中双系统间连接应用网络安全监测结果为否，断开双系统网络连接，监...

本申请公开了一种基于可信运算环境的设备风险控管系统及检测方法，其中，基于可信运算环境的设备风险控管检测方法包括：T1：接收安全检测请求；T2：根据安全检测请求获取待检测数据，执行检测模组对待检测数据进行安全检测并生成安全检测结果，若安全...

本申请公开了一种安全内存实现方法及其系统，其中，安全内存实现系统，包括：设置于安全执行环境端的人脸算法和安全内存服务；设置于一般执行环境端的客户端程序、相机服务、安全内存分配器和安全内存；还包括相机硬件。本申请具有可以快速部属的安全内存...