位置：成果数据库 > 期刊 > 期刊详情页
TSPVT：一个有效的时间敏感安全协议验证工具
  • 期刊名称：清华大学学报(自然科学版)/Journal of Tsinghua University
  • 时间：0
  • 页码：1513-1520
  • 语言：中文
  • 相关项目：面向性质的可信软件建模与时序性质验证及支持工具
作者： 周倜|李舟军|赵倩倩|
同期刊论文项目
面向性质的可信软件建模与时序性质验证及支持工具
期刊论文 25 会议论文 13
同项目期刊论文
写污点值到污点地址漏洞模式检测
CILinear:一个线性不变式自动构造工具
主动Web漏洞扫描中的场景技术研究
基于差分方程和最优化问题计算程序复杂度符号化上界
基于QBF循环不变式构造技术
基于模型检验的构件验证技术研究进展
QBF求解算法研究
Authenticated Key Exchange Protocol with Selectable Identities
QBF求解算法研究综述
Digital multisignature on the generalized conic curve over Zn
一种基于SAT 的C 程序缓冲区溢出漏洞检测技术
基于可执行代码的漏洞检测技术
安全协议逻辑程序不停机性快速预测的动态方法
基于差分方程计算循环复杂度符号化上界
防御代码注入式攻击的字面值污染方法
无文件系统嵌入式固件后门检测
软件安全漏洞检测技术
基于P2P系统的DDoS攻击及其防御技术研究综述
基于时间序列分析的网络流量预测模型研究
基于面向服务架构的网上支付安全体系研究与实现
基于双难题的环Z_n上圆锥曲线的数字签名
高性能网络爬虫：研究综述