Robots as a Social Group: Implications for Human-Robot Interaction. This Project aims to identify psychological factors that can limit the acceptance of robots in the home and workplace. As robots become more pervasive in everyday life, they are also likely to elicit fear, rejection, and even damage. The significance of the Project lies in its social neuroscientific approach to promoting better human-robot interaction by considering robots as a social group. Expect outcomes include theory develo ....Robots as a Social Group: Implications for Human-Robot Interaction. This Project aims to identify psychological factors that can limit the acceptance of robots in the home and workplace. As robots become more pervasive in everyday life, they are also likely to elicit fear, rejection, and even damage. The significance of the Project lies in its social neuroscientific approach to promoting better human-robot interaction by considering robots as a social group. Expect outcomes include theory development about human and robot intergroup acceptance, enhanced institutional and international collaborations, and much needed psychological knowledge for robot designers. Benefits include a detailed understanding of how to increase the acceptance of robots in a wide variety of fields.Read moreRead less
SenShaMart: A Trusted Internet of Things Marketplace for Sensor Sharing. This project aims to devise a novel Internet of Things (IoT) sensor sharing marketplace that permits IoT applications to discover, integrate, and pay for any IoT sensor data that is made available by other parties. The project will devise highly-scalable sensor classification, query processing, and transactions solutions and incorporate them in a pair of novel blockchains that work in tandem to securely manage all the infor ....SenShaMart: A Trusted Internet of Things Marketplace for Sensor Sharing. This project aims to devise a novel Internet of Things (IoT) sensor sharing marketplace that permits IoT applications to discover, integrate, and pay for any IoT sensor data that is made available by other parties. The project will devise highly-scalable sensor classification, query processing, and transactions solutions and incorporate them in a pair of novel blockchains that work in tandem to securely manage all the information and contracts needed by IoT applications to discover, integrate, pay, and use sensors provided by another parties. These IoT advancements will provide significant economic, environmental, and social benefits via making low-cost and immediate sensing available across the world.Read moreRead less
Towards Engineering Behavioural Research Design Systems. Behavioural research is a significant component of the annual spend in Australia on research and development. It is contended that 'best practice' behavioural research methods can be more systematised, transparent and visible; facilitating more complex, integrated and holistic research designs; and thereby, more cumulative and comparable results; thus enabling increased rigor, higher productivity and lower risk than have generally been the ....Towards Engineering Behavioural Research Design Systems. Behavioural research is a significant component of the annual spend in Australia on research and development. It is contended that 'best practice' behavioural research methods can be more systematised, transparent and visible; facilitating more complex, integrated and holistic research designs; and thereby, more cumulative and comparable results; thus enabling increased rigor, higher productivity and lower risk than have generally been the experience historically. This project proposes the formal conceptualisation and modelling of behavioural science research methods, by adapting them to the research design, the well understood concepts, tools and techniques of Information Systems design. Results are expected to form the conceptual basis of 'Research Design Systems.'Read moreRead less
A framework for scalable ontology enrichment and change. This project aims to develop novel techniques and software systems for constructing a new generation of knowledge management applications. The results will improve current information management technologies and will be used in practical applications such as the semantic web, bioinformatics and e-sciences.
Business process decomposition. This project will develop guidelines to assist analysts in managing complex business processes by decomposing them into more manageable processes. The project outcomes will make it easier to make informed decisions about process re-design, business innovation or software development, thus contributing to project cost savings.
Secure Electronic Voting with Flexible Ballot Structure. It is inevitable that electronic voting will eventually replace current paper based voting schemes. Despite considerable research no secure solution is available for an electronic voting scheme allowing complex election rules, such as preferential voting used in Australia. The main outcome of the research will be the fundamental knowledge required to develop general secure and flexible electronic voting schemes. The security aspects of the ....Secure Electronic Voting with Flexible Ballot Structure. It is inevitable that electronic voting will eventually replace current paper based voting schemes. Despite considerable research no secure solution is available for an electronic voting scheme allowing complex election rules, such as preferential voting used in Australia. The main outcome of the research will be the fundamental knowledge required to develop general secure and flexible electronic voting schemes. The security aspects of the design will be thoroughly analysed to ensure that the integrity of the ballot is maintained without compromising user privacy. The practical aspects of implementing such a system will also be investigated and a prototype implementaion provided.Read moreRead less
Securing Web-based Services by Policy Coherence and Proof-checking. This project aims to develop a provably correct cybersecurity system for workflows, which enables organizations to provide flexible and more secure web-based services and business communication. The project expects to generate new knowledge, theoretic advancement and result in new technologies in the areas of internet of things and cybersecurity. The expected outcomes include a software tool with documentation, which helps organ ....Securing Web-based Services by Policy Coherence and Proof-checking. This project aims to develop a provably correct cybersecurity system for workflows, which enables organizations to provide flexible and more secure web-based services and business communication. The project expects to generate new knowledge, theoretic advancement and result in new technologies in the areas of internet of things and cybersecurity. The expected outcomes include a software tool with documentation, which helps organisations achieve operational excellence and security, and maintain a trusted environment for end users. This system will provide significant economic and commercial benefits to business and end users with highly secured web-services and improved productivity through a coherent framework and proof-checked workflows.Read moreRead less
Specifications, Proofs and Animations for Cryptographic Protocols. Cryptographic protocols are fundamental security tools for electronic communications. Despite years of intensive research it remains difficult to obtain high confidence in the security of almost any new protocol. Research in the computer security community has emphasised formal specifications and state based searching, while the cryptographic community has concentrated instead on complexity theoretic proofs. This project will un ....Specifications, Proofs and Animations for Cryptographic Protocols. Cryptographic protocols are fundamental security tools for electronic communications. Despite years of intensive research it remains difficult to obtain high confidence in the security of almost any new protocol. Research in the computer security community has emphasised formal specifications and state based searching, while the cryptographic community has concentrated instead on complexity theoretic proofs. This project will unify these two approaches for the first time by formally specifying and animating the very models used in cryptographic proofs. The result will be proofs that are uniquely accessible to practioners combined with increased confidence that the proofs are both correct and relevant.Read moreRead less
Discontinued Use of Social Media: Dichotomy of Rational & Emotional Choices. This project aims to gain a better understanding of discontinued use of social media. For businesses and governments, social media serves as a dynamic channel for engagement, value co-creation, and business analytics marketing that is lost when users choose to discontinue its use. This project will generate new knowledge of rational and emotional decision criteria, enabling design features of social media, and their com ....Discontinued Use of Social Media: Dichotomy of Rational & Emotional Choices. This project aims to gain a better understanding of discontinued use of social media. For businesses and governments, social media serves as a dynamic channel for engagement, value co-creation, and business analytics marketing that is lost when users choose to discontinue its use. This project will generate new knowledge of rational and emotional decision criteria, enabling design features of social media, and their complex effects on discontinued use of social media. The expected outcome of this project is an integrated theory of social media discontinuance. The project findings provide significant benefits, such as strategic capabilities and actionable knowledge for businesses and governments to mitigate social media discontinued use.Read moreRead less
Governance of Agile Software Development Projects. The aim of the project is to generate theoretical knowledge on how to govern agile teams effectively. Effective governance of software development projects is essential for companies to protect their information technology investments. Nowadays, companies have migrated to agile software development where requirements and solutions evolve iteratively and change frequently; yet formal approaches to governance (eg steering committee and detailed pl ....Governance of Agile Software Development Projects. The aim of the project is to generate theoretical knowledge on how to govern agile teams effectively. Effective governance of software development projects is essential for companies to protect their information technology investments. Nowadays, companies have migrated to agile software development where requirements and solutions evolve iteratively and change frequently; yet formal approaches to governance (eg steering committee and detailed plans) are ineffective and impede flexibility, agility and creativity. This project aims to identify informal governance approaches for agile projects based on team embeddedness and network theory. With this knowledge, management could ensure projects deliver value at an acceptable cost, quality and timescale.Read moreRead less