Method for model based verification of security policies for web service composition
US8650608B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Jan 16, 2007 |
| Grant date | Feb 11, 2014 |
| Priority date | — |
| Expiry date | Feb 27, 2031 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F21/62
- WIPO fieldDigital communication
- WIPO sectorElectrical engineering
Abstract
A method for model based verification of security policies for web service composition. The method includes corresponding to a verification generated by an information flow 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.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.