Securing Web-based Services by Policy Coherence and Proof-checking. This project aims to develop a provably correct cybersecurity system for workflows, which enables organizations to provide flexible and more secure web-based services and business communication. The project expects to generate new knowledge, theoretic advancement and result in new technologies in the areas of internet of things and cybersecurity. The expected outcomes include a software tool with documentation, which helps organ ....Securing Web-based Services by Policy Coherence and Proof-checking. This project aims to develop a provably correct cybersecurity system for workflows, which enables organizations to provide flexible and more secure web-based services and business communication. The project expects to generate new knowledge, theoretic advancement and result in new technologies in the areas of internet of things and cybersecurity. The expected outcomes include a software tool with documentation, which helps organisations achieve operational excellence and security, and maintain a trusted environment for end users. This system will provide significant economic and commercial benefits to business and end users with highly secured web-services and improved productivity through a coherent framework and proof-checked workflows.Read moreRead less