Algebraic Methods in Design and Analysis of Stream Ciphers. The project investigates the problem of communication security in the mobile environment where both confidentiality and authenticity are of prime concern. Stream ciphers are a very natural choice in mobile environment as they provide an efficient cryptographic protection using a limited computing resources. We model stream cipher as a system of multivariate equations. In this approach, security of stream ciphers can be measured as the c ....Algebraic Methods in Design and Analysis of Stream Ciphers. The project investigates the problem of communication security in the mobile environment where both confidentiality and authenticity are of prime concern. Stream ciphers are a very natural choice in mobile environment as they provide an efficient cryptographic protection using a limited computing resources. We model stream cipher as a system of multivariate equations. In this approach, security of stream ciphers can be measured as the complexity of an algorithm that solves the appropriate system of equations. This project leads to new techniques for the design and analysis of stream ciphers.Read moreRead less
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
Control of Transitions in Wakes and Swirling Flows. We will attack industrially-important problems in fluid mechanics by building new, and substantially enhancing existing, international collaborations between key complementary teams of internationally-recognised French and Australian researchers. Funding will support the exchange of 6 senior staff and 3 graduate students, which, in turn, will measurably benefit the research output of a further 20 graduate students and 7 post-doctoral fellows as ....Control of Transitions in Wakes and Swirling Flows. We will attack industrially-important problems in fluid mechanics by building new, and substantially enhancing existing, international collaborations between key complementary teams of internationally-recognised French and Australian researchers. Funding will support the exchange of 6 senior staff and 3 graduate students, which, in turn, will measurably benefit the research output of a further 20 graduate students and 7 post-doctoral fellows associated with closely-related projects. From the Australian perspective, the planned exchanges will bring new research expertise, knowledge and skills, which will be focussed on a diverse range of applications. Target industries (with existing collaborations) include Airbus and Dassault Aviation in Europe, and Aerosonde and Warman pumps in Australia. Read moreRead less
Audit Security Models for Multiparty Internet Transactions. The aim of this project is to conduct the study for a secure, low overhead means of auditing secure transactions between two parties over the Internet, especially where some doubt surrounds the trustfulness of the other party.
A study will be conducted in this project by investigating security models for multiparty secure transactions in order to identify a number of likely applications for the technology, to develop a high level arch ....Audit Security Models for Multiparty Internet Transactions. The aim of this project is to conduct the study for a secure, low overhead means of auditing secure transactions between two parties over the Internet, especially where some doubt surrounds the trustfulness of the other party.
A study will be conducted in this project by investigating security models for multiparty secure transactions in order to identify a number of likely applications for the technology, to develop a high level architecture of the solution.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
A novel cooperative global information system for healthcare. This project will develop a global model for healthcare based on the groundbreaking Protocol Hypothesis Testing (PHT) system, allowing expert groups of clinicians to create and share knowledge across organizations. The PHT is a unique functioning knowledge management system that allows clinicians to record patient and treatment data as it is generated in clinical practice and applies scientific methods to generate clinical knowledge, ....A novel cooperative global information system for healthcare. This project will develop a global model for healthcare based on the groundbreaking Protocol Hypothesis Testing (PHT) system, allowing expert groups of clinicians to create and share knowledge across organizations. The PHT is a unique functioning knowledge management system that allows clinicians to record patient and treatment data as it is generated in clinical practice and applies scientific methods to generate clinical knowledge, all in real-time. The project will develop and test a framework for the PHT system to be used cooperatively by expert groups across virtual organizations, refining the PHT system in the process.Read moreRead less
Development and evaluation of computer assisted survey technology as an adjunct to the professional consultation. The project aims to test the effectiveness of computer technology as an adjunct to the client-provider interaction in General Medical Practice. An innovative system for generating dietary assessment and advice will be developed, supporting both local software and multi media industries and providing data on population based interventions for prevalent lifestyle disease (obesity, diab ....Development and evaluation of computer assisted survey technology as an adjunct to the professional consultation. The project aims to test the effectiveness of computer technology as an adjunct to the client-provider interaction in General Medical Practice. An innovative system for generating dietary assessment and advice will be developed, supporting both local software and multi media industries and providing data on population based interventions for prevalent lifestyle disease (obesity, diabetes). The study involves developing the technology, evaluating its use in practice and researching the opinions of key stakeholders (consumers, GPs dietitians) on the position of this technology in the client-provider interaction.Read moreRead less