退出
我的积分:
中文文献批量获取
外文文献批量获取
张协力; 祝跃飞; 顾纯祥; 陈熹;
数学工程与先进计算国家重点实验室 河南郑州 450001;
网络密码技术河南省重点实验室 河南郑州 450002;
协议实现; 形式化验证; Pi演算; 模型抽取; ProVerif;
机译:基于Pi演算的语义Web服务组合形式化描述与验证研究
机译:基于pi演算组合的语义Web服务形式化描述与验证研究。
机译:带有扩展Pi演算的QoS感知服务选择的粒子群优化器的形式化建模和实现
机译:使用pi演算对Borda协议进行形式化和分析
机译:用于移动应用程序的基于SIP的状态和动态发现协议的形式化,验证和可执行CPN模型。
机译:基于网络的健康关系工具和安全决策辅助工具(针对遭受家庭暴力的女性)的随机对照试验协议(I-DECIDE)
机译:基于pI演算的过程模型的形式化
机译:基于Estelle IsO形式描述技术的通信协议形式化设计
机译:基于Pi演算的消息传递处理器
机译:Gartar演算演算演算演算演算
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。