退出
我的积分:
中文文献批量获取
外文文献批量获取
解云峰; 李之棠; 石曙东;
中国通信学会;
中国互联网协会;
安全协议; 形式化方法; 串空间模型; 扩展性; 自动检验技术; 密码学;
机译:使用模型检查对Ariadne安全路由协议进行形式化安全分析
机译:基于Internet密钥交换协议的IPSec效率和安全性的形式化分析
机译:ECK2007模型与其他密钥协商协议模型安全强弱关系的形式化证明
机译:串空间模型中的多方合同签署协议及其形式分析
机译:用于移动应用程序的基于SIP的状态和动态发现协议的形式化,验证和可执行CPN模型。
机译:协议和危害法规中的安全推理形式化。
机译:基于定性和定量形式化模型的安全性分析:按安全性按钮
机译:使用NpaTRL和NRL协议分析器(预印本)对代表协议的组域进行形式化规范和分析
机译:监测量新能源的基于元模型的协议的小量传输的数据传输方法,基于监测量新能源的基于元模型的协议的小量传输数据传输系统
机译:用于监视新可再生能源的电量数据的基于元模型的协议的小批量传输的数据转换方法和用于监视新可再生能源的电量数据的基于元模型的协议的小批量传输的数据传输系统
机译:使用基于加密安全协议的通信的客户端服务器注册方法和使用基于加密安全协议的通信的客户端与服务器之间的服务器验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。