【摘 要】
：
该文探讨和研究了Seal演算的自身理论及在形式化描述主动网络安全、模仿移动Agent的移动方面的一些重要应用.通过该文工作可以看出,Seal演算是探索移动代码及其安全特性的一
论文部分内容阅读
该文探讨和研究了Seal演算的自身理论及在形式化描述主动网络安全、模仿移动Agent的移动方面的一些重要应用.通过该文工作可以看出,Seal演算是探索移动代码及其安全特性的一种极好的理论框架模型.该文研究了Seal演算的一个信息流分析系统;研究了Seal演算与Boxed Ambient演算的关系;这些为深入理解和研究Seal演算自身的性质提供了一种分析手段.基于Seal演算形式化抽象主动网格,满足了主动代码的安全保护需求,这种保护是对称的.这对于更加完善地解决主动网络安全将带来深远的积极影响.应用Seal演算模仿移动Agent的移动,从形式化抽象的角度更加清楚地认识了移动Agent移动的本质特征.
其他文献
该文介绍了吉林省科委的重点项目"网络教育资源管理系统"中的核心内容:个性化浏览功能的设计和实现,以及围绕WEB MINING技术在用户个性化服务方面所开展的理论研究.我们主要
该文重点讨论UNITY编译器在静态分支预测方面的优化工作和在此基础上进行的改进.UNICORE处理器是北京大学微处理器中心在UNITY863项目中自主开发的拥有知识产权的微处理芯片.
阿里巴巴推出余额宝之后，资金规模迅速突破1000亿，以互联网为基础的互联网金融必然带来下一轮金融风暴。在互联网金融中处在核心位置的是支付中心，因为一切的互联网交易最终都需
学习管理系统(Learning Management System)是一个基于服务器的环境,用于发送、追踪、报告和管理知识对象、学习进度等,互操作和资源共享是LMS的最根本的目的.该文在现代远程
随着社会工业化飞速发展,在社会生产的很多领域,依靠单电机已不能完成产品的生产要求,这就需要多电机之间良好地协调配合才能完成。因此,电机同步控制是一个重要的研究方向,具有很高的应用价值。本文先概述了多电机同步技术的研究背景,针对高性能交流伺服应用方面永磁同步电机所具有的优良特性:功率密度大、响应快、转矩输出大等,本文选取其作为主要的被控对象。同步控制主要存在如下问题:1、整体同步算法太过复杂,运行时
该文在实际工作中实现了GPMI的两个模拟模型(分别基于ns2和Windows的多线程机制)和一个基于socket编程接口的真实模型.该论文第7章描述了这三个模型,并且给出了一些实验结果,
该文主要研究BSIM3V3模型的主体I-V模型的参数提取.作者采用BSIM3v3的公开公式和自洽方式,实现了I-V模型的高效整体参数提取方案.平滑优化算法是一种启发式的全局优化算法,近
地理信息系统(GIS)是一种对地理信息数据进行采集、存储、管理、分析和应用的空间信息系统.目前,地理信息系统的技术研究和建设所面临的一个突出问题就是地理信息的采集与更
该文在开篇第一章的绪论中说明了该课题的来源和意义;明确研究的目标和具体内容;确定了该文的主要工作.第二章分为两个大的部分:综观研究数据仓库的参考文献和相关资料,在国
该文从集成电路中功耗来源出发,详细分析了通用处理器中的影响功耗产生的各种因素.通过对各种低功耗优化设计评测标准的讨论,该文在综合考虑各种评测标准优缺点的基础上,从系