【摘 要】
：
多线程作为支持程序结构化和并行化的重要机制,其应用越来越广泛,多线程应用程序的安全性也成为新的研究热点之一.针对Java多线程程序,文中采用参数化扩展上下文无关文法作为
【基金项目】
：
国家自然科学基金青年基金(60603031)资助~~
论文部分内容阅读
多线程作为支持程序结构化和并行化的重要机制,其应用越来越广泛,多线程应用程序的安全性也成为新的研究热点之一.针对Java多线程程序,文中采用参数化扩展上下文无关文法作为其安全相关行为模型的抽象表示,给出了从多线程Java程序自动生成安全相关行为模型的方法,形式地描述了静态检查该模型是否满足安全策略的实现,并应用到携带模型代码方法的实现框架中.该方法为安全执行非信任多线程Java移动代码提供了有效支持.
其他文献
随着社会信息化的发展,信息素养日益成为信息社会公民素养不可或缺的组成部分。当前世界各国都十分注重信息技术教育的发展,培养具备高信息素养的人才,已经成为这个时代对培
刘师培凭借深厚的家学功底和勤敏的治学精神,在清末民初的思想界和学术界占有非常重要的地位。他的《左传》研究成就,集中体现在其＂义例＂理论上。刘师培的义例理论唯汉说是宗,
近年来，渤海风暴潮对该海域沿海地区造成了巨大损失和人员伤亡。相关文献统计了近20年来渤海风暴潮发生的时间、地点、损失和人员伤亡数据，分析了风暴潮灾害的强度、次数和时空
改革开放三十余年来,随着国际间科学、文化、经济及各个领域间的交流愈来愈频繁,社会对翻译人才的需求无论是数量上抑或是质量上确有水涨船高之势。在全民学英语的热潮中,中
吉鲁的后现代批判教育学关注对资本主义高度发达社会中意识形态的批判,主张批判必须同时伴随社会政经环境的改造工作而进行。借着霸权观念的解释,吉鲁的后现代批判教育学细致
采用乙醇提取石榴籽多酚类物质考察了乙醇浓度、温度、时间、料液比等对提取率的影响。结果表明,其最佳工艺条件是:提取温度60℃,提取时间1.5 h,料液比1∶12(g/m L),物料粒径
本研究旨在改进SD大鼠的局灶性脑缺血模型的制作方法。 1%的戊巴比妥钠腹腔内注射麻醉动物 ,采用线栓法制作大鼠大脑中动脉栓塞模型。采用 3种不同的手术方法完成手术 ,1组不
<正>祖国的大西北,是一片神奇的土地,镌刻着中国革命历史上许多不朽的传奇。从南梁烽火到红军会师,从西安事变到中共七大,从挺进阿里到"两弹一星"……中国革命和建设的一系列
作为主要的语言技能之一,写作是一种颇具效度和表现力的语言表达形式,它能够直观地反映学生对于英语的掌握程度,尤其是对英语非其母语的学生。当前,大学英语写作测试是以单一
本文以独立董事背景为研究切入点,以2011-2015年制造业上市公司为样本,分析了技术独立董事对企业价值的影响。研究发现,在制造业上市公司中设立技术独立董事,有助于企业价值