首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:从到   被引次数:从到   他引次数:从到 提示：输入*表示无穷大
全文获取类型
  收费全文   30篇
  免费   4篇
  国内免费   29篇
专业分类
教育   1篇
科学研究   37篇
综合类   25篇
出版年
  2022年   1篇
  2021年   1篇
  2012年   5篇
  2010年   3篇
  2009年   5篇
  2007年   2篇
  2005年   8篇
  2004年   6篇
  2003年   6篇
  2002年   16篇
  2001年   7篇
  1995年   2篇
  1994年   1篇
排序方式： 共有63条查询结果，搜索用时 0 毫秒
61.
给出了应用于不同系统的不变式的概述, 分析了彼此之间的关系, 进行了分类, 并探讨了其未来发展趋势.密码协议的形式化分析日渐引起人们的广泛关注.这导致了不变式生成与描述技术的发展.不变式是对入侵者可知和不可知消息的定义, 可用于协议认证和秘密性的证明, 从而成为许多协议形式化分析工具和技术的核心  相似文献   
62.
给出了构造秘密共享方案的一般框架,同时给出了一个结构简单、易于操作的具体方案  相似文献   
63.
冯登国 《中国科学院院刊》2022,37(11):1539-1542
  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号