安全网络数学计算协议(英文)

doi:10.7523/j.issn.2095-6134.2002.3.008

中国科学院大学学报 ›› 2002, Vol. 19 ›› Issue (3): 271-277.DOI: 10.7523/j.issn.2095-6134.2002.3.008

安全网络数学计算协议(英文)

林东岱¹, 宋志敏², Paul S. Wang³

1. 中国科学院软件所信息安全国家重点实验室, 北京 100080;
2. 中国科学院软件所信息安全工程技术中心, 北京 100080;
3. Instiute for　Computational　Mathematics, Department　of　Computer　Science, Kent　State　University, Kent, Ohio　44242, U. S. A；

收稿日期:2002-06-06 发布日期:2002-05-18
作者简介:LIN Dong-Dai, male, born in April 1964, research professor
基金资助:
the　chinese　national　973　project　（NKBRSF　G1998030609　）;863　Project　（2001AA144030）work　reportecd　herein　has　been　supported　in　part　by　the　national　science　foundation　under　（ccr-0201772,　int-9722919）　and　in　part　by　t

A Secure Mathematical Computation Protocol

LIN Dong-Dai¹, SONG Zhi-Min², PAUL S. WANG³

1. State Key Laboratory of Information Security, Institute of Softuxire, Chinese Academy of Sciences, Beijing 1000802
2. ERCIST, Institute of Softuxire, Chinese Academy of Sciences, Beijing 100080;
3. Institute for Computational Mathematics, Department of Computer Science, Kent State University, Kerzt, ()hio 44242, U. S. A)

Received:2002-06-06 Published:2002-05-18

摘要/Abstract

摘要：

讨论了网络数学计算框架 IAMC的安全性问题,给出了一个用安全协议 SSL/TIS提高数学计算协议MCP安全性的实现方案.改进后的网络数学计算框架可有效地提供计算数据的机密性、完整性和用户认证等安全功能.

关键词: 网络数学计算, 安全协议, 数学计算协议（MCP协议）, SSL/TLS协议

Abstract:

The Internet Accessible Mathematical Computation (IAMC) framework makes supplying/accessing mathematical computation easy on the Internet/Web. In this paper, the vulnerabilities of the current IAMC framework is discussed. A scheme for incorporating SSL/TLS protocol into the current Mathematical Computation Protocol is presented. The resulting secure Mathematical Computation Protocol can then provide crypto-graphic authentications, data privacy and integrity.

Key words: internet accessible Mathematical computation, mathematical computation protocol, secure protocal, SSL/TLS

中图分类号:

TP393.08

林东岱, 宋志敏, Paul S. Wang. 安全网络数学计算协议(英文)[J]. 中国科学院大学学报, 2002, 19(3): 271-277.

LIN Dong-Dai, SONG Zhi-Min, PAUL S. WANG. A Secure Mathematical Computation Protocol[J]. , 2002, 19(3): 271-277.

[1]	邵秀凤, 李荣花. 关于一个数值比较协议的安全性证明[J]. 中国科学院大学学报, 2011, 28(2): 262-265.
[2]	王芷玲; 张玉清; 杨波. 公平交换协议设计原则[J]. 中国科学院大学学报, 2006, 23(4): 555-560.
[3]	冯登国, 范红. 安全协议形式化分析理论与方法研究综述[J]. 中国科学院大学学报, 2003, 20(4): 389-406.
[4]	王立斌, 陈克非. 为π演算建立具有安全级别的简单类型系统(英文)[J]. 中国科学院大学学报, 2002, 19(3): 278-281.
[5]	刘怡文, 李伟琴. 安全协议分析的界——综合模型检查与Strand Spaces(英文)[J]. 中国科学院大学学报, 2002, 19(3): 288-294.
[6]	陆佩忠, 平湖. 无线电子商务安全性的几个关键技术[J]. 中国科学院大学学报, 2002, 19(3): 334-341.
[7]	范红, 冯登国. 一种混合的安全协议形式化分析技术[J]. 中国科学院大学学报, 2002, 19(3): 240-245.
[8]	孙海波, 林东岱. 基于单向陷门函数的TMN协议的改进[J]. 中国科学院大学学报, 2002, 19(3): 254-262.

安全网络数学计算协议(英文)

A Secure Mathematical Computation Protocol

PDF (PC)

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 8

编辑推荐

Metrics

本文评价

访问统计

联系我们