退出
我的积分:
中文文献批量获取
外文文献批量获取
关展鹏;
中山大学计算机科学系,04硕,广州510275;
KG逻辑; BAN逻辑 ; 3GPP ; AKA协议;
机译:RFID超轻量互认证协议的形式化分析与改进
机译:一种基于协议组成逻辑的形式化匿名的新方法
机译:基于链空间模型的3GPP SAE AKA协议分析与改进
机译:用于移动应用程序的基于SIP的状态和动态发现协议的形式化,验证和可执行CPN模型。
机译:执行逻辑计算的细菌联盟的形式化设计过程
机译:基于BaN逻辑的XYZ认证协议的形式化验证与改进
机译:基于定时重写逻辑的sDL规范形式化模型
机译:在与3GPP耦合的协议架构和信息元素相关的3GPP设备上通过微网和无线局域网(WLAN)传输基于数据/语音服务的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。