搜索筛选:
搜索耗时1.3372秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者：Zhang Manjun,Pei Changxing,
来源：电子科学学刊：英文版 年份：2010
Security protocols are the basis of many mobile communication systems,thus it is important to ensure protocol property correct. Using Protocol Composition Logic...
相关搜索：
