The mechanics of disc degeneration from an engineering and computational modelling viewpoint

The anatomy and microstructure of the spine and in particular the intervertebral disc are intimately linked to how they operate in vivo and how they distribute loads to the adjacent musculature and bony anatomy. The degeneration of the intervertebral discs may be characterised by a loss of hydration, loss of disc height, a granular texture and the presence of annular lesions. As such, degeneration of the intervertebral discs compromises the mechanical integrity of their components and results in adaption and modification in the mechanical means by which loads are distributed between adjacent spinal motion segments.

Protocol engineering for protection against denial-of-service attacks

Denial-of-service attacks (DoS) and distributed denial-of-service attacks (DDoS) attempt to temporarily disrupt users or computer resources to cause service un- availability to legitimate users in the internetworking system. The most common type of DoS attack occurs when adversaries °ood a large amount of bogus data to interfere or disrupt the service on the server. The attack can be either a single-source attack, which originates at only one host, or a multi-source attack, in which multiple hosts coordinate to °ood a large number of packets to the server. Cryptographic mechanisms in authentication schemes are an example ap- proach to help the server to validate malicious tra±c. Since authentication in key establishment protocols requires the veri¯er to spend some resources before successfully detecting the bogus messages, adversaries might be able to exploit this °aw to mount an attack to overwhelm the server resources. The attacker is able to perform this kind of attack because many key establishment protocols incorporate strong authentication at the beginning phase before they can iden- tify the attacks. This is an example of DoS threats in most key establishment protocols because they have been implemented to support con¯dentiality and data integrity, but do not carefully consider other security objectives, such as availability. The main objective of this research is to design denial-of-service resistant mechanisms in key establishment protocols. In particular, we focus on the design of cryptographic protocols related to key establishment protocols that implement client puzzles to protect the server against resource exhaustion attacks. Another objective is to extend formal analysis techniques to include DoS- resistance. Basically, the formal analysis approach is used not only to analyse and verify the security of a cryptographic scheme carefully but also to help in the design stage of new protocols with a high level of security guarantee. In this research, we focus on an analysis technique of Meadows' cost-based framework, and we implement DoS-resistant model using Coloured Petri Nets. Meadows' cost-based framework is directly proposed to assess denial-of-service vulnerabil- ities in the cryptographic protocols using mathematical proof, while Coloured Petri Nets is used to model and verify the communication protocols using inter- active simulations. In addition, Coloured Petri Nets are able to help the protocol designer to clarify and reduce some inconsistency of the protocol speci¯cation. Therefore, the second objective of this research is to explore vulnerabilities in existing DoS-resistant protocols, as well as extend a formal analysis approach to our new framework for improving DoS-resistance and evaluating the performance of the new proposed mechanism. In summary, the speci¯c outcomes of this research include following results; 1. A taxonomy of denial-of-service resistant strategies and techniques used in key establishment protocols; 2. A critical analysis of existing DoS-resistant key exchange and key estab- lishment protocols; 3. An implementation of Meadows's cost-based framework using Coloured Petri Nets for modelling and evaluating DoS-resistant protocols; and 4. A development of new e±cient and practical DoS-resistant mechanisms to improve the resistance to denial-of-service attacks in key establishment protocols.

Towards model round-trip engineering : an abductive approach

Providing support for reversible transformations as a basis for round-trip engineering is a significant challenge in model transformation research. While there are a number of current approaches, they require the underlying transformation to exhibit an injective behaviour when reversing changes. This however, does not serve all practical transformations well. In this paper, we present a novel approach to round-trip engineering that does not place restrictions on the nature of the underlying transformation. Based on abductive logic programming, it allows us to compute a set of legitimate source changes that equate to a given change to the target model. Encouraging results are derived from an initial prototype that supports most concepts of the Tefkat transformation language

Catching up with consumer realities: the need for legislation prohibiting unfair terms in consumer contracts

In the policy debate about the need for legislation to prohibit the use of unfair terms in consumer contracts, substantive unfairness is often distinguished from procedural unfairness. Current consumer protection laws appear to offer the potential for relief on substantive unfairness grounds alone. However, a review of cases involving credit contracts shows this potential is rarely realised. This reluctance to provide relief for substantive injustice reflects a preoccupation with freedom and certainty of contract, the notions underpinning classical contract theories. As a class, consumers are vulnerable in the marketplace, and they do need protection from substantively unfair terms. A new framework for regulating consumer contracts is needed, one that relies less on classical contract theories and takes the reality of consumer contracting and consumer behavior as its starting point. Unfair contract terms legislation will be a step on the path towards this new framework.

Best Practice Guide : Generic Overview

The construction industry is a key national economic component. It tends to be at the forefront of cyclic changes in the Australian economy. It has a significant impact, both directly and indirectly, on the efficiency and productivity of other industries. Moreover it affects everyone to a greater or lesser extent; through its products whether they are manifested in the physical infrastructure that supports the operation of the economy or through the built environment that directly impacts on the quality of life experienced by individuals. In financial terms the industry makes one of the largest contributions to the Australian economy, accounting for 4.7 per cent of GDP 1 which was worth over $30B in 20012. The construction industry is comprised of a myriad of small firms, across several important sectors including, o Residential building, o Commercial building, o Building services, o Engineering, o Infrastructure o Facilities Management o Property Development Each sector is typified by firms that have distinctive characteristics such as the number of employees, size and value of contracts, number of jobs, and so forth. It tends to be the case that firms operating in commercial building are larger than those involved in residential construction. The largest contractors are found in engineering and infrastructure, as well as in the commercial building sub-sectors. However all sectors are characterised by their reliance upon sub-contractors to carry out on-site operations. Professionals from the various design consultant groups operate across all of these sectors. This description masks one of the most significant underlying causes of inefficiency in the construction industry, namely its fragmentation. The Construction Industry chapter of the 2004 Australian Year Book3, published by the Australian Bureau of Statistics unmasks the industry’s fragmented structure, typified by the large number of operating businesses within it, the vast majority of which are small companies employing less than 5 people. It identifies over 190,000 firms, of which over 90 percent employ less than 5 people. At the other end of the spectrum, firms employing 20 or more people account for fractionally more than one percent of businesses in the industry.

Understanding preservice teachers’ predispositions for teaching engineering education in Australian schools.

Engineering education is underrepresented in Australia at the primary, middle school and high school levels. Understanding preservice teachers’ preparedness to be involved in engineering will be important for developing an engineering curriculum. This study administered a literature-based survey to 36 preservice teachers, which gathered data about their perceptions of engineering and their predispositions for teaching engineering. Findings indicated that the four constructs associated with the survey had acceptable Cronbach alpha scores (i.e., personal professional attributes .88, student motivation .91, pedagogical knowledge .91, and fused curricula .89). However, there was no “disagree” or “strongly disagree” response greater than 22% for any of the 25 survey items. Generally, these preservice teachers indicated predispositions for teaching engineering in the middle school. Extensive scaffolding and support with education programs will assist preservice teachers to develop confidence in this field. Governments and education departments need to recognise the importance of engineering education, and universities must take a stronger role in developing engineering education curricula.

Can governments use their construction contracts to improve training outcomes?

This paper explores the likely efficacy of government agencies using their contracting relationships with private firms to affect training outcomes in the construction industry. Specifically, it reports on the results of a study of two training policies of theWestern Australian government. Empirical data is drawn from the government’s Tender Registration System between 1997 and 2006. The main finding of the quantitative analysis is that in the absence of strong industry commitment to policy objectives, the contracting approach is likely to result in high levels of avoidance activity and generate very few benefits. The results of a qualitative investigation also support these findings.