Analysis of stream cipher based authenticated encryption schemes

Authenticated Encryption (AE) is the cryptographic process of providing simultaneous confidentiality and integrity protection to messages. This approach is more efficient than applying a two-step process of providing confidentiality for a message by encrypting the message, and in a separate pass providing integrity protection by generating a Message Authentication Code (MAC). AE using symmetric ciphers can be provided by either stream ciphers with built in authentication mechanisms or block ciphers using appropriate modes of operation. However, stream ciphers have the potential for higher performance and smaller footprint in hardware and/or software than block ciphers. This property makes stream ciphers suitable for resource constrained environments, where storage and computational power are limited. There have been several recent stream cipher proposals that claim to provide AE. These ciphers can be analysed using existing techniques that consider confidentiality or integrity separately; however currently there is no existing framework for the analysis of AE stream ciphers that analyses these two properties simultaneously. This thesis introduces a novel framework for the analysis of AE using stream cipher algorithms. This thesis analyzes the mechanisms for providing confidentiality and for providing integrity in AE algorithms using stream ciphers. There is a greater emphasis on the analysis of the integrity mechanisms, as there is little in the public literature on this, in the context of authenticated encryption. The thesis has four main contributions as follows. The first contribution is the design of a framework that can be used to classify AE stream ciphers based on three characteristics. The first classification applies Bellare and Namprempre's work on the the order in which encryption and authentication processes take place. The second classification is based on the method used for accumulating the input message (either directly or indirectly) into the into the internal states of the cipher to generate a MAC. The third classification is based on whether the sequence that is used to provide encryption and authentication is generated using a single key and initial vector, or two keys and two initial vectors. The second contribution is the application of an existing algebraic method to analyse the confidentiality algorithms of two AE stream ciphers; namely SSS and ZUC. The algebraic method is based on considering the nonlinear filter (NLF) of these ciphers as a combiner with memory. This method enables us to construct equations for the NLF that relate the (inputs, outputs and memory of the combiner) to the output keystream. We show that both of these ciphers are secure from this type of algebraic attack. We conclude that using a keydependent SBox in the NLF twice, and using two different SBoxes in the NLF of ZUC, prevents this type of algebraic attack. The third contribution is a new general matrix based model for MAC generation where the input message is injected directly into the internal state. This model describes the accumulation process when the input message is injected directly into the internal state of a nonlinear filter generator. We show that three recently proposed AE stream ciphers can be considered as instances of this model; namely SSS, NLSv2 and SOBER-128. Our model is more general than a previous investigations into direct injection. Possible forgery attacks against this model are investigated. It is shown that using a nonlinear filter in the accumulation process of the input message when either the input message or the initial states of the register is unknown prevents forgery attacks based on collisions. The last contribution is a new general matrix based model for MAC generation where the input message is injected indirectly into the internal state. This model uses the input message as a controller to accumulate a keystream sequence into an accumulation register. We show that three current AE stream ciphers can be considered as instances of this model; namely ZUC, Grain-128a and Sfinks. We establish the conditions under which the model is susceptible to forgery and side-channel attacks.

Open educational resources in China : a governmentality analysis

Using a sociological approach, this study examines China’s reform of open educational resources (OER), which has prompted significant changes to the nation’s higher education sector. Through an analysis of the policy processes that have driven the reform, this study demonstrates that the reform has involved and brought significant changes to its participants as resource administrators, providers, and receivers. By using governmentality as a poststructuralist analytical framework, this study shows the particular ways in which the reform process has been governed and the ways in which the governing practices have changed the conduct of higher education. The study reveals the power relations exercised through the reform and offers a critique of China’s higher education sector.

Improving statistical analysis of matched case-control studies

Matched case–control research designs can be useful because matching can increase power due to reduced variability between subjects. However, inappropriate statistical analysis of matched data could result in a change in the strength of association between the dependent and independent variables or a change in the significance of the findings. We sought to ascertain whether matched case–control studies published in the nursing literature utilized appropriate statistical analyses. Of 41 articles identified that met the inclusion criteria, 31 (76%) used an inappropriate statistical test for comparing data derived from case subjects and their matched controls. In response to this finding, we developed an algorithm to support decision-making regarding statistical tests for matched case–control studies.

Thermal analysis and vibrational spectroscopic characterization of the boro silicate mineral datolite – CaBSiO4(OH)

