Correcting flaws in Mitchell’s analysis of EPBC

Efficient error-Propagating Block Chaining (EPBC) is a block cipher mode intended to simultaneously provide both confidentiality and integrity protection for messages. Mitchell’s analysis pointed out a weakness in the EPBC integrity mechanism that can be used in a forgery attack. This paper identifies and corrects a flaw in Mitchell’s analysis of EPBC, and presents other attacks on the EPBC integrity mechanism.

Reduction of diesel engine exhaust emissions using non-thermal plasma technology

Non-thermal plasma (NTP) is a promising candidate for controlling engine exhaust emissions. Plasma is known as the fourth state of matter, where both electrons and positive ions co-exist. Both gaseous and particle emissions of diesel exhaust undergo chemical changes when they are exposed to plasma. In this project diesel particulate matter (DPM) mitigation from the actual diesel exhaust by using NTP technology has been studied. The effect of plasma, not only on PM mass but also on PM size distribution, physico-chemical structure of PM and PM removal mechanisms, has been investigated. It was found that NTP technology can significantly reduce both PM mass and number. However, under some circumstances particles can be formed by nucleation. Energy required to create the plasma with the current technology is higher than the benchmark set by the commonly used by the automotive industry. Further research will enable the mechanism of particle creation and energy consumption to be optimised.

Security Analysis of Randomize-Hash-then-Sign Digital Signatures

At CRYPTO 2006, Halevi and Krawczyk proposed two randomized hash function modes and analyzed the security of digital signature algorithms based on these constructions. They showed that the security of signature schemes based on the two randomized hash function modes relies on properties similar to the second preimage resistance rather than on the collision resistance property of the hash functions. One of the randomized hash function modes was named the RMX hash function mode and was recommended for practical purposes. The National Institute of Standards and Technology (NIST), USA standardized a variant of the RMX hash function mode and published this standard in the Special Publication (SP) 800-106. In this article, we first discuss a generic online birthday existential forgery attack of Dang and Perlner on the RMX-hash-then-sign schemes. We show that a variant of this attack can be applied to forge the other randomize-hash-then-sign schemes. We point out practical limitations of the generic forgery attack on the RMX-hash-then-sign schemes. We then show that these limitations can be overcome for the RMX-hash-then-sign schemes if it is easy to find fixed points for the underlying compression functions, such as for the Davies-Meyer construction used in the popular hash functions such as MD5 designed by Rivest and the SHA family of hash functions designed by the National Security Agency (NSA), USA and published by NIST in the Federal Information Processing Standards (FIPS). We show an online birthday forgery attack on this class of signatures by using a variant of Dean’s method of finding fixed point expandable messages for hash functions based on the Davies-Meyer construction. This forgery attack is also applicable to signature schemes based on the variant of RMX standardized by NIST in SP 800-106. We discuss some important applications of our attacks and discuss their applicability on signature schemes based on hash functions with ‘built-in’ randomization. Finally, we compare our attacks on randomize-hash-then-sign schemes with the generic forgery attacks on the standard hash-based message authentication code (HMAC).

Stability analysis and implementation of Power-Hardware-in-the-Loop for power system testing

This project develops the required guidelines to assure stable and accurate operation of Power-Hardware-in-the-Loop implementations. The proposals of this research have been theoretically analyzed and practically examined using a Real-Time Digital Simulator. In this research, the interaction between software simulated power network and the physical power system has been studied. The conditions for different operating regimes have been derived and the corresponding analyses have been presented.

Characterising resistance to overconsumption : a biopsychological analysis

This thesis investigated biopsychological factors involved in successfully resisting overconsumption in an environment promoting obesity, and differences between individuals who were and were not able to resist overconsumption. Results showed that self control was a key factor in successful resistance, whereas sensitivity to food reward was associated with overconsumption susceptibility. Reduced self control may be a consequence as well as a cause of obesity, and may not recover following weight loss. Self control was not enhanced through an exercise programme that aimed to ameliorate brain fitness through improved cardiovascular fitness.

Analysis of passenger group behaviour and its impact on passenger flow using an agent-based model

Group interaction within crowds is a common phenomenon and has great influence on pedestrian behaviour. This paper investigates the impact of passenger group dynamics using an agent-based simulation method for the outbound passenger process at airports. Unlike most passenger-flow models that treat passengers as individual agents, the proposed model additionally incorporates their group dynamics as well. The simulation compares passenger behaviour at airport processes and discretionary services under different group formations. Results from experiments (both qualitative and quantitative) show that incorporating group attributes, in particular, the interactions with fellow travellers and wavers can have significant influence on passengers activity preference as well as the performance and utilisation of services in airport terminals. The model also provides a convenient way to investigate the effectiveness of airport space design and service allocations, which can contribute to positive passenger experiences. The model was created using AnyLogic software and its parameters were initialised using recent research data published in the literature.

Incorporating complex train paths to an analysis of absolute capacity

Railways are an important mode of transportation. They are however large and complex and their construction, management and operation is time consuming and costly. Evidently planning the current and future activities is vital. Part of that planning process is an analysis of capacity. To determine what volume of traffic can be achieved over time, a variety of railway capacity analysis techniques have been created. A generic analytical approach that incorporates more complex train paths however has yet to be provided. This article provides such an approach. This article extends a mathematical model for determining the theoretical capacity of a railway network. The main contribution of this paper is the modelling of more complex train paths whereby each section can be visited many times in the course of a train’s journey. Three variant models are formulated and then demonstrated in a case study. This article’s numerical investigations have successively shown the applicability of the proposed models and how they may be used to gain insights into system performance.

Analysis of young driver crash data. Report to the Research Council of Oman, Muscat

Road traffic crashes are an alarming public health issue in Oman, despite ongoing improvements in traffic law enforcement practices and technology. One of the main target groups for road safety in Oman are young drivers aged 17-25 years. This report provides an overview of the characteristics of crashes in Oman involving young drivers (17-25 years) between 1st January 2009 and 31st December 2011. Although, young drivers aged 17-25 years comprise around 17% of all licence holders in Oman, they represented more than one third of all drivers involved in road traffic crashes in the country. A total of 11,101 young drivers (17-25 years) were involved in registered crashes during the study period. From this, 7,727 young drivers (69.6%) were found to be the cause of the crashes...