Combining modal logics for dynamic and multi-agent systems. Modern computer software systems are required to operate in complex dynamic environments and to handle functioning of highly sensitive (security and safety-critical) organizations in government and commerce. Typical applications include air-traffic control systems, telecommunication networks, and banking systems. To ensure robustness, computationally predictable behaviour and trustworthiness of these systems, their designs and implement ....Combining modal logics for dynamic and multi-agent systems. Modern computer software systems are required to operate in complex dynamic environments and to handle functioning of highly sensitive (security and safety-critical) organizations in government and commerce. Typical applications include air-traffic control systems, telecommunication networks, and banking systems. To ensure robustness, computationally predictable behaviour and trustworthiness of these systems, their designs and implementations must be formally well grounded. This is an important but difficult challenge. This project will systematically develop a framework by combining modal-logics to adequately capture and reason about temporal, epistemic and social aspects of dynamic and multi-agent systems. The combined logics would be evaluated on practical applications.
Read moreRead less
Model checking Multi-Agent System and its applications. This research project directly addresses two of the Australian Government's four National Research Priorities: National Research Priorities 3 and 4. It will develop an enabling technology that is applicable to the development of safety-intensive and highly dependable software systems like medical equipment and airport controlling systems. The security protocol analysis technologies developed by this project can be useful for providing impro ....Model checking Multi-Agent System and its applications. This research project directly addresses two of the Australian Government's four National Research Priorities: National Research Priorities 3 and 4. It will develop an enabling technology that is applicable to the development of safety-intensive and highly dependable software systems like medical equipment and airport controlling systems. The security protocol analysis technologies developed by this project can be useful for providing improved ways of military operation flows, and for making Australian security communication systems more dependable.Read moreRead less