Security analysis of the non-aggressive challenge response of the DNP3 Protocol using a CPN Model

Distributed Network Protocol Version 3 (DNP3) is the de-facto communication protocol for power grids. Standard-based interoperability among devices has made the protocol useful to other infrastructures such as water, sewage, oil and gas. DNP3 is designed to facilitate interaction between master stations and outstations. In this paper, we apply a formal modelling methodology called Coloured Petri Nets (CPN) to create an executable model representation of DNP3 protocol. The model facilitates the analysis of the protocol to ensure that the protocol will behave as expected. Also, we illustrate how to verify and validate the behaviour of the protocol, using the CPN model and the corresponding state space tool to determine if there are insecure states. With this approach, we were able to identify a Denial of Service (DoS) attack against the DNP3 protocol.

Mapping eQTLs in the Norfolk Island genetic isolate identifies candidate genes for CVD risk traits

Cardiovascular disease (CVD) affects millions of people worldwide and is influenced by numerous factors, including lifestyle and genetics. Expression quantitative trait loci (eQTLs) influence gene expression and are good candidates for CVD risk. Founder-effect pedigrees can provide additional power to map genes associated with disease risk. Therefore, we identified eQTLs in the genetic isolate of Norfolk Island (NI) and tested for associations between these and CVD risk factors. We measured genome-wide transcript levels of blood lymphocytes in 330 individuals and used pedigree-based heritability analysis to identify heritable transcripts. eQTLs were identified by genome-wide association testing of these transcripts. Testing for association between CVD risk factors (i.e., blood lipids, blood pressure, and body fat indices) and eQTLs revealed 1,712 heritable transcripts (p < 0.05) with heritability values ranging from 0.18 to 0.84. From these, we identified 200 cis-acting and 70 trans-acting eQTLs (p < 1.84 × 10(-7)) An eQTL-centric analysis of CVD risk traits revealed multiple associations, including 12 previously associated with CVD-related traits. Trait versus eQTL regression modeling identified four CVD risk candidates (NAAA, PAPSS1, NME1, and PRDX1), all of which have known biological roles in disease. In addition, we implicated several genes previously associated with CVD risk traits, including MTHFR and FN3KRP. We have successfully identified a panel of eQTLs in the NI pedigree and used this to implicate several genes in CVD risk. Future studies are required for further assessing the functional importance of these eQTLs and whether the findings here also relate to outbred populations.

Artists and their worlds

A catalogue essay written for 'Tall Tales and Other Adventures: a University of Southern Queensland, Dogwood Crossing, Miles and Flying Arts research project.'

Analysis of two authorization protocols using Colored Petri Nets

To prevent unauthorized access to protected trusted platform module (TPM) objects, authorization protocols, such as the object-specific authorization protocol (OSAP), have been introduced by the trusted computing group (TCG). By using OSAP, processes trying to gain access to the protected TPM objects need to prove their knowledge of relevant authorization data before access to the objects can be granted. Chen and Ryan’s 2009 analysis has demonstrated OSAP’s authentication vulnerability in sessions with shared authorization data. They also proposed the Session Key Authorization Protocol (SKAP) with fewer stages as an alternative to OSAP. Chen and Ryan’s analysis of SKAP using ProVerif proves the authentication property. The purpose of this paper was to examine the usefulness of Colored Petri Nets (CPN) and CPN Tools for security analysis. Using OSAP and SKAP as case studies, we construct intruder and authentication property models in CPN. CPN Tools is used to verify the authentication property using a Dolev–Yao-based model. Verification of the authentication property in both models using the state space tool produces results consistent with those of Chen and Ryan.

Using the SWAP to connect water, human rights and mining

It is important that industries’ water interactions respect the human right to water. Historically, within the mining industry there has been a disconnect between the management of sites’ internal water interactions and the consequences of their external impacts, including human rights impacts. This poses a challenge for the mining industry as it attempts to put the Ruggie Guiding Principles for Business and Human Rights into practice, particularly as United Nations has recently recognised the human right to water. A technical framework such as the Minerals Council of Australia’s Water Accounting Framework (WAF) can help to bridge this disconnect and to integrate human rights considerations into business practice by connecting a site’s external and internal water interactions and by encouraging regular monitoring of performance. However, at present the connection is limited since the WAF lacks the capability to formalise a site’s social water context. This work presents the Social Water Assessment Protocol (SWAP), a scoping tool consisting of a set of questions organised into taxonomic themes that capture a site’s social water context and that can be combined with the WAF to better connect human rights with mine water interactions.

Global outsourcing, production and logistics

Supply chains are the core of most industrial networks in which your business operates. They provide the pipeline through which the products and services flow from supplier to customer across each element within the business activity system. Global supply chain relationships have become the basis for many industries with an international network of firms engaged in the supply of goods and services that must be produced to quality standards in one country and delivered just-in-time for assembly or integration into further production processes in another country, frequently many thousands of miles apart. This topic examines the nature of supply chain management and their role in strategic networking. The previous learning tasks have focused on having the correct internal mechanism to effectively manage the inputs and outputs of the organisation by implementing an effective and transparent management system. This learning task takes a look at how management intent strategy and innovation are used to measure the external factors that influence the overall performance of the organisation and develop new strategies by understanding the business cycle and the people within your market environment.

Government procurement contracts and minimum labour standards enforcement: Rhetoric, duplication and distraction?

