A formal foundation for security architecture. Security of computer systems is essential for the maintenance of privacy, confidentiality and integrity of personal, commercial and government data, and the trustworthiness of the computational devices that are embedded in critical societal infrastructure. However, current theoretical understanding of secure systems development is poor. The project will develop our understanding of an emerging approach to the design of secure systems and develop ver ....A formal foundation for security architecture. Security of computer systems is essential for the maintenance of privacy, confidentiality and integrity of personal, commercial and government data, and the trustworthiness of the computational devices that are embedded in critical societal infrastructure. However, current theoretical understanding of secure systems development is poor. The project will develop our understanding of an emerging approach to the design of secure systems and develop verification methods that may be applied to guarantee systems security. Its outcomes will contribute to processes for certifying systems at very high levels of security, a requirement in defence and government settings that will become increasingly significant in the commercial sector.Read moreRead less
Mathematics of Cryptography. The Australian economy and society requires fast, reliable, and secure communication. Current first-generation security solutions are not capable of supporting the efficiency and scalability requirements of mass-market adoption of wireless and embedded consumer applications. New security infrastructures are emerging and must be carefully, but rapidly, defined. Thus developing new mathematically solid tools in this area is an important and urgent tasks. In addition, t ....Mathematics of Cryptography. The Australian economy and society requires fast, reliable, and secure communication. Current first-generation security solutions are not capable of supporting the efficiency and scalability requirements of mass-market adoption of wireless and embedded consumer applications. New security infrastructures are emerging and must be carefully, but rapidly, defined. Thus developing new mathematically solid tools in this area is an important and urgent tasks. In addition, the intended work advances our knowledge of the theory and the quality of our culture. As such, it will promote the Australian science and will also have many practical applications in Cryptography, Computer Security and E-Commerce.Read moreRead less
Mathematics of Cryptography. The Australian society and economy requires fast, reliable, and secure communication. First-generation security solutions are not capable of supporting the efficiency and scalability requirements of mass-market adoption of wireless and embedded consumer applications. New security infrastructures are emerging and must be carefully, but rapidly, defined. Thus developing new mathematically solid tools in this area is one of the most important and urgent tasks. Besides, ....Mathematics of Cryptography. The Australian society and economy requires fast, reliable, and secure communication. First-generation security solutions are not capable of supporting the efficiency and scalability requirements of mass-market adoption of wireless and embedded consumer applications. New security infrastructures are emerging and must be carefully, but rapidly, defined. Thus developing new mathematically solid tools in this area is one of the most important and urgent tasks. Besides, the intended work advances our knowledge of the theory and the quality of our culture. As such, it will promote the Australian science and will also have many practical applications in Cryptography, Computer Security and E-Commerce.Read moreRead less
Boundary Crossing Analysis for Random Processes with Applications to Risk Management. Effective management of environmental, financial and superannuation investment risks is vitally important for Australia. Results of the project will add to the theoretical foundations of risk management and provide new computational tools for specialists working in the areas of financial engineering, insurance, superannuation funds. These tools will assist in improving risk profile evaluation and developing new ....Boundary Crossing Analysis for Random Processes with Applications to Risk Management. Effective management of environmental, financial and superannuation investment risks is vitally important for Australia. Results of the project will add to the theoretical foundations of risk management and provide new computational tools for specialists working in the areas of financial engineering, insurance, superannuation funds. These tools will assist in improving risk profile evaluation and developing new statistical control charts for security monitoring of epidemics, networks intrusions and other potentially dangerous changes. The research will also give Australia a competitive advantage in the area of education related to stochastic processes, mathematical finance, control theory and their applications.Read moreRead less
Refinement of Temporal and Epistemic Specifications in Asynchronous Systems. Designing distributed systems is a complex activity requiring rigorous mathematical models of designs and specifications. It is desirable for the mathematical notations to be as close as possible to intuitive notions used by designers. One such notion is the idea that components in a distributed system have states of knowledge. Previous work has developed a calculus enabling derivation of systems with global clock by s ....Refinement of Temporal and Epistemic Specifications in Asynchronous Systems. Designing distributed systems is a complex activity requiring rigorous mathematical models of designs and specifications. It is desirable for the mathematical notations to be as close as possible to intuitive notions used by designers. One such notion is the idea that components in a distributed system have states of knowledge. Previous work has developed a calculus enabling derivation of systems with global clock by series of correctness-preserving transformations from a knowledge-based specification. This project will generalize this work to a calculus for systems that lack a global clock, and implement a tool providing automated support for use of the calculus.Read moreRead less
Developing Sophisticated e-Business Automation. This project will provide theoretical foundations and a practical platform for developing advanced e-business automation technology. As such, it will significantly enhance Australia's leading role in the cutting edge research on e-business automation. By applying the new methodology and technology, Australian IT industries will be able to develop highly efficient e-market application systems, which will be financially beneficial to most organizatio ....Developing Sophisticated e-Business Automation. This project will provide theoretical foundations and a practical platform for developing advanced e-business automation technology. As such, it will significantly enhance Australia's leading role in the cutting edge research on e-business automation. By applying the new methodology and technology, Australian IT industries will be able to develop highly efficient e-market application systems, which will be financially beneficial to most organizations as Australia business and institutions are moving towards a more electronically oriented future. With a strong research team and collaborative research training environment, this project will further promote Australia's international reputation as a leader in Computing and IT research.Read moreRead less
Foundations of Executable Temporal Logic. In many computer applications, including those of temporal reasoning, distributed computations and knowledge representations, the concept of time is of central importance. Multiple granularity of time also plays a critical role as not all events are necessarily defined over a uniform model of time. This project will develop the foundations of executable logical representations, supporting multiple granularity of time. This will allow system developers a ....Foundations of Executable Temporal Logic. In many computer applications, including those of temporal reasoning, distributed computations and knowledge representations, the concept of time is of central importance. Multiple granularity of time also plays a critical role as not all events are necessarily defined over a uniform model of time. This project will develop the foundations of executable logical representations, supporting multiple granularity of time. This will allow system developers access to powerful logical techniques in those applications. In the process, fundamental problems in modelling multiple granularity of time will be identified, and application-independent solutions to those problems will be provided.Read moreRead less
Normal forms and Chern-Moser connection in the study of Cauchy-Riemann Manifolds. This research project is aimed at a systematic study of Cauchy-Riemann manifolds, their holomorphic mappings and automorphisms, by means of a unifying approach based on
Chern-Moser type normal forms. The importance of Cauchy-Riemann manifolds stems from the fact that they bridge complex structure and holomorphy with the Riemannian nature of real manifolds. Construction of an analogue of the Chern-Moser normal form ....Normal forms and Chern-Moser connection in the study of Cauchy-Riemann Manifolds. This research project is aimed at a systematic study of Cauchy-Riemann manifolds, their holomorphic mappings and automorphisms, by means of a unifying approach based on
Chern-Moser type normal forms. The importance of Cauchy-Riemann manifolds stems from the fact that they bridge complex structure and holomorphy with the Riemannian nature of real manifolds. Construction of an analogue of the Chern-Moser normal form for multicodimensional Levi-nondegenerate CR-manifolds and extension of CR-mappings between them are major goals in complex analysis. Identification of Chern-Moser chains and equivariant linearisation of isotropy automorphisms are major goals in geometry.Read moreRead less
Foundations of Nonmonotonic Logic Programming for Complex Knowledge Systems. This project will fundamentally provide a new paradigm of nonmonotonic logic programming. As such, it will significantly contribute towards Australia's leading role in the cutting edge research of intelligent systems development. The new nonmonotonic logic programming can be used as an effecive platform by many Australian computer companies for building complex knowledge systems in real world domains. Hence this projec ....Foundations of Nonmonotonic Logic Programming for Complex Knowledge Systems. This project will fundamentally provide a new paradigm of nonmonotonic logic programming. As such, it will significantly contribute towards Australia's leading role in the cutting edge research of intelligent systems development. The new nonmonotonic logic programming can be used as an effecive platform by many Australian computer companies for building complex knowledge systems in real world domains. Hence this project has potential economic and social benefits for Australia. With a very strong research team across different universities and a collaborative research training environment, this project will further enhance Australia's international reputation as a leader in computing & IT research.Read moreRead less
Knowledge Based Model Updating for the Correctness of Security Protocols. This project will fundamentally provide a new paradigm of the security protocol verification and modification. As such, it will significantly enhance Australia's already leading role in the cutting edge research on information security. By applying the new methodology and technology, Australian IT industry will be able to develop more secure communication systems in real world domains. With a very strong research team acro ....Knowledge Based Model Updating for the Correctness of Security Protocols. This project will fundamentally provide a new paradigm of the security protocol verification and modification. As such, it will significantly enhance Australia's already leading role in the cutting edge research on information security. By applying the new methodology and technology, Australian IT industry will be able to develop more secure communication systems in real world domains. With a very strong research team across different areas such as knowledge reasoning, temporal logics and information security, and a collaborative research training environment, this project will further enhance Australia's international reputation as a leader in computing and IT research.Read moreRead less