排序方式: 共有11条查询结果,搜索用时 0 毫秒
1.
可信平台模块(trusted platform module, TPM)是信息安全领域热点研究方向可信计算的关键部件,其安全性直接影响整个可信计算平台的安全性,需要对其进行安全性验证.针对已有工作对TPM规范中多类安全性问题进行形式化建模与验证过程中所存在的不足,从分析TPM和使用者的交互过程出发,使用应用π演算对TPM进行形式化建模,把TPM规范中定义的各实体行为特性抽象成为进程的并发安全性问题,在讨论并发进程中机密性、认证性和弱机密性的基础上,对交互模型进行安全性论证,提出并使用自动定理证明工具验证了对应安全属性的改进方案. 相似文献
2.
都市圈轨道交通的融合发展是推进区域一体化的重要基石.通过对国内外典型案例的分析,总结出都市圈轨道交通一体化发展的模式、特点和适用性.针对广佛都市圈既有轨道交通发展存在的问题,以出行需求为导向,提出了广佛两市轨道交通的衔接通道和模式.围绕实现"网络一体化、换乘一体化、票务一体化"三大核心战略目标,提出实施"枢纽锚固、互相渗透、联网编织"的发展策略,构筑了"互联互通、换乘便捷、一票通达"的广佛都市圈轨道交通"一张网". 相似文献
3.
轨道交通是城市交通的脊梁,是公共交通的重要载体。大力发展轨道交通是解决大城市交通问题的有效途径,是实现低碳城市交通可持续性发展的重要举措。广州作为特大型城市,要解决日益严重的交通拥堵和交通污染问题,必须充分发挥轨道交通的重要作用,积极打造广州“公交城市”,大力推进轨道交通建设,为广大群众提供安全、便捷、舒适、高品质的公共交通服务。 相似文献
4.
5.
6.
7.
为了把握当前人因工程学的研究现状,本文选取中国知网(CNKI)2008~2013年收录的国内外人因工程学期刊的关键词为研究对象,采用词频统计、共词聚类分析和社会网络分析方法,利用文献题录信息统计分析工具SATI3.2进行词频统计,运用NetD raw和SPSS分别对统计结果进行社会网络分析和聚类分析。对关键词从无序到有序的层层分析,从关键词的角度探讨了国内外人因工程学的研究现状,通过分析发现国内人因工程研究内容比较分散,而国外人因工程研究内容集中;国内的主要研究领域是人机系统研究,国外的主要研究领域是不同人群的职业健康研究。 相似文献
8.
9.
10.