首页>
外国专利>
METHOD FOR MODEL BASED VERIFICATION OF SECURITY POLICIES FOR WEB SERVICE COMPOSITION
METHOD FOR MODEL BASED VERIFICATION OF SECURITY POLICIES FOR WEB SERVICE COMPOSITION
展开▼
机译:Web服务组合安全策略的基于模型的验证方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method for model, based verification of security policies for web service composition. The method includes corresponding to a verification generated by an information Row analysis. The method further includes obtaining an abstracted security qualifier. The method proceeds by presenting the abstracted security qualifier to an application model. The abstracted, security qualifier being presented to the application model as a security requirement. Subsequently, the method proceeds by farther including removing the data security requirement on data utilized in the service from the compliance rule. The method proceeds by processing flow in the application model, such processing being based upon the data security requirement. The method further includes verifying the consistency in response to the processing flow.
展开▼