期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
协议模型形式描述方法与趋势
1
作者 陈骏林 《华北电力学院学报》 北大核心 1990年第1期50-59,共10页
本文分析了协议模型形式描述方法(自动机法,Petri-net法,高级语言模型,语义学模型,时态逻辑,代数模型,混合型模型)和特点,并简要介绍了协议形式描述技术的应用和发展趋势。
关键词 计算机网络 协议模型 形式描述法
下载PDF
Trust-Compensation-Based Access Control Model for Web Services 被引量:1
2
作者 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
Integrated optimal method for cell formation and layout problems based on hybrid SA algorithm with fuzzy simulation
3
作者 周炳海 Lu Yubin 《High Technology Letters》 EI CAS 2017年第1期1-6,共6页
To adapt to the complex and changeable market environment,the cell formation problems(CFPs) and the cell layout problems(CLPs) with fuzzy demands were optimized simultaneously. Firstly,CFPs and CLPs were described for... To adapt to the complex and changeable market environment,the cell formation problems(CFPs) and the cell layout problems(CLPs) with fuzzy demands were optimized simultaneously. Firstly,CFPs and CLPs were described formally. To deal with the uncertainty fuzzy parameters brought,a chance constraint was introduced. A mathematical model was established with an objective function of minimizing intra-cell and inter-cell material handling cost. As the chance constraint of this problem could not be converted into its crisp equivalent,a hybrid simulated annealing(HSA) based on fuzzy simulation was put forward. Finally,simulation experiments were conducted under different confidence levels. Results indicated that the proposed hybrid algorithm was feasible and effective. 展开更多
关键词 fuzzy demand cell formation and cell layout problem chance constraint fuzzysimulation simulated annealing algorithm
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部