【摘 要】
：
在改进军用安全模型的基础上,对Java语言进行安全性增强.通过增加安全信息流策略,使得在编译Java源程序的过程中能检验该程序中是否存在隐蔽信道,改造后的语言称为sJava.同时
【机 构】
：
解放军理工大学,通信工程学院,江苏,南京,210007
【出 处】
：
第二届中国可信计算与信息安全学术会议
论文部分内容阅读
在改进军用安全模型的基础上,对Java语言进行安全性增强.通过增加安全信息流策略,使得在编译Java源程序的过程中能检验该程序中是否存在隐蔽信道,改造后的语言称为sJava.同时,还实现了对开放源代码的Java编译器jikes的安全性改造,sJava语言源程序在其中能直接编译成字节码,且不增加系统的运行负载.
其他文献
采用基因枪轰击转化技术将含有抗除草剂chlorsulfuron基因AHAS的PCD220质粒导入玉米愈伤组织,并再生出具有抗该除草剂的转基因植株,同时研究了影响玉米基因枪转化效率的因素.
通过DTA、XRD、SEM等测试手段,研究了CeO2、TiO2添加到MgO-Al2O3-SiO2系统后玻璃的形成、介电性能等.结果表明,在MgO-Al2O3-SiO2系统中引入TiO2可以逐步提高材料的介电常数,
本文提出了一种降低钛酸钡系X7R陶瓷烧结温度的新工艺,并着重研究了该工艺中Nd的掺杂行为.采用溶胶-凝胶法制得纳米级硼硅酸锂钕掺杂剂,其软化温度在710℃～720℃范围内,能够大
鉴于一个用户的身份在开放系统中不足以证明他是否可信,本文提出了一种基于属性的信任自动建立方法.交互的双方首先互相交换自己的信任书,信任书中包含了一些加密的敏感属性,
计算机网络安全状态的稳定性分析是研究其安全控制效果的重要评价指标.对控制结构的稳定性进行分析可改进安全控制的效率,增强控制能力.利用请求/响应网络的表示方法,分析了
在介绍SOM算法原理的基础上,针对入侵检测系统实时性差的问题,提出了基于SOM算法的实时异常检测模型,并以系统调用进程为研究对象详细描述了该模型的工作过程,最后利用仿真实
首先对Linux安全模块的实现机制进行了介绍,并以此为基础分析了Linux中网络安全控制的设计思想及实现机制,最后指出了现存不足并对未来工作做了展望.
应用人体免疫系统中B、T细胞的特异性免疫原理及克隆学说,设计了一个入侵检测模型.该模型提出了一种新的检测子结构,用漏洞及其对应的数据特征集表示,并建立树形编码模式.在
为了防止内部人员滥用或攻击文件系统,在利用附加日志防范内部攻击的日志相互守护法基础上,采用文件内容比较和数据库触发器两种技术可以检测到日志被人为局部篡改的具体内容
胡华同志对一九二七年国民党军阀的混战曾有过如此的叙述。自從一九二七(民国十六年) “七一五”武汉方面的国民党反动派■蒋介石之后也公开叛变革命后,不久宁汉合作,蒋汪合