排序方式: 共有20条查询结果,搜索用时 15 毫秒
1.
2.
3.
一种新的安全协议验证方法 总被引:7,自引:0,他引:7
提出了一种基于Petri网的安全协议形式化描述和安全性验证的方法.该方法的特点是利用逆向状态分析和Petri网的状态可达性分析,判定协议运行过程中可能出现的不安全状态以及这些状态是否可达.通过实例证明了这种方法的有效性. 相似文献
4.
5.
Windows平台基于IPSec的VPN系统的研究与实现 总被引:3,自引:0,他引:3
VPN技术应用日益广泛,IPSec已成为实现VPN的主流方式。Windows操作系统在国内广泛流行,掌握Win-dows平台的IPSec开发技术,对于促进国内VPN技术的发展有重要意义。该文介绍了在Windows平台下开发基于IPSec的VPN系统的关键技术。 相似文献
6.
7.
基于工作流状态的动态访问控制 总被引:19,自引:0,他引:19
访问控制是信息系统的一个重要安全保护机制。访问控制规定了主体对客体访问的限制,合法的用户可以访问数据项,非法的用户将被禁止,访问控制矩阵确定主体对客体的访问权利,主要讨论了工作流执行时的访问控制问题,提出了一种基于工作流状态的动态问控制机制。同时还给出了工作流的Petri网描述,在此基础上,证明了采用这种动态访问控制机制可以降低数据误用的危险性。 相似文献
8.
半刚性路面基层收缩开裂静态力学模型研究 总被引:2,自引:0,他引:2
半刚性基层材料的收缩开裂极大地影响了路面的使用性能和服役年限。选用裂缝间距和裂缝宽度作为评价裂缝发生几率和裂缝危害性的指标。通过对半刚性基层的收缩开裂力学原理分析,建立了一种半刚性基层的收缩开裂模型,采用文献报道的弹性模量、抗拉强度、收缩系数对路面基层收缩开裂的两个评价指标进行了计算,从计算结果可以看出:采用室内试验计算的结果和实际基层的表现有很大的背离,并分析了原因,提出从设计和施工方面改善抗裂性能的措施。 相似文献
9.
10.