Algebraic Models of Stream Ciphers. The project investigates communication security in the mobile environment where both confidentiality and authenticity are of a prime concern. Stream ciphers are a natural choice in mobile environments as they provide an efficient cryptographic protection using a limited computing resources. We treat stream ciphers as algebraic objects whose properties fully determine their cryptographic strength. We first analyse existing stream ciphers showing their algebraic ....Algebraic Models of Stream Ciphers. The project investigates communication security in the mobile environment where both confidentiality and authenticity are of a prime concern. Stream ciphers are a natural choice in mobile environments as they provide an efficient cryptographic protection using a limited computing resources. We treat stream ciphers as algebraic objects whose properties fully determine their cryptographic strength. We first analyse existing stream ciphers showing their algebraic properties and later we derive a design methodology for provably secure stream ciphers. The project leads to new secure and efficient designs for stream ciphers that are the preferred cryptographic tools used in Australian industry.Read moreRead less
Algebraic Properties of Cryptographic Components and their Cryptanalysis. The outcomes will enhance information and communication security, which is absolutely crucial for the rapidly growing e-commerce and e-government services in Australia. International collaboration will be strengthened by reciprocal exchange of researchers and postgraduate students leading to more attractive and productive research environment. Our project will help to maintain a high profile of Australian researchers, to i ....Algebraic Properties of Cryptographic Components and their Cryptanalysis. The outcomes will enhance information and communication security, which is absolutely crucial for the rapidly growing e-commerce and e-government services in Australia. International collaboration will be strengthened by reciprocal exchange of researchers and postgraduate students leading to more attractive and productive research environment. Our project will help to maintain a high profile of Australian researchers, to increase the capacity for consultancy and contract work, and provide a cutting-edge information technology for the Australian telecommunications industry, business and government.Read moreRead less
Algebraic Analysis of Cryptosystems. This project studies an (new) algebraic approach to cryptanalysis of modern block ciphers. The approach works for all cryptosystems that use either small S-boxes, or their algebraic structure can be described by a system of overdefined quadratic equations. The cryptosystems that are potentially breakable using this approach are Rijndael and Serpent - the two top finalists of the Advanced Encryption Standard contest. The project also explores how this approach ....Algebraic Analysis of Cryptosystems. This project studies an (new) algebraic approach to cryptanalysis of modern block ciphers. The approach works for all cryptosystems that use either small S-boxes, or their algebraic structure can be described by a system of overdefined quadratic equations. The cryptosystems that are potentially breakable using this approach are Rijndael and Serpent - the two top finalists of the Advanced Encryption Standard contest. The project also explores how this approach can be applied to design new and more powerful factoring algorithms. The project has an explosive potential to redefine the theory and practice of modern cryptography.Read moreRead less
Efficient Design for Generalized Linear Models. In industrial, commercial and social research, we collect data in order to predict the outcome of a process based on the inputs to that process. We want to maximize the information that is gained from the data. Good planning is crucially important to achieve this. This project will determine how best to select the inputs to the process for many situations that occur in research. A computer package to answer these questions will be written. The nati ....Efficient Design for Generalized Linear Models. In industrial, commercial and social research, we collect data in order to predict the outcome of a process based on the inputs to that process. We want to maximize the information that is gained from the data. Good planning is crucially important to achieve this. This project will determine how best to select the inputs to the process for many situations that occur in research. A computer package to answer these questions will be written. The nation will benefit from a fundamental increase in efficiency of research and, therefore, in efficient use of research dollars.Read moreRead less
Next-Generation Reference Process Models. Business process modelling is a key tool for organisations striving to create efficiencies by leveraging their IT infrastructure. This project will develop techniques for increasing the productivity of business process analysts by allowing them to reuse as much as possible existing models rather than systematically desigining new ones from scratch. Specifically, the project will develop and validate a language for designing highly configurable process mo ....Next-Generation Reference Process Models. Business process modelling is a key tool for organisations striving to create efficiencies by leveraging their IT infrastructure. This project will develop techniques for increasing the productivity of business process analysts by allowing them to reuse as much as possible existing models rather than systematically desigining new ones from scratch. Specifically, the project will develop and validate a language for designing highly configurable process models. This language will enable superior approaches to business process modelling and hence smarter use of information. This will place Australia at the forefront of developments in business process management: a crucial technology in today's global, dynamic and heterogeneous environments.Read moreRead less
Learning Semi-Naive Bayesian Classifiers from Numeric Data. This project addresses research priority 3, offering frontier technologies. It will deliver better and faster classification technologies that greatly help accomplish many real-world tasks including medical diagnosis, fraud detection, spam filtering and webpage search, where accurate and fast classification is critical to save life, increase efficiency, reduce crime and conserve resources. Hence this project addresses priority 4 as well ....Learning Semi-Naive Bayesian Classifiers from Numeric Data. This project addresses research priority 3, offering frontier technologies. It will deliver better and faster classification technologies that greatly help accomplish many real-world tasks including medical diagnosis, fraud detection, spam filtering and webpage search, where accurate and fast classification is critical to save life, increase efficiency, reduce crime and conserve resources. Hence this project addresses priority 4 as well, better safeguarding Australia from disease and crime. This project will also support a young research group of international standing. It will train the involved researchers to attain a high level of proficiency and excellence in machine learning research and development.Read moreRead less
Quality of Service-based Scheduling of e-Research Application Workflows on Global Grids. e-Research has the potential to offer Australia significant economic and social benefits as it enables researchers from different disciplines and organisations to engage in collaborative scientific investigation. In e-Research environments, users need to have secure access to remote resources owned by different organisations. Since these resources are not directly under the control of e-Research applications ....Quality of Service-based Scheduling of e-Research Application Workflows on Global Grids. e-Research has the potential to offer Australia significant economic and social benefits as it enables researchers from different disciplines and organisations to engage in collaborative scientific investigation. In e-Research environments, users need to have secure access to remote resources owned by different organisations. Since these resources are not directly under the control of e-Research applications, they need to negotiate with resource providers for access time, duration, and the level of quality of service expected to make sure that the interlinked operations are performed as required. This project develops information and communications technologies that enable the creation of such e-Research environments.Read moreRead less
Efficient Similarity Query Processing in High Dimensional Databases. This project studies a fundamental problem common to a wide range of applications. It contributes to smart use of information, which is vital to the modern knowledge-based economy, by providing an enabling technology to capitalise Australia's huge investment in data collection. Our research is right in the forefront of ICT research, leading the international effort of extending database technologies to support data management a ....Efficient Similarity Query Processing in High Dimensional Databases. This project studies a fundamental problem common to a wide range of applications. It contributes to smart use of information, which is vital to the modern knowledge-based economy, by providing an enabling technology to capitalise Australia's huge investment in data collection. Our research is right in the forefront of ICT research, leading the international effort of extending database technologies to support data management and query processing for very large and highly complex data.Read moreRead less
Designing for Reliability and Maintainability in Service-Oriented Architectures. This project aims to build expertise in the design of computer software, especially enterprise systems in domains such as finance and logistics that are vast in scale and highly complex and geographically separated. By fostering and formalising techniques for improving developer productivity and the reliability and maintainability of enterprise systems, Australia can secure a place as a world leader in software meth ....Designing for Reliability and Maintainability in Service-Oriented Architectures. This project aims to build expertise in the design of computer software, especially enterprise systems in domains such as finance and logistics that are vast in scale and highly complex and geographically separated. By fostering and formalising techniques for improving developer productivity and the reliability and maintainability of enterprise systems, Australia can secure a place as a world leader in software methodology, with an emphasis on technology production rather than consumption. Australian computer consulting services are a $19.5b industry, whilst the wider services sector, which is increasingly reliant on automation to stay competitive, accounts for 70% of Australia's GNP.Read moreRead less
Implementing Feferman-Landin Logic. The objective of this project is to utilise computer based verification tools (such as PVS and Rewritting Logic) to develop a software engineering environment for specifying and verifying systems written in high-level programming languages such as Java, Scheme, and ML. The project will thus subtantially advance the use of formal computer based tools to develop reliable programs and specifications for life-critical systems. The project will also develop form ....Implementing Feferman-Landin Logic. The objective of this project is to utilise computer based verification tools (such as PVS and Rewritting Logic) to develop a software engineering environment for specifying and verifying systems written in high-level programming languages such as Java, Scheme, and ML. The project will thus subtantially advance the use of formal computer based tools to develop reliable programs and specifications for life-critical systems. The project will also develop formally
based interoperability between the PVS and Maude systems, two widely
used computer tools for reasoning about complex systems.Read moreRead less