Securing Web-based Services by Policy Coherence and Proof-checking

该项目旨在为工作流开发一个可证明正确的网络安全系统，使组织能够提供灵活和更安全的基于web的服务和业务通信。该项目预计将在物联网和网络安全领域产生新的知识，理论进步和新技术。预期的结果包括一个带有文档的软件工具，它可以帮助组织实现卓越的运营和安全性，并为最终用户维护一个值得信赖的环境。该系统将为企业和最终用户提供显著的经济和商业效益，提供高度安全的网络服务，并通过一致的框架和经过验证的工作流程提高生产率。

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.