应允许城市居民购买农村房屋

城市居民购买农村房屋一直被认为不合法.但是,无论是从合同的有效性还是保护农民利益的角度,都应当允许这类买卖.     

可信认证网关系统的原理与设计

提出基于可信计算集团(TCG)可信平台模型TPM的可信认证网关系统(TAGS)的解决方案,介绍了其原理和设计,并对TAGS的缺陷进行了分析。由于可信平台模型(TPM)中保存着与芯片所在平台相关的密钥和证书,验证者可以通过TAGS系统确定何时可以安全地向一个网络请求开放网络连接。     

可信计算及其进展

详细介绍了“可信计算”的发展历程,总结了容错计算(可信系统与网络)、安全探作系统、网络安全等领域的研究对可信计算形成和发展的推动作用;提出了对可信计算的概念、研究对象、目的以及可信计算的体系结构的看法;综述了可信计算中的终端可信、终端可信应用、可信网络连接、可信网络服务、交易可信、可信评测和管理方法等方面的研究内容,并进行了分析和点评,结合已有的研究成果,展望了可信计算未来的研究方向及其面对的挑战．     

浅论缔约过失责任

缔约过失责任是1861年德国法学家耶林提出的特殊责任制度,我国早期民事立法及新合同法对此也作了一定的规定.但由于理论争议较大,缔约过失责任的实践也产生较多分歧.本文拟从缔约过失责任的理论基础着手,对缔约过失责任的适用条件、赔偿范围作一研讨.     

动产善意取得制度浅析

动产的善意取得,是动产所有权取得的一种方式.善意取得制度作为物权法上的一项重要制度,对我国民法基本制度建设具有重要意义.本文对善意取得的概念、价值基础、理论基础、理论渊源、动产善意取得的构成要件、不动产的善意取得及善意取得的法律效果进行了阐述.     

基于Jini技术的虚拟实验平台的设计与实现

运用Jini技术的基本原理和优势特点,针对化学虚拟实验系统,引入协同支撑服务机制,构建了一种面向服务的虚拟实验平台,详细阐述了其功能与构架;基于Java面向对象设计语言中的接口定义了实验平台的相关操作规则及系列面向服务的接口,以铁与硫酸反应的实例说明了该实验平台的工作原理与流程。结果表明系统具有易扩充、较好的可靠性、且能动态反映虚拟实验过程,提供了在现有网络基础下的分布式实现三维虚拟实验的一种新方案。     

动态多级安全系统安全标记的格模型

分析了安全标记的概念,给出了安全标记的形式化定义,并建立了动态多级安全标记的格模型理论。格模型理论回答了动态多级安全系统的安全标记集合在数学上应形成格,解决了两安全标记比较时上、下确界的存在性问题,为多级安全性从静态安全政策,通过该策略的历史敏感性特征转化为动态安全政策奠定了理论基础。     

试论监事的义务和责任

建立、健全监事会制度,学者著述颇多,但大多从强化监事会职权方面考虑.本文试图就监事的义务和责任进行探讨,以期通过确立监事所负有的义务和责任,促使监事及监事会更好更自觉地履行监督职能.     

浅谈违约责任与侵权责任的竞合

违约责任与侵权责任存在重大差别,又有着千丝万缕的联系.同一违法行为,可能既构成违约,又构成侵权.如何处理二者的竞合,对司法实践和当事人的权利义务关系影响深远.