In this paper, a Workflow-net based mathematical framework called Secure Workflow-net is proposed to enhance security attributes of service-specific overlays (SSO). The framework checks for resource accessibility privileges on an overlay node and grants access whenever credible. A formal method is provided to determine the accessibility and availability of resources intended for service subscribers. Additionally, a closed form theorem for framework soundness and lemmas to study the characteristics of the framework are introduced. Simulation results demonstrate how task coverage can still be achieved in an adequate timely manner when considering security issues to construct service composition workflows.
CITATION STYLE
Al Ridhawi, I., & Kotb, Y. (2018). A secure workflow-net model for service-specific overlay networks. In Lecture Notes in Electrical Engineering (Vol. 425, pp. 389–399). Springer Verlag. https://doi.org/10.1007/978-981-10-5281-1_42
Mendeley helps you to discover research relevant for your work.