The objective of this work is to determine the thermal stability and vibrational spectra of datolite CaBSiO4(OH) and relate these properties to the structure of the mineral. The thermal analysis of datolite shows a mass loss of 5.83% over a 700–775 °C temperature range. This mass loss corresponds to 1 water (H2O) molecules pfu. A quantitative chemical analysis using electron probe was undertaken. The Raman spectrum of datolite is characterized by bands at 917 and 1077 cm−1 assigned to the symmetric stretching modes of BO and SiO tetrahedra. A very intense Raman band is observed at 3498 cm−1 assigned to the stretching vibration of the OH units in the structure of datolite. BOH out-of-plane vibrations are characterized by the infrared band at 782 cm−1. The vibrational spectra are based upon the structure of datolite based on sheets of four- and eight-membered rings of alternating SiO4 and BO3(OH) tetrahedra with the sheets bonded together by calcium atoms.

Universal active and reactive power control of electronically interfaced distributed generation sources in virtual power plants operating in gridconnected and islanding modes

The control paradigms of the distributed generation (DG) sources in the smart grid are realised by either utilising virtual power plant (VPP) or by employing MicroGrid structures. Both VPP and MicroGrid are presented with the problem of control of power flow between their comprising DG sources. This study depicts this issue for VPP and proposes a novel and improved universal active and reactive power flow controllers for three-phase pulse width modulated voltage source inverters (PWM-VSI) operating in the VPP environment. The proposed controller takes into account all cases of R-X relationship, thus allowing it to function in systems operating at high, medium (MV) and low-voltage (LV) levels. Also proposed control scheme for the first time in an inverter control takes into account the capacitance of the transmission line which is an important factor to accurately represent medium length transmission lines. This allows the proposed control scheme to be applied in VPP structures, where DG sources can operate at MV LV levels over a short/medium length transmission line. The authors also conducted small signal stability analysis of the proposed controller and compared it against the small signal study of the existing controllers.

Measurement, modelling and capacity analysis for novel, fixed multi-user single-antenna MIMO-OFDM system, in rural environments

High-speed broadband internet access is widely recognised as a catalyst to social and economic development. However, the provision of broadband Internet services with the existing solutions to rural population, scattered over an extensive geographical area, remains both an economic and technical challenge. As a feasible solution, the Commonwealth Scientific and Industrial Research Organization (CSIRO) proposed a highly spectrally efficient, innovative and cost-effective fixed wireless broadband access technology, which uses analogue TV frequency spectrum and Multi-User MIMO (MUMIMO) technology with Orthogonal-Frequency-Division-Multiplexing (OFDM). MIMO systems have emerged as a promising solution for the increasing demand of higher data rates, better quality of service, and higher network capacity. However, the performance of MIMO systems can be significantly affected by different types of propagation environments e.g., indoor, outdoor urban, or outdoor rural and operating frequencies. For instance, large spectral efficiencies associated with MIMO systems, which assume a rich scattering environment in urban environments, may not be valid for all propagation environments, such as outdoor rural environments, due to the presence of less scatterer densities. Since this is the first time a MU-MIMO-OFDM fixed broadband wireless access solution is deployed in a rural environment, questions from both theoretical and practical standpoints arise; For example, what capacity gains are available for the proposed solution under realistic rural propagation conditions?. Currently, no comprehensive channel measurement and capacity analysis results are available for MU-MIMO-OFDM fixed broadband wireless access systems which employ large scale multiple antennas at the Access Point (AP) and analogue TV frequency spectrum in rural environments. Moreover, according to the literature, no deterministic MU-MIMO channel models exist that define rural wireless channels by accounting for terrain effects. This thesis fills the aforementioned knowledge gaps with channel measurements, channel modeling and comprehensive capacity analysis for MU-MIMO-OFDM fixed wireless broadband access systems in rural environments. For the first time, channel measurements were conducted in a rural farmland near Smithton, Tasmania using CSIRO's broadband wireless access solution. A novel deterministic MU-MIMO-OFDM channel model, which can be used for accurate performance prediction of rural MUMIMO channels with dominant Line-of-Sight (LoS) paths, was developed under this research. Results show that the proposed solution can achieve 43.7 bits/s/Hz at a Signal-to- Noise Ratio (SNR) of 20 dB in rural environments. Based on channel measurement results, this thesis verifies that the deterministic channel model accurately predicts channel capacity in rural environments with a Root Mean Square (RMS) error of 0.18 bits/s/Hz. Moreover, this study presents a comprehensive capacity analysis of rural MU-MIMOOFDM channels using experimental, simulated and theoretical models. Based on the validated deterministic model, further investigations on channel capacity and the eects of capacity variation, with different user distribution angles (θ) around the AP, were analysed. For instance, when SNR = 20dB, the capacity increases from 15.5 bits/s/Hz to 43.7 bits/s/Hz as θ increases from 10° to 360°. Strategies to mitigate these capacity degradation effects are also presented by employing a suitable user grouping method. Outcomes of this thesis have already been used by CSIRO scientists to determine optimum user distribution angles around the AP, and are of great significance for researchers and MU-MUMO-OFDM system developers to understand the advantages and potential capacity gains of MU-MIMO systems in rural environments. Also, results of this study are useful to further improve the performance of MU-MIMO-OFDM systems in rural environments. Ultimately, this knowledge contribution will be useful in delivering efficient, cost-effective high-speed wireless broadband systems that are tailor-made for rural environments, thus, improving the quality of life and economic prosperity of rural populations.

