【摘 要】
：
在移动资源演算(MR)中发现了一种干扰现象,称为直接访问干扰,该现象比移动灰箱演算(MA)中的墙干扰现象更具破坏力,因为在MR中恶意的环境或上下文可以不受限制地访问进程内部
论文部分内容阅读
在移动资源演算(MR)中发现了一种干扰现象,称为直接访问干扰,该现象比移动灰箱演算(MA)中的墙干扰现象更具破坏力,因为在MR中恶意的环境或上下文可以不受限制地访问进程内部的敏感资源.因而该干扰问题当被视为一种程序运行错误.为了控制直接干扰现象,提出了一种MR的变体:安全移动资源演算(SR).它使用了一种类型系统来避免所有的直接访问干扰的发生.基于该研究,MA中的强干扰现象实际上是直接访问干扰的一种特殊形式,自然地,在SR中也得到了相应的控制.最后给出一些用例,说明如何使用新设计的演算系统,以及它的健壮性
其他文献
【正】 语言,是一个国家或民族的文明标志之一!因此除了母语外,学好一门外语。不但使你多了一种交流方式,而且对了解一个国家或民族的文化有所帮助。众所诸知:为了增强自身未
在信息管理与电子商务应用中，如何安全地将一个合法实体（比如一个公司）的密钥分配给其属下的若干部门具有非常重要的意义。通常在这类应用中各部门都需拥有自己的子密钥，而每个部
目的：构建能表达ESAT6-CFP10融合蛋白的重组耻垢分枝杆菌疫苗.方法：以结核杆菌H37Rv基因组DNA为模板,克隆cfp 10基因,将其插入到pGEM-T-easy载体后与esat6基因连接,构建含有esa
<正> 在推行合作医疗保险工作的过程中,我们体会到,合作医疗保险筹资方式的不同,可对合作医疗的可持续发展产生不同程度的影响。为此,本文就我市合作医疗的筹资方式作一简要
患儿，女，8个月，主诉腹泻3d，伴精神不振1d，于2004年4月20日入院，患儿入院前3d开始腹泻，大便稀，5～6次／d。入院前1d开始精神不振，多睡，哺乳差，恶心，呕吐胃内容物2次，非喷射性，伴口渴，无发热，病后尿
移动Ad hoc网络(mobile Ad hoc network,简称MANET)作为一种新型移动无线通信网,与其他通信网络相比独有的特性增加了网络管理的难度.目前对MANET网络管理的研究处于起步阶段
7月25日，南方电网公司“十二五”期间西电东送重点工程—糯扎渡电站送电广东4-800kV直流输电工程，正式获得发改委核准。
儿童死亡率、孕产妇死亡率是衡量一个国家和地区社会经济文化、卫生保健和生活水平的重要标志之一。《九十年代中国儿童发展规划纲要》、《中国妇女发展纲要》中都明确指出:1
慢性鼻炎是一种临床上的常见病、多发病，主要表现为长期鼻塞、头痛、头晕、多涕及嗅觉下降，严重影响工作、学习和生活。2001-2005年我院应用禾帮苍耳子鼻炎胶囊治疗鼻炎516例，现
目的：介绍一种简单、快速、高效和经济的进行大片段基因定点突变的方法。方法：小量抽提含有NM23H1-EGFP融合基因的逆转录病毒真核表达质粒pLXSN-NM23Hl-EGFP，体外合成突变引物对