期刊文献+
共找到16篇文章
< 1 >
每页显示 20 50 100
基于进程的无干扰可信模型 被引量:28
1
作者 张兴 陈幼雷 沈昌祥 《通信学报》 EI CSCD 北大核心 2009年第3期6-11,共6页
提出了一种适应于可信计算平台系统设计的抽象模型,该模型借鉴信息流的基本无干扰理论,利用进程代数和逻辑推理方法,将系统抽象为进程、动作、状态和输出,形式化地定义了进程运行可信,给出进程运行可信的条件和性质,推出进程运行可信隔... 提出了一种适应于可信计算平台系统设计的抽象模型,该模型借鉴信息流的基本无干扰理论,利用进程代数和逻辑推理方法,将系统抽象为进程、动作、状态和输出,形式化地定义了进程运行可信,给出进程运行可信的条件和性质,推出进程运行可信隔离定理,在进程运行可信基础上给出系统运行可信的定义,并证明了系统运行可信判定定理。该模型建立在逻辑推理基础上,不依赖于特定的安全机制和实现方法,任何一种符合这个模型的实现方法,都可以达到系统运行可信的目标。 展开更多
关键词 可信 无干扰 进程运行可信 系统运行可信
下载PDF
可信终端动态运行环境的可信证据收集机制 被引量:6
2
作者 谭良 陈菊 周明天 《电子学报》 EI CAS CSCD 北大核心 2013年第1期77-85,共9页
可信计算的链式度量机制不容易扩展到终端所有应用程序,因而可信终端要始终保证其动态运行环境的可信仍然困难.为了提供可信终端动态运行环境客观、真实、全面的可信证据,提出了可信终端动态运行环境的可信证据收集机制.首先,在可信终... 可信计算的链式度量机制不容易扩展到终端所有应用程序,因而可信终端要始终保证其动态运行环境的可信仍然困难.为了提供可信终端动态运行环境客观、真实、全面的可信证据,提出了可信终端动态运行环境的可信证据收集机制.首先,在可信终端的应用层引入一个可信证据收集代理,并将该代理作为可信平台模块(trusted platformmodule,简称TPM)链式度量机制的重要一环,利用TPM提供的度量功能保证该代理可信;然后通过该代理收集可信终端的内存、CPU、网络端口、磁盘文件、策略配置数据和进程等的运行时状态信息,并利用TPM提供的可信存储功能,保存这些状态信息作为终端运行环境的可信证据,并保障可信证据本身的可信性.该可信证据收集机制具有良好的可扩展性,为支持面向不同应用的信任评估模型提供基础.在Windows平台中实现了一个可信证据收集代理的原型,并以一个开放的局域网为实验环境来分析可信证据收集代理所获取的终端动态运行环境可信证据以及可信证据收集代理在该应用实例中的性能开销.该应用实例验证了该方案的可行性. 展开更多
关键词 可信计算 可信平台模块 动态运行环境 可信证据 可信终端
下载PDF
一种基于行程编码的P2P网络动态信任模型 被引量:9
3
作者 方群 吉逸 +2 位作者 吴国新 赵生慧 吴鹏 《软件学报》 EI CSCD 北大核心 2009年第6期1602-1616,共15页
基于数据压缩领域中的行程编码理论提出一种RunTrust动态信任模型,以系统收益衡量节点合作成果,以经过压缩的节点合作记录作为信任评估依据,既增加了评估依赖的信息量,也保留了时间维度,提高了信任度评估的准确性和动态恶意行为的判别能... 基于数据压缩领域中的行程编码理论提出一种RunTrust动态信任模型,以系统收益衡量节点合作成果,以经过压缩的节点合作记录作为信任评估依据,既增加了评估依赖的信息量,也保留了时间维度,提高了信任度评估的准确性和动态恶意行为的判别能力;借助基于时间的反馈聚合算法,通过特殊的反馈过滤策略和动态参数调整,能够增强针对恶意反馈的过滤能力.仿真实验结果表明,RunTrust以牺牲少量处理能力换取系统性能的显著提升.RunTrust模型的提出为信任数据压缩研究奠定了基础. 展开更多
关键词 P2P网络 动态信任模型 行程编码 恶意行为 收益
下载PDF
TCG架构下的证明问题研究及进展 被引量:7
4
作者 谭良 刘震 周明天 《电子学报》 EI CAS CSCD 北大核心 2010年第5期1105-1112,共8页
证明问题是可信计算的核心问题之一.TCG架构下的证明问题解决方案由于可扩展性差、不灵活、容易暴露平台隐私以及性能低,正在成为可信计算的应用、推广和普及的瓶颈,严重地阻碍了可信计算在更广的范围内进行延伸和拓展.介绍了证明的基... 证明问题是可信计算的核心问题之一.TCG架构下的证明问题解决方案由于可扩展性差、不灵活、容易暴露平台隐私以及性能低,正在成为可信计算的应用、推广和普及的瓶颈,严重地阻碍了可信计算在更广的范围内进行延伸和拓展.介绍了证明的基本概念并给出形式化定义,详细阐述了三元和四元证明系统的基本架构及工作机制,并指出平台身份证明采用了"推"式四元证明系统,而平台配置证明仍然采用三元证明系统.分析了当前对TCG架构下的平台身份证明、平台环境状态配置信息证明以及平台动态环境状态(运行时环境状态)证明等三个方面开展的研究工作,并对这些工作进行了总结.结合已有的研究成果,探讨了TCG架构下的证明问题的研究方向及其面临的挑战. 展开更多
关键词 可信计算 证明 平台身份证明 平台配置证明 平台运行时环境证明
下载PDF
可信终端动态运行环境的可信证据收集代理 被引量:2
5
作者 谭良 陈菊 《软件学报》 EI CSCD 北大核心 2012年第8期2084-2103,共20页
可信计算的链式度量机制不容易扩展到终端所有应用程序,因而可信终端要始终保证其动态运行环境的可信仍然较为困难.为了提供可信终端动态运行环境客观、真实、全面的可信证据,设计并实现了一个基于可信平台模块(trustcd platform model... 可信计算的链式度量机制不容易扩展到终端所有应用程序,因而可信终端要始终保证其动态运行环境的可信仍然较为困难.为了提供可信终端动态运行环境客观、真实、全面的可信证据,设计并实现了一个基于可信平台模块(trustcd platform model,简称TPM)的终端动态运行环境可信证据收集代理.该代理的主要功能是收集可信终端内存、进程、磁盘文件、网络端口、策略数据等关键对象的状态信息和操作信息.首先,通过扩展TPM信任传递过程及其度量功能保证该代理的静态可信,利用可信虚拟机监视器(trusted virtual machine monitor,简称TVMM)提供的隔离技术保证该代理动态可信;然后,利用TPM的加密和签名功能保证收集的证据的来源和传输可信;最后,在Windows平台中实现了一个可信证据收集代理原型,并以一个开放的局域网为实验环境来分析可信证据收集代理所获取的终端动态运行环境可信证据以及可信证据收集代理在该应用实例中的性能开销.该应用实例验证了该方案的可行性. 展开更多
关键词 TPM 运行环境 可信证据 可信终端 代理
下载PDF
中外家族企业制度变迁的比较分析及对我国的借鉴意义 被引量:3
6
作者 程玉敏 尤旭琳 王益宝 《科技与管理》 2003年第6期23-26,共4页
首先对家族企业的概念进行引介和界定;然后对世界范围内家族企业存在的现状进行回顾,并对其广泛存在的原因从新制度经济学的角度进行阐释;最后着重对美国、日本、意大利及中国家族企业的制度变迁进行了比较分析,在此基础上对我国家族企... 首先对家族企业的概念进行引介和界定;然后对世界范围内家族企业存在的现状进行回顾,并对其广泛存在的原因从新制度经济学的角度进行阐释;最后着重对美国、日本、意大利及中国家族企业的制度变迁进行了比较分析,在此基础上对我国家族企业的未来走向进行了探索性的思考。 展开更多
关键词 家族企业 制度变迁 比较分析 私营企业 制度化管理 社会信任资本
下载PDF
国有资产授权经营的局限与出路 被引量:12
7
作者 毛卫民 《海南大学学报(人文社会科学版)》 2005年第3期313-319,共7页
从现阶段有关国有资产授权经营的规定看,授权经营的性质非驴非马,授权经营的内容不清不楚,从而导致授权方(国有资产监管机构)与被授权企业的关系不明不白,本该在授权经营中成为“主角”的被授权企业却落得不尴不尬。为改变这种状况,有... 从现阶段有关国有资产授权经营的规定看,授权经营的性质非驴非马,授权经营的内容不清不楚,从而导致授权方(国有资产监管机构)与被授权企业的关系不明不白,本该在授权经营中成为“主角”的被授权企业却落得不尴不尬。为改变这种状况,有必要借用信托制度来改造现行的国有资产授权经营制度,即从法律上明确授权方与被授权企业之间为信托关系,进而依据信托法原理来界定授权经营中各方的权利、义务及责任。 展开更多
关键词 国有资产 授权经营 法律性质 信托
下载PDF
支持进程代码修改的非传递无干扰可信模型 被引量:2
8
作者 徐甫 《计算机工程》 CAS CSCD 2013年第11期150-153,168,共5页
基于无干扰理论的可信模型要求进程在系统运行过程中始终不被修改,制约了可信计算平台的应用。针对该问题,扩展非传递无干扰理论,使其支持对安全域的修改,在此基础上提出一种基于非传递无干扰理论,且支持进程代码修改的可信模型,并在新... 基于无干扰理论的可信模型要求进程在系统运行过程中始终不被修改,制约了可信计算平台的应用。针对该问题,扩展非传递无干扰理论,使其支持对安全域的修改,在此基础上提出一种基于非传递无干扰理论,且支持进程代码修改的可信模型,并在新理论框架下给出进程运行可信的条件,证明进程运行可信定理。分析结果表明,与现有可信模型相比,该模型在保证进程运行可信的同时允许对进程代码进行修改,提高了可信计算平台的实用性。 展开更多
关键词 可信模型 非传递无干扰 代码修改 静态干扰 动态干扰 运行可信
下载PDF
可信运行控制软件形式化设计与验证 被引量:1
9
作者 庞飞 唐六华 +1 位作者 谢小赋 郝尧 《信息技术》 2022年第10期76-84,共9页
可信运行控制软件作为可信计算平台中提供可信度量服务的关键软件,其自身设计是否安全可信,是可信计算平台安全运行的基础。为保证该软件设计安全可信,基于形式化模型检验基本理论,提出了软件形式化设计框架,研究了抽象行为、安全属性... 可信运行控制软件作为可信计算平台中提供可信度量服务的关键软件,其自身设计是否安全可信,是可信计算平台安全运行的基础。为保证该软件设计安全可信,基于形式化模型检验基本理论,提出了软件形式化设计框架,研究了抽象行为、安全属性和代码功能正确性建模验证方法,开展了可信运行控制软件形式化设计与验证。验证结果表明,采用形式化设计方法,能够有效地解决软件设计缺陷和安全漏洞,保证软件设计与实现的正确性、安全性与一致性。 展开更多
关键词 可信运行控制 形式化方法 可信计算平台 安全 漏洞
下载PDF
法治思维下当代中国慈善组织的治理和监督机制 被引量:7
10
作者 周中之 《上海师范大学学报(哲学社会科学版)》 CSSCI 北大核心 2021年第2期102-109,共8页
构建当代中国慈善组织治理和监督机制,必须坚持法治思维。法治在慈善组织治理和监督机制中具有重大价值,坚持正确的价值观迫切需要法律的保障,慈善组织的责任和义务需要法律加以明确规定,各类慈善组织的发展迫切需要法律规范。《慈善法... 构建当代中国慈善组织治理和监督机制,必须坚持法治思维。法治在慈善组织治理和监督机制中具有重大价值,坚持正确的价值观迫切需要法律的保障,慈善组织的责任和义务需要法律加以明确规定,各类慈善组织的发展迫切需要法律规范。《慈善法》是中国慈善事业的基本法,它促进和规范了慈善组织的发展,但《慈善法》应细化以增强其操作性,应配套以增强其实效性,应升级以适应新形势。法律法规及章程的规定是慈善组织内部治理的根据,信息公开透明制度是慈善组织监督机制的基础,应由多元主体协同监督慈善组织。 展开更多
关键词 官办慈善组织 民办慈善组织 慈善信托 法治思维 慈善治理 监督机制
下载PDF
农业可信电子证照管理系统设计和应用 被引量:3
11
作者 管孝锋 吴晓柯 陆林峰 《软件》 2019年第12期41-45,共5页
在“最多跑一次”改革实践中,浙江省农业农村厅迫切需要建立一套软件系统,解决证照统一管理、授权生成和安全调用等问题。通过数据结构自定义,解决了证照数据分散问题,实现不同类型证照统一管理。通过建立电子证照调用接口和网络加密传... 在“最多跑一次”改革实践中,浙江省农业农村厅迫切需要建立一套软件系统,解决证照统一管理、授权生成和安全调用等问题。通过数据结构自定义,解决了证照数据分散问题,实现不同类型证照统一管理。通过建立电子证照调用接口和网络加密传输,解决了证照无法共享问题。通过交叉验证法,解决了电子证照被他人冒用的问题。通过可信电子证照管理系统建设,浙江省农业农村厅实现了89种证照的统一管理,1338万份证照数据电子化,大大减少纸质办事材料数量。可信电子证照管理系统建设对于深化“最多跑一次”改革,推进政府数字化转型,具有十分重要的意义。 展开更多
关键词 最多跑一次 可信 电子证照 交叉验证
下载PDF
20世纪60年代中国试办托拉斯的历史轨迹 被引量:1
12
作者 张忠江 《茂名学院学报》 2006年第5期14-17,共4页
从20世纪60年代初到“文化大革命”爆发之前,我国试图借用西方托拉斯组织的管理形式来对高度集中的工业管理体制进行改革。试办托拉斯的过程可以分为四个阶段:从1962年2月至1964年8月,是酝酿阶段;从1964年8月至1965年5月,是试办阶段;从1... 从20世纪60年代初到“文化大革命”爆发之前,我国试图借用西方托拉斯组织的管理形式来对高度集中的工业管理体制进行改革。试办托拉斯的过程可以分为四个阶段:从1962年2月至1964年8月,是酝酿阶段;从1964年8月至1965年5月,是试办阶段;从1965年5月至1966年5月,是调整阶段;从1966年5月至1969年2月是终结阶段。 展开更多
关键词 中国托拉斯 试办托拉斯 工业管理体制
下载PDF
“举家食粥酒长赊”新解
13
作者 林冠夫 《华侨大学学报(哲学社会科学版)》 2005年第3期107-110,共4页
敦诚诗《赠曹雪芹》有“举家食粥酒常赊”句,其中的“赊”字,一向解释为赊欠,买酒付不出现钱,欠下酒债。本文以“赊”字在古人诗词中的用法,对流行的解释提出异议。
关键词 曹雪芹 敦诚 赊欠 富多远缓 旷达
下载PDF
非正式制度与家族企业的发展 被引量:2
14
作者 李纯 《北京工商大学学报(社会科学版)》 北大核心 2005年第1期25-32,共8页
许多研究认为制约中国家族企业的关键因素是中国传统文化缺乏信任的影响。但本文的观点认为缺少遵守正式制度的传统习惯是制约家族企业发展的主要因素。制度变迁中的中国家族企业的发展充分利用了人际关系网络在资源配置中的特殊作用,... 许多研究认为制约中国家族企业的关键因素是中国传统文化缺乏信任的影响。但本文的观点认为缺少遵守正式制度的传统习惯是制约家族企业发展的主要因素。制度变迁中的中国家族企业的发展充分利用了人际关系网络在资源配置中的特殊作用,扭曲了价格,产生了大量负面的影响。中国家族企业的发展壮大,取决于能否树立起新的遵守正式制度要求的行为规范。 展开更多
关键词 非正式制度 家族企业 信任 特殊主义
下载PDF
A TrustEnclave-Based Architecture for Ensuring Run-Time Security in Embedded Terminals 被引量:1
15
作者 Rui Chang Liehui Jiang +2 位作者 Wenzhi Chen Yaobin Xie Zhongyong Lu 《Tsinghua Science and Technology》 SCIE EI CAS CSCD 2017年第5期447-457,共11页
The run-time security guarantee is a hotspot in current cyberspace security research, especially on embedded terminals, such as smart hardware as well as wearable and mobile devices. Typically, these devices use unive... The run-time security guarantee is a hotspot in current cyberspace security research, especially on embedded terminals, such as smart hardware as well as wearable and mobile devices. Typically, these devices use universal hardware and software to connect with public networks via the Internet, and are probably open to security threats from Trojan viruses and other malware. As a result, the security of sensitive personal data is threatened and economic interests in the industry are compromised. To address the run-time security problems efficiently, first, a TrustEnclave-based secure architecture is proposed, and the trusted execution environment is constructed by hardware isolation technology. Then the prototype system is implemented on real TrustZone-enabled hardware devices. Finally, both analytical and experimental evaluations are provided. The experimental results demonstrate the effectiveness and feasibility of the proposed security scheme. 展开更多
关键词 run-time security trusted execution environment hardware isolation trustZONE
原文传递
国有中小企业民营化及其模式探索
16
作者 张卿 《佛山科学技术学院学报(社会科学版)》 2004年第2期65-68,共4页
我国国有中小企业制度变革正处于"卡尔多改进"阶段,主要表现为发展模式的分化。民营化是近几年人们热衷于理论和实践的一种模式。我们认为,国企民营化与国企民有化是两种不同性质的制度安排,前者是指企业在国有基础上的民间... 我国国有中小企业制度变革正处于"卡尔多改进"阶段,主要表现为发展模式的分化。民营化是近几年人们热衷于理论和实践的一种模式。我们认为,国企民营化与国企民有化是两种不同性质的制度安排,前者是指企业在国有基础上的民间经营方式,是所有制的实现形式;后者是指企业的国有产权转变成民有,是所有制的彻底变革。目前,我国国有中小企业民营化的条件是比较充分的。通过比较论证,托管制是一种较为可行的模式之一。 展开更多
关键词 国有中小企业 民营化 民有化 托管制
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部