期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
基于Petri网的铁路信号联锁逻辑形式化描述的研究
1
作者 韩晓燕 颜荣正 《煤矿现代化》 2005年第5期40-41,共2页
在层次化有色Petri网的基础上,引入了UML建模技术的类图的概念和方法,提出了一种针对联锁逻辑Petri网的建模方法,并以铁路车站设备的HCPN模型为前提,介绍了铁路联锁逻辑层的形式化描述方法。
关键词 层次化有色Petri网 UML建模 联锁逻辑 有色PETRI网 形式化描述方法 信号联锁 逻辑 铁路 建模技术 建模方法 车站设备 层次化
在线阅读 下载PDF
3GPP中的协议一致性测试研究
2
作者 付晓宇 郝丹丹 《无线通信技术》 2003年第2期17-22,共6页
随着 3G技术的进一步发展和成熟 ,现在电信和其他数据通信技术面临着一个进一步融合突破的时代。 3G的发展更推动了全球实现无缝漫游 ,互连互通的需求。这样就为全球的 3G设备制造商提出了更高的要求。但由于各协议实现厂家对协议的不... 随着 3G技术的进一步发展和成熟 ,现在电信和其他数据通信技术面临着一个进一步融合突破的时代。 3G的发展更推动了全球实现无缝漫游 ,互连互通的需求。这样就为全球的 3G设备制造商提出了更高的要求。但由于各协议实现厂家对协议的不同理解 ,通信设备的协议非一致性问题将日趋严重 ,为了检查各个不同生产厂家的实现是否与标准文本相一致 ,进而确保不同厂家的 3G协议实现之间能够互操作 ,一致性测试是非常必要的。文中根据笔者在 3GPP中T1信令组工作背景为基础 ,并以MAC部分测试结构和方式为例 ,给出了形式化的TTCN格式。全面的论述了 展开更多
关键词 3G 3GPP 协议一致性测试 TTCN格式 形式化描述方法 第三代合作伙伴计划
在线阅读 下载PDF
Trust-Compensation-Based Access Control Model for Web Services 被引量:1
3
作者 Yan Danfeng Sun Jing +1 位作者 Zhang Liying Yang Fangchun 《China Communications》 SCIE CSCD 2012年第12期8-21,共14页
For most current Web Service access control methods, Web Service providers create a series of access control roles based on specified attributes. Only by meeting all the roles can a subject obtain the access to necess... For most current Web Service access control methods, Web Service providers create a series of access control roles based on specified attributes. Only by meeting all the roles can a subject obtain the access to necessary operations and resources. However, because of the dynamic and open traits of Web Services, it is difficult for Web Service providers to work out an access control policy with moderate intensity and to realize a satisfactory balance between protecting the security of resources and maintaining the service reachable rate. To provide a solution to the above problem, this paper proposed a trust compensation access control method based on the Attribute-Based Access Control model. Our main contributions include a formal description of the access control method, a method to calculate the attribute trust degree based on time decay, and the trust compensation value of the attribute trust degree, as well as a new Service Oriented Architecture (SOA) architecture and its procedures based on a detailed trust compensation access control method. 展开更多
关键词 access control trust compensation web service feedback
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部