搜索筛选:
搜索耗时3.2618秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[会议论文] 作者：肖美华[1]邓宸芳[2]马小薏[2]薛锦云[3]江耘[1],
来源：第20次全国计算机安全学术交流会 年份：2005
形式化方法是提高软件系统,特别是safety-critical系统的安全性与可靠性的重要手段.安全协议的形式化分析正成为国际上的研究热点.用于安全协议分析的逻辑需要对入侵者进行形...
相关搜索：
