探讨JAVA的安全性改造与验证

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

探讨JAVA的安全性改造与验证

肖军模, 刘军, 于泠

文章导航 > 电子科技大学学报 > 2007 > 36(3): 531-533,537

肖军模, 刘军, 于泠. 探讨JAVA的安全性改造与验证[J]. 电子科技大学学报, 2007, 36(3): 531-533,537.

引用本文:

肖军模, 刘军, 于泠. 探讨JAVA的安全性改造与验证[J]. 电子科技大学学报, 2007, 36(3): 531-533,537.

XIAO Jun-mo, LIU Jun, YU Ling. Research of JAVA Security Reforms and Validation[J]. Journal of University of Electronic Science and Technology of China, 2007, 36(3): 531-533,537.

Citation:

XIAO Jun-mo, LIU Jun, YU Ling. Research of JAVA Security Reforms and Validation[J]. Journal of University of Electronic Science and Technology of China, 2007, 36(3): 531-533,537.

探讨JAVA的安全性改造与验证

肖军模¹,
刘军¹,
于泠^1,2

1.
解放军理工大学通信工程学院南京 210007;
2.
南京师范大学数学与计算学院南京 210097

基金项目:

国家重点自然科学基金资助项目(69931040);江苏省自然科学基金资助项目(BK2004015)

作者简介:
肖军模(1947-),男,教授,博士生导师,主要从事信息安全与软件工程方面的研究.

中图分类号: TP309

Research of JAVA Security Reforms and Validation

1.
Information Security Research Center of Communication Engineering Institute,PLA University of Electronic Science and Technology of China Nanjing 210007;
2.
College of Mathematics and Computer Science,Nanjing Normal University Nanjing 210097

摘要: 讨论了OO语言的安全改造问题;给出了以扩展军用安全模型(EMSM)为基础的多级信息流安全控制原理,依据EMSM模型的要求把非安全的JAVA改造成安全语言sJAVA;讨论了sJAVA语言中主要的可执行语句的安全执行条件;以实例说明了sJAVA程序的安全性验证方法。
- 信息流安全控制 /
- 军用安全模型 /
- 程序安全性验证 /
- 安全程序语言
Abstract: In this paper,the security reforming problems of OO language are discussed,the principles multi-information flow security control principles are presented based on extended military security model.JAVA is transformed into a security program language (sJAVA) depending upon the EMSM.the security execution conditions of main executable sentences in sJAVA are discussed.A validation by an example of sJAVA program is given.
- information flow control /
- military security model /
- program security validation /
- security program language

