位置:成果数据库 > 期刊 > 期刊详情页
Semantic Interoperability Aggregation in Service Requirements Refinement
  • ISSN号:1000-9000
  • 期刊名称:Journal of Computer Science and Technology
  • 时间:0
  • 页码:1103-1117
  • 分类:TP393.08[自动化与计算机技术—计算机应用技术;自动化与计算机技术—计算机科学与技术]
  • 作者机构:[1]铜仁学院数学与计算机科学系,贵州554300, [2]南开大学信息技术科学学院,天津300071
  • 相关基金:国家自然科学基金(编号:60970017,铜仁学院科研启动基金(编号:TS10013,TS10017,TS100018)资助
  • 相关项目:基于软件体系结构知识的软件架构过程及其关键技术研究
中文摘要:

信息安全是信息社会存在的根基,而密码学是信息安全技术的核心部分,因此,对密码方案或协议的设计与应用的安全性成为人们最为关注的问题。本文首先介绍随机预言模型(RO)及相关的归约论断和敌手模型定义,并运用这种模型对公钥加密方案进行了安全性分析,同时给出了证明,结果达到预期的安全性目标。

英文摘要:

Information Security is the fundamentality of the security society,but the cryptography is the key technology of information seCurity, so the security of design and application to crypto scheme or protocol becomes the most focus issue for people.First,this paper introduction the RO model,correlation induction judgement and define adversary model,then analyzing and proving the security of the scheme of public key with this model,and achieved the expectation result.

同期刊论文项目
同项目期刊论文
期刊信息
  • 《计算机科学技术学报:英文版》
  • 中国科技核心期刊
  • 主管单位:
  • 主办单位:中国科学院计算机技术研究所
  • 主编:
  • 地址:北京2704信箱
  • 邮编:100080
  • 邮箱:jcst@ict.ac.cn
  • 电话:010-62610746 64017032
  • 国际标准刊号:ISSN:1000-9000
  • 国内统一刊号:ISSN:11-2296/TP
  • 邮发代号:2-578
  • 获奖情况:
  • 国内外数据库收录:
  • 被引量:505