基于时态逻辑的可信平台信任链建模

针对可信计算中信任链理论缺乏深入分析验证的现状,分析了信任链理论中,可信与信任的内涵及其隐含的动态特性,借助时态逻辑的时间推理能力,建立了可信平台中的信任链的形式化模型,依据该模型,观察信任传递的过程,从而从理论上验证了信任在信任链上的可传递性,并得出信任在信任链上传递的充分条件.     

细粒度信任链研究方法

分析信任链相关研究的当前发展水平,提出细粒度信任链和细粒度系统软件信任链的思想,阐明只有细粒度信任链才能描述现实应用的真实情况.根据问题空间的复杂性,提出细粒度信任链建模的问题分解方法.该方法通过逐步拓展的策略,首先建立细粒度系统软件信任链模型,然后在此基础上建立完全的细粒度信任链模型.     

基于可信计算平台的可信动态客体监管系统的设计与实现

大部分安全操作系统在处理客体时,没有区分具体的客体类型,均采用统一的方法进标识,而且多数安全操作系统中采用传统访问控制方法保护的客体均是静态客体,忽略了对动态客体的保护,使得黑客或攻击者可以进行欺骗和中间人攻击,因此,安全操作系统中的动态客体并不可信.首先分析了操作系统中客体的类型,提出了可信动态客体的概念,并分析了其特点.为了防止动态客体泄露信息,提出了基于TPM的可信动态客体监管系统.一方面,该系统要求主体必须在TPM中注册,确保主体身份合法性,才能利用可信动态客体进行信息传递;另一方面,在TPM中必须存储创建该可信动态客体的属主的身份信息,以确保可信动态客体身份的合法性.最后进行了安全和性能分析,分析表明该可信动态客体监管系统可以阻止黑客利用动态客体进行欺骗和中间人攻击,防止信息泄露,为进一步建立可信计算环境提供了基础.     

基于可信计算平台的静态客体可信验证系统的设计与实现

在安全操作系统中,通常采用了多种访问控制模型来保证静态客体的内容的机密性和完整性.但是,传统的访问控制政策不能保证静态客体内容的真实性.因此,安全操作系统中的客体并不可信.本文首先分析了操作系统中客体的类型,总结了安全操作系统中对静态客体的处理存在的问题,提出可信静态客体的概念并分析其特点.为了保证可信静态客体内容的真实性,提出了基于TPM的静态客体可信验证系统.该系统将生成可信静态客体的映像文件,映像文件记录某可信静态客体的来源、各次处理行为和内容变化的签名并存于TPM中.最后对该可信验证系统进行了安全和性能分析.分析表明,该可信验证系统可以保证可信静态客体内容的真实性,为进一步建立可信计算环境提供了基础.     

普适计算环境下信任机制的研究进展

在普适计算环境下,各种资源、设备和用户均是高度动态变化的,服务请求者和服务提供者一般互相不了解,因此普适计算环境下各陌生实体间的相互认证是传统的基于身份的认证机制无法解决的.普适计算信任建模机制可以解决普适计算环境下的不确定性问题,为陌生实体间建立信任关系,因此成为普适计算中的一个研究热点.基于此,本文对于目前国外关于普适计算信任建模机制的研究现状做了一个总结,通过分析和比较,给出了普适计算信任建模的设计原则,探讨了普适计算信任建模问题的未来发展方向.     

基于TPM的可信文件系统CIVFS的研究和实现

本文提出一种利用可信计算技术增强文件系统可信性的方法,以Linux为基础,设计实现了一个可信文件系统原型CIVFS.CIVFS是一个结合加密和完整性校验两种保护措施的文件系统,它借助堆式文件系统技术,嵌入在Linux内核中,添加了文件加密和完整性校验模块,利用TPM芯片提供的可信计算和安全存储等功能,增强了对系统安全组件和数据的安全保护.     

TPM的两个主要密码授权协议的安全性分析与改进

可信计算的主要功能是由可信平台模块(TPM)完成的.对象无关授权协议(0IAP)、特定对象授权协议(OSAP)是TPM在可信计算平台中运行的基础,确保这些协议的安全运行是极为重要的.本文对这两个授权协议进行了逻辑描述并对其安全性进行了分析,针对协议的安全隐患提出了相应的改进方法.     

聚合物胶束药物传递系统的研究进展

综述了聚合物胶束的自组装原理和结构、制备方法、体内过程和应用等。与传统的表面活性剂胶束比较，聚合物胶束具有良好的生物相容性和稳定性、较长的体循环时间，尤其在经过表面修饰后，还可有靶向和定位传递作用。     