[1]	陈小明, 陈雷, 阎亚龙. 诱骗态量子密钥分发中不可区分假设的合理性和安全性验证 . 电子科技大学学报, 2022, 51(4): 482-487. doi: 10.12178/1001-0548.2022068
[2]	鲁刚, 聂旭云, 秦志光, 侯川勇. 一种多变量公钥密码体制的安全性分析 . 电子科技大学学报, 2018, 47(2): 242-246. doi: 10.3969/j.issn.1001-0548.2018.02.013
[3]	杨帆, 杨国武, 郝玉洁. 基于模型检测的半量子密码协议的安全性分析 . 电子科技大学学报, 2017, 46(5): 716-721. doi: 10.3969/j.issn.1001-0548.2017.05.013
[4]	陈大江, 秦臻, 秦志光, 王瑞锦. 基于虚拟信道的快速密钥生成协议的安全性分析 . 电子科技大学学报, 2015, 44(1): 112-116. doi: 10.3969/j.issn.1001-0548.2015.01.019
[5]	胡伟, 慕德俊, 黄兴利, 邰瑜. 基于门级信息流分析的安全体系架构设计 . 电子科技大学学报, 2015, 44(3): 428-432. doi: 10.3969/j.issn.1001-0548.2015.03.019
[6]	高悦翔, 彭代渊, 闫丽丽. 认证邮件协议的安全性分析与改进 . 电子科技大学学报, 2013, 42(2): 300-305. doi: 10.3969/j.issn.1001-0548.2013.02.023
[7]	汤永新, 余达太. 基于输入点复杂度的交互固有安全性度量 . 电子科技大学学报, 2012, 41(5): 787-791. doi: 10.3969/j.issn.1001-0548.2012.05.027
[8]	闫丽丽, 彭代渊, 高悦翔. Ad hoc网络中认证路由协议的改进及其安全性分析 . 电子科技大学学报, 2011, 40(4): 577-581.
[9]	罗光春, 熊娇, 李炯. 无线传感器网络的最优安全性跳数算法研究 . 电子科技大学学报, 2008, 37(4): 582-585.
[10]	郭建东, 秦志光, 郑敏. 信息系统的安全模型 . 电子科技大学学报, 2008, 37(2): 285-288.
[11]	李磊, 杜平安, 刘孝保, 姜伟. 基于JAAS和Struts的MIS安全性的实现方法研究 . 电子科技大学学报, 2007, 36(4): 771-774.
[12]	李天昀, 胡宗云, 葛临东. 相关跳频通信系统安全性分析 . 电子科技大学学报, 2006, 35(3): 305-308.
[13]	秦志光, 张险峰, 周世杰, 刘锦德. 基于ECC的门限数字签名方案及其安全性 . 电子科技大学学报, 2005, 34(1): 109-112.
[14]	王曼珠, 周亮. 基于RADIUS/EAP的WLAN认证及其安全性分析 . 电子科技大学学报, 2005, 34(2): 168-171.
[15]	陈雷霆, 文立玉, 李志刚. 信息安全评估研究 . 电子科技大学学报, 2005, 34(3): 373-376.
[16]	肖军模. 对军用安全模型的扩展 . 电子科技大学学报, 2005, 34(2): 186-189.
[17]	周世杰, 秦志光, 耿技. 办公自动化系统中的安全性 . 电子科技大学学报, 2000, 29(2): 201-204.
[18]	熊金涛, 刘红秀, 皮德忠. Lucas公钥密码体制及其安全性 . 电子科技大学学报, 1999, 28(4): 397-401.
[19]	任江, 袁宏春. 对SSL协议及其安全性分析 . 电子科技大学学报, 1998, 27(4): 416-420.
[20]	秦志光, 汪文勇. 网络认服务可靠性和安全性 . 电子科技大学学报, 1997, 26(2): 190-193.

WeChat

点击查看大图

计量

文章访问数: 3373
HTML全文浏览量: 90
PDF下载量: 52
被引次数: 0

探讨JAVA的安全性改造与验证

1. 解放军理工大学通信工程学院南京 210007;

2. 南京师范大学数学与计算学院南京 210097

基金项目:

国家重点自然科学基金资助项目(69931040);江苏省自然科学基金资助项目(BK2004015)

作者简介:
肖军模(1947-),男,教授,博士生导师,主要从事信息安全与软件工程方面的研究.

收稿日期: 2006-01-25
刊出日期: 2007-06-15

中图分类号: TP309

关键词:

摘要: 讨论了OO语言的安全改造问题;给出了以扩展军用安全模型(EMSM)为基础的多级信息流安全控制原理,依据EMSM模型的要求把非安全的JAVA改造成安全语言sJAVA;讨论了sJAVA语言中主要的可执行语句的安全执行条件;以实例说明了sJAVA程序的安全性验证方法。

English Abstract

肖军模, 刘军, 于泠. 探讨JAVA的安全性改造与验证[J]. 电子科技大学学报, 2007, 36(3): 531-533,537.

引用本文:

肖军模, 刘军, 于泠. 探讨JAVA的安全性改造与验证[J]. 电子科技大学学报, 2007, 36(3): 531-533,537.

XIAO Jun-mo, LIU Jun, YU Ling. Research of JAVA Security Reforms and Validation[J]. Journal of University of Electronic Science and Technology of China, 2007, 36(3): 531-533,537.

Citation:

XIAO Jun-mo, LIU Jun, YU Ling. Research of JAVA Security Reforms and Validation[J]. Journal of University of Electronic Science and Technology of China, 2007, 36(3): 531-533,537.

全文HTML

/

下载: 全尺寸图片幻灯片

分享

用微信扫码二维码

分享至好友和朋友圈

返回

期刊在线

编辑办公

友情链接

电子科技大学

版权所有 © 《电子科技大学学报》编辑部

地址: 成都市建设北路二段四号电子科技大学主楼中350室电话: 028-83202308,83207559 Email: xuebao@uestc.edu.cn

本系统由北京仁和汇智信息技术有限公司开发