搜索到245篇“ 逻辑安全“的相关文章
- 一种基于编码的通信应用层逻辑安全转换方法
- 本发明公开了一种基于编码的通信应用层逻辑安全转换方法，所述方法包括：获取外部接收数据；对所述外部接收数据进行安全解析，以完成接收单比特码位赋值；根据接收单比特码位，在线软件周期执行布尔逻辑运算，计算应用层接收码位、计算发...
- 许明旺季志均喻焰宁丽敏
- 一种低速同步串行总线的时序逻辑安全检测方法及装置
- 本发明实施例提供了一种低速同步串行总线的时序逻辑安全检测方法及装置，用以解决目前无法检测总线收发器中可能存在时序逻辑漏洞甚至硬件木马的问题。该方法包括：将仿真低速同步串行总线收发器与低速同步串行总线耦接，仿真低速同步串行...
- 桑胜田赵世平黄显澍肖新光
- 基于PROMELA的卫星自主控制逻辑安全性分析方法
- 2024年
- 随着微处理技术的发展,卫星自主控制逻辑日趋复杂。传统的使用流程图、程序走查、单元测试、系统测试的方法,存在过于依赖相关人员主观能力和无法遍历全部程序执行路径的问题。基于线性时态逻辑的SPIN验证工具可以对使用PROMELA建模的分布式有限状态系统执行路径进行遍历,并可判定使用线性时态逻辑(LTL)公式表达的安全性目标是否能够被满足。研究给出了一种使用PROMELA对卫星自主控制逻辑进行建模的方法,并以卫星自主分离过程判定过程为例,对实际分析和改进过程进行演示。
- 赵景晖
- 关键词：逻辑验证卫星设计
- 一种用于可信DCS系统的控制逻辑安全管控系统及方法
- 本发明公开了一种用于可信DCS系统的控制逻辑安全管控系统及方法，包括：安全权限管控模块，用于规划访问和操作权限，并发送控制逻辑安全检测指令；控制逻辑可信检测模块，用于对本地的控制逻辑组态文件的完整性进行检测以及对本地的控...
- 刘畅曹桦松张军焦龙李广亭王宾柳曦贾泽冰冯震震张斌杨柳王鑫
- 基于密码协议实现的逻辑安全检测方法
- 本发明公开基于密码协议实现的逻辑安全检测方法，包括以下步骤实现：S01：根据密码协议将要达成的安全目标，设计或改进密码协议；S02：获取密码协议，实行编码；S03：在不同的平台上运行密码协议，实现其行为轨迹和特征提取；S...
- 吴福生
- 一种业务逻辑安全测试方法、系统和存储介质
- 本申请提供一种业务逻辑安全测试方法、系统和存储介质，属于数据处理的技术领域。所述方法包括获取待检测应用中的待检测业务功能；根据待检测业务功能，确定成功实现待检测业务功能的目标操作序列，目标操作序列中包括按照顺序依次执行的...
- 刘帅甫
- 基于密码协议实现的逻辑安全检测方法
- 本发明公开基于密码协议实现的逻辑安全检测方法，包括以下步骤实现：S01：根据密码协议将要达成的安全目标，设计或改进密码协议；S02：获取密码协议，实行编码；S03：在不同的平台上运行密码协议，实现其行为轨迹和特征提取；S...
- 吴福生
- 文献传递
- 一种基于信息编码技术的PLC控制逻辑安全防护方法
- 本发明公开了一种基于信息编码技术的PLC控制逻辑安全防护方法。该方法作用于用户登录系统阶段和对PLC控制逻辑的编辑、编译、保存、下装、加载、运行阶段，编辑阶段对用户进行访问控制，对编辑生成的源代码进行完整性和保密性保护；...
- 赵德政郭肖旺郭佳赵悦琪张兴波康晋菊封成玉加舒娟李家鑫
- 车联网通信协议交互逻辑安全验证方法研究与实现
- 车载自组织网络将无线通信技术与现代汽车技术相结合,实现了车辆之间、车辆与道路基础设施之间的实时通信,能够有效提升道路交通安全和运输效率,为驾驶者提供更良好的驾驶体验。然而,无线通信的开放性导致车辆面临来自外部的各种威胁,...
- 王潇
- 关键词：车联网安全协议形式化验证
- 用于智能过程控制设备的离散逻辑安全系统
- 本公开的实施例涉及用于智能过程控制设备的离散逻辑安全系统。离散逻辑安全系统包括：心跳监测器，被操作性地耦接至过程控制设备的处理器，以监测处理器的第一条件；传感器监测器，被操作性地耦接至过程控制设备的传感器，以监测传感器的...
- K·简森W·S·雷蒙德E·斯特隆
- 文献传递
相关作者
- 冯涛
- 作品数：157被引量：569H指数：13
- 供职机构：兰州理工大学
- 研究主题：加密 隐私保护 车联网 身份 区块链
- 马建峰
- 作品数：1,200被引量：3,297H指数：24
- 供职机构：西安电子科技大学
- 研究主题：网络安全 加密 隐私保护 用户 密文
- 王雅哲
- 作品数：142被引量：198H指数：8
- 供职机构：中国科学院信息工程研究所
- 研究主题：身份 访问控制 制造业 敏感数据 电视
- 刘煜坤
- 作品数：33被引量：45H指数：5
- 供职机构：哈尔滨理工大学
- 研究主题：指纹 细节点 方向信息 信息获取方法 指纹图像识别
- 王丽丽
- 作品数：6被引量：17H指数：3
- 供职机构：兰州理工大学
- 研究主题：公钥 4G 逻辑安全 协议组合 网络接入