基于区块链的药物临床试验数据平台构建探讨

本文基于区块链技术对构建药物临床试验数据平台进行可行性分析,将区块链技术融入到药物临床试验数据平台的数据安全采集、储存和共享体系设计中,提出基于区块链技术搭建的药物临床试验数据平台构建方案.该平台的提出旨在促进我国药物临床试验过程数字化、智能化进程,更好地保证药物临床试验数据的真实性、可靠性和完整性,提高临床试验效率,...     

黏膜疫苗传递系统的研究进展

黏膜疫苗能同时诱导系统和局部黏膜免疫应答,是预防感染性疾病最理想的一类疫苗.但黏膜疫苗存在两大障碍:抗原无效摄取和难以引发有效免疫反应.因此,研发新型黏膜疫苗传递系统必须要克服这些障碍.本文综述了黏膜免疫的作用机制、黏膜疫苗的特点及其传递系统的研究现状.     

基于TPM硬件的移动Agent安全模型研究

主要讨论了安全强度较高的基于硬件的移动Agent安全方案.将可信计算技术与平台引入移动Agent的安全机制,基于可信硬件TPM所提供的相关安全服务实现移动Agent的主动保护机制.设计了在可信硬件平台上的移动Agent安全框架模型并进行了详细分析.     

浅析连锁药店差异化发展

目的:为连锁药店的差异化发展提供参考。方法:引入竞争的“五力模型”,结合实例分析连锁药店的经营特色和发展趋势。结果与结论:连锁药店应该站在长远的发展角度上,寻找适合自身发展的特色道路,在经营形态差异化、经营商品多元化和服务差异化、品牌差异化及管理规范化等方面下功夫。     

基于智能供应链视角下药品流通环节的挑战研究

目的：了解现阶段我国药品流通环节智能化研究进展，梳理药品流通环节面临的挑战，提出解决挑战的策略，以期促进我国药品流通环节智能化进程。方法：采用回顾性研究的方法，以“药品供应链”“医药供应链”为关键词，在万方、中国知网数据库检索，经筛选得到39篇文献；运用NoteExpress、Cite Space软件对其进行分类整理。结果与讨论：我国药品流通环节信息技术需要提升，追溯体系待健全；流通企业较分散，物流体系待完善；医疗机构智能化水平弱，药品质量风险高。应推进信息化建设，提高供应链可视度，整合供应链以提高运营效率，早日实现智能药品供应链，完成流通环节的转型升级。     

基于熵权法的连锁药店综合竞争力评价

目的：探寻影响连锁药店综合竞争力的决定因素,为提升连锁药店综合竞争力提供参考建议。方法：构建连锁药店综合竞争力评价指标体系,基于熵权法对2010年我国销售额百强排行榜中的11家上市连锁药店进行综合评价和排名,分析影响连锁药店综合竞争力的主要因素,并提出提高综合竞争力的措施。结果与结论：从连锁药店的规模水平、经营水平和财务管理水平3个层面构建我国连锁药店的综合竞争力评价指标体系;综合竞争力排名前2位的连锁药店是辽宁成大方圆大药房和国药控股国大药房,综合评分分别为0.1020、0.1000;影响连锁药店综合竞争力的主要因素有经营水平和财务管理水平。连锁药店可以通过避免盲目扩张、改变经营策略和提高财务管理水平以提升综合竞争力。     

基于医院药品供应链的风险管理计划研究

目的:为尽可能地控制药品供应链流程中的各类风险因素,确保药物治疗的有效性和安全性提供参考。方法:制定风险管理计划,即识别医院药品供应链中各风险事件的发生环节、涉及范围等情况,对涉及范围广的10个风险事件进行可能性、影响力、可控性分析与评估,制定应对措施。结果与结论:风险发生环节有采购、储藏、调配、使用、高危药品管理5处。涉及范围广的10个风险事件发生可能性程度不一,影响力均在中等及以上,可控性由一般到强不等;风险优先级以采购与调配环节优先,储藏环节次之。通过建立责任矩阵、加强沟通协调、加强软硬件建设、着重人力资源管理等措施,可较好地控制风险。     

基于价值链的制药企业外包战略探讨

目的:探讨制药企业的外包战略。方法:以价值链理论为基础,分析制药企业实施外包战略的可行性与必要性,并评价现阶段我国制药企业可采用的外包战略。结果与结论:业务外包是我国制药企业的可行选择,可有效提高制药企业的竞争力。