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.