论文部分内容阅读
讨论了OO语言的安全改造问题;给出了以扩展军用安全模型（EMSM）为基础的多级信息流安全控制原理,依据EMSM模型的要求把非安全的JAVA改造成安全语言sJAVA;讨论了sJAVA语言中主要的可执行语句的安全执行条件;以实例说明了sJAVA程序的安全性验证方法.
探讨JAVA的安全性改造与验证
【摘 要】
：
讨论了OO语言的安全改造问题;给出了以扩展军用安全模型（EMSM）为基础的多级信息流安全控制原理,依据EMSM模型的要求把非安全的JAVA改造成安全语言sJAVA;讨论了sJAVA语言中主要
【机 构】
：
解放军理工大学通信工程学院,南京师范大学数学与计算学院
【出 处】
：
电子科技大学学报
【发表日期】
：
2007年3期
【基金项目】
：
国家重点自然科学基金资助项目（69931040）,江江苏省自然科学基金资助项目（BK2004015）
其他文献
介绍了一种采用O．5μmCMOSN阱工艺制作的带隙基准电压源电路，谈电路具有高电源抑制比和较低的温度系数。通过将电源电压加到运算放大器上，运算放大器的输出电压为整个核心电路提
利用离子簇模型，建立了四角伸长八面体中3d^9系超超精细参量的微扰公式；在理论上得到了轨道混合系数、未配对自旋密度、平均共价因子等参量的关系，并应用于K2PdX4（X=Cl，Br）中的四角
目的：探讨壮医药物竹筒拔罐结合药液湿敷治疗膝骨性关节炎的临床疗效。方法将100例膝骨性关节炎患者随机分为50例壮医药物竹筒拔罐组和50例西医治疗组,对两组患者的临床疗效、
目的分析比较剖宫产术应用布比卡因和罗哌卡因麻醉效果及可靠性。方法选择2011年6月～2013年6月本院行剖宫产术的88例患者,随机分成对照组（布比卡因组）和观察组（罗哌卡因组）各44例,
提出了测试电介质材料复介电常数的新方法,获得了利用两个散射参数同时求解材料复介电常数的表达式,解决了自由空间法测量电介质材料的相位模糊性问题,建立了测试系统,讨论了
采用化学聚合法制备了导电聚合物3,4-乙烯二氧噻吩膜,利用扫描电子显微镜和傅里叶变换红外光谱法对薄膜的光学成分及形貌进行了分析。采用叉指电极结构研制出了3,4-乙烯二氧
紫外光通信是一种新兴的基于大气散射和吸收的元线光通信技术，系统结构参数的选择对系统性能有重要影响．该文通过利用Luettgen提出的非视距单散射模型，比较了在不同仰角、光束孔