Steady natural convection of non-Newtonian power-law fluid in a trapezoidal enclosure

Numerically investigation of free convection heat transfer in a differentially heated trapezoidal cavity filled with non-Newtonian Power-law fluid has been performed in this study. The left inclined surface is uniformly heated whereas the right inclined surface is maintained as uniformly cooled. The top and bottom surfaces are kept adiabatic with initially quiescent fluid inside the enclosure. Finite volume based commercial software FLUENT 14.5 is used to solve the governing equations. Dependency of various flow parameters of fluid flow and heat transfer is analyzed including Rayleigh number, Ra ranging from 10^5 to 10^7, Prandtl number, Pr of 100 to 10,000 and power index, n of 0.6 to 1.4. Outcomes have been reported in terms of isotherms, streamline, and local Nusselt number for various Ra, Pr, n and inclined angles. Grid sensitivity analysis is performed and numerically obtained results have been compared with those results available in the literature and found good agreement.

The 4C spectrum of fundamental behavioral relations for concurrent systems

The design of concurrent software systems, in particular process-aware information systems, involves behavioral modeling at various stages. Recently, approaches to behavioral analysis of such systems have been based on declarative abstractions defined as sets of behavioral relations. However, these relations are typically defined in an ad-hoc manner. In this paper, we address the lack of a systematic exploration of the fundamental relations that can be used to capture the behavior of concurrent systems, i.e., co-occurrence, conflict, causality, and concurrency. Besides the definition of the spectrum of behavioral relations, which we refer to as the 4C spectrum, we also show that our relations give rise to implication lattices. We further provide operationalizations of the proposed relations, starting by proposing techniques for computing relations in unlabeled systems, which are then lifted to become applicable in the context of labeled systems, i.e., systems in which state transitions have semantic annotations. Finally, we report on experimental results on efficiency of the proposed computations.

Vehicle energy throughput analysis as a drivetrain motor design aid

There are many variables to consider in the design of an electric motor. However, meeting the performance requirements for an electric vehicle drive may cause a designer to loose focus on its typical operation and hence fail to optimise the motor in the region where it processes the most power. This paper investigates operating requirements of electric vehicle motor drives using the University concept vehicle as an example. The paper outlines a methodology for determining primary operating region of a vehicle drive. The methodology is applied to standard driving cycles that are commonly used in the design and testing of vehicles.

High efficiency auxiliary power converters

The auxiliary load DC-DC converters of the Sunshark solar car have never been examined. An analysis of the current design reveals it is complicated, and inefficient. Some simple measures to greatly improve the efficiency are present which will achieve an overall worthwhile power saving. Two switch-mode power supply DC-DC converter designs are presented. One is a constant current supply for the LED brake and turn indicators, which allows them to be powered directly from the main DC bus, and switched only as necessary. The second is a low power flyback converter, which employs synchronous rectification among other techniques to achieve good efficiency and regulation over a large range of output powers. Practical results from both converters, and an indication of the overall improvement in system efficiency will be offered.

Marital power process of Korean men married to foreign women : A qualitative study

This study explored how Korean men married to migrant women construct meaning around married life. Data were collected through in-depth interviews with 10 men who had had been married to migrant women for ≥ 2 years. Data collection and analysis were performed concurrently using a grounded theory approach. The core category generated was the process of sustaining a family unit. The men came to understand the importance of a distribution of power within the family in sustaining the family unit. Constituting this process were four stages: recognizing an imbalance of power, relinquishing power, empowering, and fine-tuning the balance of power. This study provides important insight into the dynamics of marital power from men's point of view by demonstrating a link between the way people adjust to married life and the process by which married couples adjust through the distribution and redistribution of power.

