退出
我的积分:
中文文献批量获取
外文文献批量获取
刘学锋; 石昊苏; 薛锐; 周径野;
湘潭大学;
信息工程学院;
湖南;
湘潭;
411105;
中国科学院;
软件研究所;
北京;
100080;
形式化分析; 串空间模型; 模型检测; 状态空间剪枝;
机译:在自动化(安全)工具中应用系统安全验证和验证公理
机译:使用二阶元胞自动机的会话密钥协议的新型快速,安全的相互远程用户身份验证协议
机译:通过自动化工具对SNMPv3协议中的身份验证进行形式安全性分析
机译:自动验证安全认证协议。
机译:更正:针对各种文化和生态环境中的家庭水不安全性度量工具的开发和验证协议:家庭水不安全性体验(HWISE)量表
机译:Seve:用于验证安全协议的自动工具
机译:网络协议自动验证工具
机译:加密协议安全验证设备,加密协议设计设备,加密协议安全验证方法,加密协议设计方法,加密协议安全验证程序和加密协议
机译:密码协议安全验证设备,密码协议设计设备,密码协议安全验证方法,密码协议设计方法和计算机程序产品
机译:marzialmatic扣-用于在运输工具上进行安全带数字化测试的扣环,在常规服务中可实现自动担保。带有自动安全释放间隔和数字化测试记录仪的开发装置,用于安全带的情况,并验证速度冲击。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。