Istituto di Informatica e Telematica -CNR Via G. Moruzzi, 1 -I-56100 PISA, Italy;
机译:联系多集重写和过程代数以进行安全协议分析
机译:多集重写和有限安全协议的复杂性
机译:链空间和多集重写之间的安全协议分析比较
机译:重新加工过程代数和Multiset重写即时解密协议
机译:Excalibur关键代表DAG分层解密协议
机译:描述复杂度的多级多集时间序列模型发展过程
机译:为即时解密协议关联处理代数和多集重写
机译:安全协议的类型化多重写重写规范