论文部分内容阅读
本文对移动Agent的安全性进行了分析。文章首先基于Seal演算抽象了移动Agent系统，然后形式化描述了四个安全保护命题，最后给出了满足此安全保护的一个实例，从而证明了安全保护命题的正确性。
基于Seal演算形式化描述移动Agent安全
【摘 要】
：
本文对移动Agent的安全性进行了分析。文章首先基于Seal演算抽象了移动Agent系统，然后形式化描述了四个安全保护命题，最后给出了满足此安全保护的一个实例，从而证明了安全保护命
【机 构】
：
东北师范大学软件学院,长春,130117
【出 处】
：
2006年全国理论计算机科学学术年会
【发表日期】
：
2006年期
其他文献
本文对JXTA网络汇聚对等体数目不受控制问题进行了研究，提出了汇聚对等体自组织机制，使一定区域内汇聚对等体数目经过一段时间达到平衡状态，保证了网络查询效率。
稳健有效的图像自动分割是面向图像检索中的一个重要问题,适应内容检索的需要,提出了一种通过提取纹理特征,采用特征聚类的分割新算法.该算法提取纹理的一致性和反差性等特征
本文对逻辑程序设计语言G(o)del中等词的实现进行了研究。文章围绕含等词的逻辑程序一致匹配算法、G(o)del语言的类型系统机制、 G(o)del语言含等词的SLDE-反驳消解实现等进
本文对G(o)del语言编译中多态多类类型的实现进行了研究。文章针对类型系统的实现，介绍了语义分析中的静态类型检查和实现一致匹配时的动态类型检查等关键技术。
本文利用图理论，提出一种独立于具体实现语言的基于类内部方法、属性间依赖性分析的内聚度量模型。该模型采用有向带权伪图DW-FC来客观定义类内部属性以及一般方法间的联结关
目的:制备维生素A(VA)修饰的阿霉素隐形脂质体,考察其对肝星状细胞(HSC)的靶向性。方法:采用前插法和后插法优化VA修饰的阿霉素隐形脂质体的处方和工艺;采用流式细胞术对所得
本文对操作剖面与软件可靠性进行了探讨。文章围绕软件可靠性测试的特点、Musa的可靠性测试方法、Markov链模型、操作剖面的构建方法等进行了论述。
目的:合成Hh通路抑制剂vismodegib.方法:以2-氯-5-硝基苯胺为起始原料通过4步反应合成了Hh通路抑制剂vismodegib(2-氯-N-(4-氯-3-(吡啶-2-基)苯基)-4-(甲磺酰基)苯甲酰胺).结
本文对硬件系统SystemCFL模型的SPIN验证进行了研究。文章围绕SPIN模型检测器及Promela语言、SystemCFL模型、硬件系统的SystemCFL模型转换成Promela模型等进行了论述。