退出
我的积分:
中文文献批量获取
外文文献批量获取
葛艺; 黄文超; 熊焰;
中国科学技术大学计算机科学与技术学院;
形式化验证; 形式化建模; 协议代码; 污点分析; TAMARIN;
机译:用于基于模式的安全软件系统开发的安全模式建模和形式化
机译:基于随机Petri网的容错合同网协议建模与形式化分析
机译:基于Internet密钥交换协议的IPSec效率和安全性的形式化分析
机译:基于形式化建模和自动代码生成实现WebSocket协议
机译:跨学科的海盗行为海上安全风险研究方法以及从基于代理的建模中汲取的经验教训
机译:基于喷泉代码的性能比较和不使用非正交多次访问的基于安全MIMO协议
机译:sImmER-II LmFBR安全代码的流动状态建模研究:包层重新定位。
机译:基于网络协议确定二进制软件代码中的安全风险
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。