Government contracts for services typically include terms requiring contractors to comply with minimum labour standards laws. Procurement contract clauses specify reporting procedures and sanctions for non-compliance, implying that government contracting agencies will monitor and enforce minimum labour standards within contract performance management. In this article, the case of school cleaners employed under New South Wales government contracts between 2010 and 2011 is the vehicle for exploring the effectiveness of these protective clauses. We find that the inclusion of these protective clauses in procurement contracts is unnecessary in the Australian context, and any expectations that government contracting agencies will monitor and enforce labour standards are misleading. At best, the clauses are rhetoric, and at worst, they are a distraction for parties with enforcement powers.

Your Loss is Our Gain

2 x 2.5 metre text based wall painting with a hidden automatic air freshener timed to spray every 60 seconds. The work formed part of a group exhibition that dealt with Humour,Politics and Art. It was part of a series of ongoing works made under the pseudonym Eve Roleston. Roleston is part of a trio of pseudonyms I use, the others being Ernesto Love, and Ernest Olove, to explore the research potential of the fictocritical in a visual arts practice.This forms part of an ongoing body of practice-led research undertaken in my PhD dealing with reconfiguring the relationship between art and politics.

World peace for video art

A single channel video projection with image, text and sound components. It was projected so as entirely fill a 3 x 3.5 wall in a 6 x 3.5 metre gallery space. The work deals with the role of humour and the fictocritical in exploring the relationship between politics and art.

Designing for grassroots food production : an event-based urban agriculture community

As urbanisation of the global population has increased above 50%, growing food in urban spaces increases in importance, as it can contribute to food security, reduce food miles, and improve people’s physical and mental health. Approaching the task of growing food in urban environments is a mixture of residential growers and groups. Permablitz Brisbane is an event-centric grassroots community that organises daylong ‘working bee’ events, drawing on permaculture design principles in the planning and design process. Permablitz Brisbane provides a useful contrast from other location-centric forms of urban agriculture communities (such as city farms or community gardens), as their aim is to help encourage urban residents to grow their own food. We present findings and design implications from a qualitative study with members of this group, using ethnographic methods to engage with and understand how this group operates. Our findings describe four themes that include opportunities, difficulties, and considerations for the creation of interventions by Human-Computer Interaction (HCI) designers.

Mt Isa Shopping Precinct Survey Report : Consumer Attitudes towards Proposed Extended Trading Hours at Mt Isa

Data was collected to measure shopper’s attitudes toward the proposed Sunday and limited public holiday trading in Mt Isa. Survey questionnaires were conducted between 15th August to 17th August at Kmart Plaza, Woolworths, Miles St. and Mt Isa Plaza. In total, 300 respondents participated in the survey. Overall, the findings suggest that most respondents, especially males, couples with children and fulltime workers, embrace the proposed Sunday and limited holiday trading in Mt Isa. While there are concerns over increasing competition for smaller retailers who already trade on Sundays, a majority of respondents indicated it would suit their lifestyle, be convenient, provide more jobs, increase trade for smaller retailers within the area, reduce queues and congestion, and offer a less expensive grocery shopping. The majority of those shoppers that indicated they currently did some shopping on a Sunday reported they would continue to support smaller retailers who currently trade on Sundays and some public holidays, if changes came about. Those opposed to changes to trading hours also indicated a belief that existing trading hours were sufficient. Most people indicated the proposed extension of trading hours would not harm the community or have a negative, detrimental effect on themselves or their family. The main findings presented in the report are as follows: - 96% of respondents surveyed reported to be local, permanent residents of Mt Isa. - Residents of Mt Isa visited shopping centres and stores on average 2.4 times per week. This mirrors the average Australian shopping behaviour at 2.5 times per week (Roy Morgan Supermarket Monitor) - It was determined that Saturday was the busiest day for shopping with a majority of respondents indicating they visited stores on that day of the week. - 71% of respondents support the proposal of extended trading hours at shopping centres in Mt Isa, 25% oppose and 4% are unsure. - 87% of the respondents agreed that residents of Mt Isa should be allowed the same choice as other regional towns and cities in supporting/opposing changes to trading hours. The remaining 13% expressed a disagreement. - A larger percentage of males supported the proposal for Sunday and limited holiday trading. Of all the males surveyed, 81% were in support, 17% were opposed and 2% unsure. By contrast, 64% of female respondents support the proposal, while 31% oppose it and 5% are unsure. - The highest percentage of support exists in fulltime workers with 85% of those respondents supporting the proposal. In contrast, the lowest percentage of support was found in the non-working respondents, where 62% opposed the application. - 78% of couples living with children at home expressed support for Sunday and limited public holiday trading, while 60% of couples without children also supported the application. - Of the respondents surveyed, virtually none (less than 1%) have travelled outside of Mt Isa on a Sunday to shop. This indicates that due to the remote and isolated location of this town, residents do not have the option to travel reasonable distances in order to access a range of retailers. - 70% of the respondents often find it necessary to do some grocery shopping in Mt Isa on a Sunday. - Convenience is cited as the major reason for support (79%) followed by lifestyle (75%). - The most cited reasons for supporting ‘it would be convenient’ (81%), ‘It may create more jobs’ (77%), ‘It may reduce congestion during busy shopping periods’ (74%, and ‘It would make it easier for working families with kids’ (74%). - The most cited reasons for opposing the proposed changes are that ‘It will disadvantage smaller businesses’ (44%), ‘It is unnecessary’ (29%). - 72% of shoppers who indicated they already undertook some shopping on Sunday, indicated would continue to shop and support smaller retailers. - 98% of respondents indicated they would not change their sporting or social commitment if changes to trading hours were implemented.