数理逻辑之研究对象、学科归属、定义及研究领域

鉴于对数理逻辑这一学科的定义、研究对象、研究领域与学科归属等问题,尚无一个一致的说法,有的已不符合历史发展的现状.例如,就学科归属而言,就有两种说法:其一说数理逻辑是数学的一个分支;其二说数理逻辑是逻辑学的一个分支,如此等等.有的数理逻辑著作中完全不论及这类问题.为此,本文从数理逻辑历史发展的几个侧面加以分析,并综合各家之长对数理逻辑的定义、研究对象、研究领域与学科归属等问题进行了探讨.

基于Java的可移动软件Agent系统安全性

移动Agent具有迁移计算的特性 ,安全性成为构造运行环境的重要组成部分。分析了Mo bileAgent环境下安全问题的构成和特点 ,并根据它提出了对系统的要求和对所开发的MobileAgent系统JMSAS中的解决方案。将安全模型建立于访问控制模型之上 ,并根据MobileAgent的特点加入了第三方认证体制。在安全机制的设计中围绕Agent的两种状态———运行态和迁移态进行讨论 ,对主要部件和协议做了详细的介绍。