|
已选(0)清除
条数/页： 排序方式：
|
| 工业以太网EtherCAT协议形式化安全评估及改进 期刊论文
计算机研究与发展, 2020, 期号: 2020-11, 页码: 2312-2327
作者: 冯涛; 王帅帅; 龚翔; 方君丽
  收藏 | 浏览/下载：15/0 | 提交时间：2020/12/18
|
| 时滞动态系统的形式验证与控制生成 学位论文
博士, 北京: 中国科学院大学, 2019
作者: 陈明帅
收藏 | 浏览/下载：62/0 | 提交时间：2019/06/10
|
| 基于随机障碍验证的随机连续系统安全性验证 期刊论文
计算机应用, 2018, 卷号: 38, 页码: 1737-1744,1750
作者: 沈敏捷[1]; 曾振柄[2]; 林望[3]; 杨争峰[4]
收藏 | 浏览/下载：4/0 | 提交时间：2019/04/22
|
| 一种无人机群网络安全通信实现及验证方法 期刊论文
通信技术, 2018, 期号: 10, 页码: 2470-2475
作者: 施君宇; 彭美璇; 丁雪雯
收藏 | 浏览/下载：9/0 | 提交时间：2019/12/11
|
| 基于ECC的具有前向安全性的VSS方案 期刊论文
2018, 卷号: 28, 期号: 4, 页码: 157
作者: 韦性佳[1]; 张京花[1]; 芦殿军[1]
收藏 | 浏览/下载：5/0 | 提交时间：2019/12/30
|
| 隧道锚抗拔承载力及安全性评估方法 期刊论文
中国公路学报, 2018, 卷号: 31.0, 期号: 009, 页码: 95
作者: 王东英; 汤华; 尹小涛; 秦雨樵; 邓琴
收藏 | 浏览/下载：9/0 | 提交时间：2021/05/25
|
| 运用栅栏函数验证连续系统的有界时间安全性 其他
2016-01-01
甘庭; 夏壁灿
收藏 | 浏览/下载：5/0 | 提交时间：2017/12/03
|
| 分析网络安全协议在计算机通信技术当中的作用 期刊论文
电脑迷, 2016, 卷号: 第4期, 页码: 182，190
作者: 李菲菲
收藏 | 浏览/下载：3/0 | 提交时间：2019/12/25
|
| 基于抽象不变式的程序安全性验证 期刊论文
清华大学学报(自然科学版), 2016, 卷号: 56, 页码: 777-784
作者: 张; 钱俊彦; 李舟军; 马殿富
收藏 | 浏览/下载：6/0 | 提交时间：2019/12/30
|
| A hybrid biometric identification framework for high security applications 期刊论文
中国计算机科学前沿：英文版, 2015, 期号: 03
作者: Xuzhou LI[1,2]; Yilong YIN[1]; Yanbin NING[1]; Gongping YANG[1]; Lei PAN[1]
收藏 | 浏览/下载：4/0 | 提交时间：2019/12/17
|
