QQ客服 官方微博 反馈留言

浏览/检索结果: 共3条，第1-3条 帮助 限定条件 发表日期：2016     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 运用栅栏函数验证连续系统的有界时间安全性 其他 2016-01-01 甘庭; 夏壁灿 收藏  |  浏览/下载：5/0  |  提交时间：2017/12/03 连续系统  安全性验证  栅栏函数  半定规划  平方和  continuous system  safety verification  barrier certificate  SDP (semi-definite programming)  SOS (sum of squares)   分析网络安全协议在计算机通信技术当中的作用 期刊论文 电脑迷, 2016, 卷号: 第4期, 页码: 182，190 作者:  李菲菲 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/25 网络安全协议  计算机通信技术  分析计算机  安全性分析  网络攻击  计算机网络通信  网络通信安全  身份验证  时间戳  消息处理   基于抽象不变式的程序安全性验证 期刊论文 清华大学学报(自然科学版), 2016, 卷号: 56, 页码: 777-784 作者:  张;  钱俊彦;  李舟军;  马殿富 收藏  |  浏览/下载：6/0  |  提交时间：2019/12/30 抽象解释  不变式验证  不动点  程序安全性验证