The impact of the clean development mechanism (CDM) on the cost price of wind power electricity : a China study

As a renewable energy source, wind power is playing an increasingly important role in China’s electricity supply. Meanwhile, China is also the world’s largest market for Clean Development Mechanism (CDM) wind power projects. Based on the data of 27 wind power projects of Inner Mongolia registered with the Executive Board of the United Nations (EB) in 2010, this paper constructs a financial model of Net Present Value (NPV) to analyze the cost of wind power electricity. A sensitivity analysis is then conducted to examine the impact of different variables with and without Certified Emission Reduction (CER) income brought about by the CDM. It is concluded that the CDM, along with static investment and annual wind electricity production, is one of the most significant factors in promoting the development of wind power in China. Additionally, wind power is envisaged as a practical proposition for competing with thermal power if the appropriate actions identified in the paper are made.

V: Rewriting and reclaiming history : an analysis of the emergence of restorative justice in western criminal justice systems

During the last three decades, restorative justice has emerged in numerous localities around the world as an accepted approach to responding to crime. This article, which stems from a doctoral study on the history of restorative justice, provides a critical analysis of accepted histories of restorative practices. It revisits the celebrated historical texts of the restorative justice movement, and re-evaluates their contribution to the emergence of restorative justice measures. It traces the emergence of the term 'restorative justice', and reveals that it emerged in much earlier writings than is commonly thought to be the case by scholars in the restorative justice field. It also briefly considers some 'power struggles' in relation to producing an accepted version of the history of restorative justice, and scholars' attempts to 'rewrite history' to align with current views on restorative justice. Finally, this article argues that some histories of restorative justice selectively and inaccurately portray key figures from the history of criminology as restorative justice supporters. This, it is argued, gives restorative justice a false lineage and operates to legitimise the widespread adoption of restorative justice around the globe.

Differential pathologic variables and outcomes across the spectrum of adenocarcinoma of the esophagogastric junction

Background Adenocarcinoma of the esophagogastric junction (AEG) as described by Siewert et al. is classified as one entity in the latest (7th Edition) American Joint Cancer Committee/International Union Against Cancer (AJCC/UICC) manual, compared with the previous mix of esophageal and gastric staging systems. The origin of AEG tumors, esophageal or gastric, and their biology remain controversial, particularly for AEG type II (cardia) tumors. Methods We adapted a large prospective database (n = 520: 180 type I, 182 type II, 158 type III) to compare AEG tumors under the new TNM system Pathological variables associated with prognosis were compared (pT, pN, stage, differentiation, R status, lymphovascular invasion, perineural involvement, number of positive nodes, percent of positive nodes, and tumor length), as well as overall survival. Results Compared with AEG type I tumors, type II and type III tumors had significantly (p\0.05) more advanced pN stages, greater number and percentage of positive nodes, poorer differentiation, more radial margin involvement, and more perineural invasion. In AEG type I, 14/180 patients (8%) had[6 involved nodes (pN3), compared with 16 and 30% of patients classified type II and III, respectively. Median survival was significantly (p = 0.03) improved for type I patients (38 months) compared with those with tumors classified as type II (28 months) and type III (24 months). In multivariate analysis node positivity and pN staging but not AEG site had an impact on survival. Conclusions In this series AEG type I is associated with more favorable pathologic features and improved outcomes compared with AEG type II and III. This may reflect earlier diagnosis, but an alternative possibility, that type I may be a unique paradigm with more favorable biology, requires further study. © Société Internationale de Chirurgie 2010.

Critical discourse analysis

This chapter outlines the reasons why discourse analysis is an important dimension of critical social work practice. It brings to the forefront the very significant new contributions that sociologists focusing on the politics of recognition and redistribution, such as Nancy Fraser and Axel Honneth, can make in casting a "new politics of critical social work". In making this case, it begins by discussing some key developments in discourse theory and analysis within the social sciences and how they relate to the normative concerns of social work, specifically social justice and its multiple interpretations. Developing an appropriate analytical framework for social work practice can be difficult because there are conflicting and overlapping definitions of discourse formulated from various theoretical and disciplinary standpoints (Fairclough, 1992; Macdonnell, 1991). There are many different accounts of discourse that have developed in the social sciences, which is partly a result of recent interest in discourse theory among a wide range of academic disciplines. Whether language has assumed more of a central focus as a result of increased academic interest, or whether there has been an increase in the social importance of language in the operations of power is open to question...