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
Cost-effective Edge Service Provisioning in the Last Mile of 5G. This project aims to deliver a suite of novel approaches for enabling cost-effective last-mile service provisioning in the 5G mobile edge computing (MEC). This project is the world's first attempt to systematically tackle the critical service provisioning challenges in the last mile where base stations link users to MEC applications. It offers a practical solution for provisioning software vendors' MEC services cost-effectively. Th ....Cost-effective Edge Service Provisioning in the Last Mile of 5G. This project aims to deliver a suite of novel approaches for enabling cost-effective last-mile service provisioning in the 5G mobile edge computing (MEC). This project is the world's first attempt to systematically tackle the critical service provisioning challenges in the last mile where base stations link users to MEC applications. It offers a practical solution for provisioning software vendors' MEC services cost-effectively. This project should drive Australia's 5G transition and innovations, promote its post-COVID economic recovery and resilience by enabling various real-time mobile and IoT applications, e.g., telehealth, remote learning/working, industry 4.0, and ensure its pioneering position in the global 5G research.Read moreRead less