退出
我的积分:
中文文献批量获取
外文文献批量获取
吴铮; 段友祥;
中国石油大学计算机与通信工程学院;
Pi演算; SOAP; XML重写攻击; 验证;
机译:pi演算中的结构重写
机译:基于Pi演算的语义Web服务组合形式化描述与验证研究
机译:基于pi演算组合的语义Web服务形式化描述与验证研究。
机译:基于Pi演算的UML2序列图验证方法
机译:密码协议和浏览器的重写逻辑中的安全模型。
机译:正式交换MIM图的正式MIM规范和工具:基于XML的格式API和验证方法
机译:基于重写的XML更新验证
机译:在反应中搜索窄反pp状态pi exp - p表示p pi exp - 16 GeV / C时的反pp
机译:基于Pi演算的消息传递处理器
机译:基于奇偶校验的安全权验证协议,其中包括一种噪声,该噪声能够防止攻击者通过暴露而受到中间攻击,从而防止了攻击者想要攻击的位置的位值
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。