自动信任协商安全性的形式化分析与验证

为了对自动信任协商(ATN)的安全性进行形式化分析与验证,文中借鉴安全协议的形式化分析方法,提出一种用进程代数Applied π演算对ATN建模并验证其安全性的方法.该方法将ATN形式化为两个协商者进程的并发执行,其中一个协商者的进程就是对其拥有的证书及授权策略的静态建模;ATN的安全性被定义为Applied π演算的观察等价性,从而使该方法不仅能检查授权策略执行的安全性,而且能对协商者的隐私安全进行验证.借助安全协议的自动分析工具ProVerif,文中实现了对ATN安全性的自动分析.实验结果表明,用Applied π演算形式化及验证ATN的安全性是可行的,安全性验证可自动完成,并且效率较高.     

民族地区马克思主义理论与实践大众化的思考

民族地区马克思主义理论大众化要解决为谁、怎样为谁的根本问题,应根据民族干部群众的需要研究和创建理论;应根据不同人群、不同地域的不同条件、不同特点,从事理论研究和宣传;应把理论的高雅与通俗、丰富与精炼统一起来;应坚持与时俱进,创新发展。民族地区马克思主义实践大众化要着力解决主体的多样性和自觉性;内容和形式的多样性;途径和方法的多样性;策略多样性和实际有效性。     

立足滨海与培养应用型金融人才的探讨

为了更好地适应未来金融人才的需求,更好地服务地方经济,迫切需要高素质的应用型人才。天津商业大学以培养复合型创业型应用人才为出发点,在培养应用型金融人才培养方面做出了有益的探索和实践,取得了良好的教学效果。     

浅议地铁盾构项目的成本管理

盾构项目由于其特殊性,其成本管理因而比较特殊和重要,文章从盾构机的选择、配件管理、人员配备、风险控制、工程进度管理5个方面阐述了盾构项目的成本管理.     

浅析电力变压器的事故处理

电力变压器是电力系统中很重要的设备,一旦发生事故,将造成很大的经济损失。分析各种电力变压器事故,找出原因,总结出处理事故的办法,把事故损失控制在最小范围内,尽量减少对系统的损害。     

TiC掺杂对MCMB烧结体组织和性能的影响

以Tween 80为分散剂,分别以丙烯酰胺和N,N'-亚甲基双丙烯酰胺为单体和交联剂,采用凝胶注模工艺制备中间相碳微球(mesocarbon microbead,MCMB)片状素坯,再经过1 600 ℃的烧结,制备MCMB素坯烧结体试样.试验研究了粒度大小对粉体分散性、MCMB碳材料催化石墨化效果、烧结后MCMB碳材料层板物理性能的影响,并分析了产生这些影响的原因.研究结果表明:50 nm的TiC在MCMB烧结体中的分散效果好于15 μm的TiC;随着Ti质量分数的增加,掺杂50 nm 的TiC层板性能优于掺杂15 μm的层板;50 nm的TiC比15 μm的TiC更适合做MCMB的掺杂物.     

汉代西北疆域的经济开发

西北边疆问题是研究汉代疆域史的一个重要问题,西北边疆的开发,促进了民族的融合和地区的发展.本文着力于从汉代对西北连续经济开发的主要工程、经济开发的意义及影响两个方面进行论述,从而为当今西部大开发提供一些历史借鉴.     

让大学生在社会实践中学习、锻炼成长

本文提出了社会实践活动是大学生健康成长的有效途径。就几年来组织学生开展社会实践活动的主要内容和形式进行了介绍,并对参加实践的效果做了切实的估量。     

高压全膜电力电容器用新浸渍剂苄基甲苯的研究

进行了由氯化苄与甲苯合成苄基甲苯的工艺研究,筛选了精制方法.合成和精制后的油品,检测了理化电性能,作成模型电容器进行各种试验,表明该绝缘油具有优异的性能.     

用正电子湮没寿命技术研究纯铜的形变缺陷

本文用正电子湮没寿命方法研究了形变纯铜缺陷产生的特点及其运动规律,讨论了位错密度和形变量之间的关系以及正电子寿命方法研究形变缺陷的适用范围。对试样所作的TEM观测得到与正电子寿命方法定性一致的结果。