首页> 中文期刊>电子科技大学学报 >探讨JAVA的安全性改造与验证

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《电子科技大学学报》|2007年第3期|531-533537|共4页
作者
肖军模; 刘军; 于泠;
展开▼
作者单位

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

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

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

南京师范大学数学与计算学院,南京,210097;

展开▼
原文格式 PDF
正文语种 chi
中图分类安全保密;
关键词
信息流安全控制; 军用安全模型; 程序安全性验证; 安全程序语言;
入库时间 2023-07-25 14:49:13

相似文献

中文文献
外文文献
专利

1. Java安全性机制及JAAS技术在数据库验证上的应用研究 [J] . 刘晓杰 ,周兰江 ,刘志杰 . 电信交换 . 2007,第003期
2. JavaScript技术利用正则表达式验证表单的探讨 [J] . 杨花雨 ,李银地 . 电脑知识与技术 . 2019,第024期
3. “JavaScript客户端验证及网页特效”课程教学方法探讨 [J] . 傅伟玉 . 职教通讯 . 2012,第021期
4. 安全性分析方法在Java程序中的探讨 [J] . 臧靖 . 信息系统工程 . 2019,第002期
5. 基于JAVA平台的移动代码安全性探讨 [J] . 刘梦飞 . 电脑知识与技术 . 2009,第015期
6. 生物安全实验室综合性能评定若干问题的探讨：系统安全性与可靠性验证 [C] . 曹国庆 ,崔磊 ,姚丹 . 全国暖通空调制冷2010年学术年会 . 2010
7. 形式化验证安全协议Java代码的安全性 [A] . 汪卫 . 2012

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号