Special Research Initiatives - Grant ID: SR0354880
Funder
Australian Research Council
Funding Amount
$10,000.00
Summary
Building trust in Australia's infrastructure: dealing with scientific, technological, business, policy and legal issues in information security. Australia is faced with the challenge of engendering trust in, and protecting, the information systems vital to the economic and social development of the nation. This initiative will produce a national direction for research, development and educational activities in information security with particular emphasis on the protection of the national intere ....Building trust in Australia's infrastructure: dealing with scientific, technological, business, policy and legal issues in information security. Australia is faced with the challenge of engendering trust in, and protecting, the information systems vital to the economic and social development of the nation. This initiative will produce a national direction for research, development and educational activities in information security with particular emphasis on the protection of the national interest. It will do so by bringing together for the first time, academic, government and business people from a vast array of backgrounds, and whose interests lie across a spectrum of commercial, legal, policy and research outcomes.Read moreRead less
User-Driven Composition of Web Services. Web service composition technology promises to revolutionise the way in which organisations interact over the Web. However existing environments for the composition of Web services are too complex to use and are usually intended for experienced application developers as they rely either on scripting languages, or on a process-modelling notations intended to be used by IT experts. However, the need for customised composition of Web services is likely to em ....User-Driven Composition of Web Services. Web service composition technology promises to revolutionise the way in which organisations interact over the Web. However existing environments for the composition of Web services are too complex to use and are usually intended for experienced application developers as they rely either on scripting languages, or on a process-modelling notations intended to be used by IT experts. However, the need for customised composition of Web services is likely to emanate from non IT-experts.
The project aims at designing, implementing, and evaluating an environment for the specification and execution of composite Web services by non-expert.Read moreRead less
Intelligent Model Checking. Real-world systems are typically so complex that software engineers require specialised CAD tools to debug and verify a design. Model checking is a formal method that is used extensively for this purpose, particularly for mission-critical systems. In this work, a new kind of verifying tool, based on model checking, is developed. This new model checker is intelligent because a heuristic search is integrated into the underlying formalism. It is not exhaustive, and is mo ....Intelligent Model Checking. Real-world systems are typically so complex that software engineers require specialised CAD tools to debug and verify a design. Model checking is a formal method that is used extensively for this purpose, particularly for mission-critical systems. In this work, a new kind of verifying tool, based on model checking, is developed. This new model checker is intelligent because a heuristic search is integrated into the underlying formalism. It is not exhaustive, and is more efficient than a traditional model checker during the design phase because it does only a minimum amount of work in its search for a fault.Read moreRead less
Model Checking Knowledge and Probability in Pursuit-Evasion Games. The research will produce software enabling modellers to better understand their models in applications including planning under uncertainty, information flow security and systems fault diagnosis. The application studied in this project is military search and rescue mission planning, resulting in greater confidence in mission success. The research is also relevant to emergency response and collision avoidance. The project will ....Model Checking Knowledge and Probability in Pursuit-Evasion Games. The research will produce software enabling modellers to better understand their models in applications including planning under uncertainty, information flow security and systems fault diagnosis. The application studied in this project is military search and rescue mission planning, resulting in greater confidence in mission success. The research is also relevant to emergency response and collision avoidance. The project will support retention of Australian intellectual property with potential for future commercialisation. It will foster linkages between Australian researchers and an international defence alliance partner. Outcomes will be available to Australian Defence through existing Defence research sharing arrangements.Read moreRead less
'Fixed points': extending and deepening our understanding of mathematical and computational aspects of game theory. This work will extend and deepen our understanding of mathematical and computational aspects of game theory. It will produce computer code embodying new methods of solving systems of nonlinear equations, which is useful in many areas of applied research in economics, in other disciplines such as chemistry, and potentially in the analysis of business operations. The project will a ....'Fixed points': extending and deepening our understanding of mathematical and computational aspects of game theory. This work will extend and deepen our understanding of mathematical and computational aspects of game theory. It will produce computer code embodying new methods of solving systems of nonlinear equations, which is useful in many areas of applied research in economics, in other disciplines such as chemistry, and potentially in the analysis of business operations. The project will also deepen our understanding of the underlying mathematics of such systems, and of other mathematical foundations of economic research. One application will be a new measure of the relative power resulting from voting rules. Such measures assist the design of democratic institutions by allowing the designer to assess the fairness of the outcomes they produce.Read moreRead less
A Gesture-Based Interface for Designing in Virtual Reality. Many design professions including architecture, fashion, and engineering can benefit from the outcomes of this project and may return financial benefits to Australia, since they heavily rely on sketching in the conceptual design process. Other areas, such as films, computer games, user interface design that involves storyboarding and visualization may also benefit from sketching in virtual reality. Further research may be carried out us ....A Gesture-Based Interface for Designing in Virtual Reality. Many design professions including architecture, fashion, and engineering can benefit from the outcomes of this project and may return financial benefits to Australia, since they heavily rely on sketching in the conceptual design process. Other areas, such as films, computer games, user interface design that involves storyboarding and visualization may also benefit from sketching in virtual reality. Further research may be carried out using a variety of VR facilities and a responsive workbench (3D interactive table-top display) to allow distributed Virtual Prototyping between geographically separated design teams, to assemble the product drawn using a force feedback device to place Australia in a leading position.Read moreRead less
Security for Web Services. Web services, an emerging distributed computing paradigm, poses challenging problems in security, due to their dynamic decentralised scalable nature, operating over an untrusted Internet, for which no adequate solutions exist today. This research addresses the model, architecture and design of secure authorisation for web services. It achieves conceptual advances in terms of a flexible authorisation model, proposes a new XML based policy language, develops a comprehens ....Security for Web Services. Web services, an emerging distributed computing paradigm, poses challenging problems in security, due to their dynamic decentralised scalable nature, operating over an untrusted Internet, for which no adequate solutions exist today. This research addresses the model, architecture and design of secure authorisation for web services. It achieves conceptual advances in terms of a flexible authorisation model, proposes a new XML based policy language, develops a comprehensive security policy management framework, designs a distributed authorisation service and demonstrates a practical secure web service system in .NET.It presents a new approach to formally reasoning about conflict resolution policies with dynamic delegation.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
Computational haemodynamics system for prediction of risk of rupture of cerebral aneurysms. Every year about 2000 Australians suffer a ruptured aneurysm in the brain and some 750 of these die within 4 weeks. Since there is an increase in the detection of unruptured aneurysms, especially in healthy young people, there is an urgent need to be able to decide which lead to rupture and to provide suitable treatment options. This project, which will provide markedly improved means of patient-specific ....Computational haemodynamics system for prediction of risk of rupture of cerebral aneurysms. Every year about 2000 Australians suffer a ruptured aneurysm in the brain and some 750 of these die within 4 weeks. Since there is an increase in the detection of unruptured aneurysms, especially in healthy young people, there is an urgent need to be able to decide which lead to rupture and to provide suitable treatment options. This project, which will provide markedly improved means of patient-specific risk determination for aneurysm rupture, will have significant impact in reducing associated costs on the national health burden due to cerebral hemorrhage and stroke, on community productivity and disability and on more efficient targeting of expensive and dangerous brain surgery.Read moreRead less
Special Research Initiatives - Grant ID: SR0354513
Funder
Australian Research Council
Funding Amount
$20,000.00
Summary
The Computational Processing of Human Language. Language is what makes us distinctly human; consequently, language attracts interest from many fields of research, particularly linguistics, psychology, and cognitive science. Moreover, language is the primary medium for the storage and dissemination of knowledge, a fact that has drawn many computer scientists to attempt to process, analyse and understand language. This network will bridge the many disciplines that are concerned with language, ex ....The Computational Processing of Human Language. Language is what makes us distinctly human; consequently, language attracts interest from many fields of research, particularly linguistics, psychology, and cognitive science. Moreover, language is the primary medium for the storage and dissemination of knowledge, a fact that has drawn many computer scientists to attempt to process, analyse and understand language. This network will bridge the many disciplines that are concerned with language, explore new ways in which computational models inform our understanding of human languages, and exploit new opportunities for applying theories of language in the development of human language technologies.Read moreRead less