搜索筛选:
搜索耗时3.3876秒,为你在为你在102,285,761篇论文里面共找到 5 篇相符的论文内容
发布年度:
[期刊论文] 作者：邓宸芳,
来源：警察天地 年份：1999
...
[期刊论文] 作者：邓宸芳,郭春明,
来源：警察天地 年份：1999
我们都有这种感觉,现在到派出所上户口,手续简便多了,民警态度好多了,办事效率高多了,群众满意多了……亮堂堂的户籍窗口,折射出十一届三中全会以来,我省户政管理工作取...
[期刊论文] 作者：肖美华,江耘,邓宸芳,马小薏,薛锦云,,
来源：计算机安全 年份：2006
形式化方法是提高软件系统,特别是safety-critical系统的安全性与可靠性的重要手段。安全协议的形式化分析正成为国际上的研究热点。用于安全协议分析的逻辑需要对入侵者进行形式化建模,用于刻画入侵者能力。我们运用一种基于算法知识概念的逻辑分析安全协议,入......
[会议论文] 作者：肖美华,邓宸芳,马小薏,薛锦云,江耘,
来源：第20次全国计算机安全学术交流会 年份：2005
形式化方法是提高软件系统,特别是safety-critical系统的安全性与可靠性的重要手段.安全协议的形式化分析正成为国际上的研究热点.用于安全协议分析的逻辑需要对入侵者进行形式化建模,用于刻画入侵者能力.我们运用一种基于算法知识概念的逻辑分析安全协议,入侵......
[会议论文] 作者：肖美华[1]邓宸芳[2]马小薏[2]薛锦云[3]江耘[1],
来源：第20次全国计算机安全学术交流会 年份：2005
形式化方法是提高软件系统,特别是safety-critical系统的安全性与可靠性的重要手段.安全协议的形式化分析正成为国际上的研究热点.用于安全协议分析的逻辑需要对入侵者进行形...
相关搜索：
