Formal analysis of card-based payment systems in mobile devices

To provide card holder authentication while they are conducting an electronic transaction using mobile devices, VISA and MasterCard independently proposed two electronic payment protocols: Visa 3D Secure and MasterCard Secure Code. The protocols use pre-registered passwords to provide card holder authentication and Secure Socket Layer/ Transport Layer Security (SSL/TLS) for data confidentiality over wired networks and Wireless Transport Layer Security (WTLS) between a wireless device and a Wireless Application Protocol (WAP) gateway. The paper presents our analysis of security properties in the proposed protocols using formal method tools: Casper and FDR2. We also highlight issues concerning payment security in the proposed protocols.

Cryptanalysis of block ciphers with overdefined systems of equations

Several recently proposed ciphers, for example Rijndael and Serpent, are built with layers of small S-boxes interconnected by linear key-dependent layers. Their security relies on the fact, that the classical methods of cryptanalysis (e.g. linear or differential attacks) are based on probabilistic characteristics, which makes their security grow exponentially with the number of rounds N r r. In this paper we study the security of such ciphers under an additional hypothesis: the S-box can be described by an overdefined system of algebraic equations (true with probability 1). We show that this is true for both Serpent (due to a small size of S-boxes) and Rijndael (due to unexpected algebraic properties). We study general methods known for solving overdefined systems of equations, such as XL from Eurocrypt’00, and show their inefficiency. Then we introduce a new method called XSL that uses the sparsity of the equations and their specific structure. The XSL attack uses only relations true with probability 1, and thus the security does not have to grow exponentially in the number of rounds. XSL has a parameter P, and from our estimations is seems that P should be a constant or grow very slowly with the number of rounds. The XSL attack would then be polynomial (or subexponential) in N r> , with a huge constant that is double-exponential in the size of the S-box. The exact complexity of such attacks is not known due to the redundant equations. Though the presented version of the XSL attack always gives always more than the exhaustive search for Rijndael, it seems to (marginally) break 256-bit Serpent. We suggest a new criterion for design of S-boxes in block ciphers: they should not be describable by a system of polynomial equations that is too small or too overdefined.

Democratic systems

Digital signature is a breakthrough of modern cryptographic systems. A (t, n) threshold digital signature allows every set of cardinality t or more (out-of n) co-signers to authenticate a message. In almost all existing threshold digital signatures the threshold parameter t is fixed. There are applications, however, in which the threshold parameter needs to be changed from time to time. This paper considers such a scenario, in order to discuss relevant problems, and proposes a model that solves the related problems.

Current control in the magnetron systems for nanofabrication : a comparison

A cylindrical magnetron system and a hybrid inductively coupled plasma-assisted magnetron deposition system were examined experimentally in light of their discharge characteristics with a view to stress the enhanced controllability of the hybrid system. The comparative study has shown that the hybrid magnetron + the inductively coupled plasma system is a flexible, powerful, and convenient tool that has certain advantages as compared with the cylindrical dc magnetrons. In particular, the hybrid system features more linear current-voltage characteristics and the possibility of a bias-independent control of the discharge current.

Property-performance control of multidimensional, hierarchical, single-crystalline ZnO nanoarchitectures

Diverse morphologies of multidimensional hierarchical single-crystalline ZnO nanoarchitectures including nanoflowers, nanobelts, and nanowires are obtained by use of a simple thermal evaporation and vapour-phase transport deposition technique by placing Au-coated silicon substrates in different positions inside a furnace at process temperatures as low as 550 °C. The nucleation and growth of ZnO nanostructures are governed by the vapour–solid mechanism, as opposed to the commonly reported vapour–liquid–solid mechanism, when gold is used in the process. The morphological, structural, compositional and optical properties of the synthesized ZnO nanostructures can be effectively tailored by means of the experimental parameters, and these properties are closely related to the local growth temperature and gas-phase supersaturation at the sample position. In particular, room-temperature photoluminescence measurements reveal an intense near-band-edge ultraviolet emission at about 386 nm for nanobelts and nanoflowers, which suggests that these nanostructures are of sufficient quality for applications in, for example, optoelectronic devices.

Driver’s over-trust on Advanced Driver Assistance Systems on passively protected railway crossings

Passively protected railway crossings are a major rail safety issue in Australia. Such crossings cannot be upgraded as such crossings are too numerous and the cost involved is prohibitive. Advanced Driver Assistance Systems (ADAS) have been shown to improve road safety and are widely used. These systems could be a solution to improve safety of passively protected crossings at a lower cost. Such complementary ADAS could result in driver’s over-trust due to the absence of Humane Machine Interface reflecting the quality of the information or the state of the ADAS (failure status). This paper demonstrates that driver’s exposure to crossing exhibiting fail-safe and non-fail safe properties could result in improperly allocating trust between technologies. We conducted a driving simulator study where participants (N=58) were exposed to three types of level crossing warning system on passive and active crossings. The results show that a significant proportion of participants over-trust the ADAS. Such drivers exhibit the same driving performance with the ADAS as when exposed to infrastructure based active crossing protection. They do not take the necessary safety precautions as they have a faster speed approach, reduced number of gaze toward the rail tracks and fail to stop at the crossing.

Nanoscale transfer of energy and matter in plasma–surface interactions

The main issues related to control of energy and matter in hierarchical low-temperature plasma-solid systems used in nanoscale synthesis and processing are critically examined. A conceptual approach to identify the most effective carriers and transport mechanisms of energy and matter at the nano- and subnanometer scales in plasma-aided nanofabrication is proposed. This approach is highly relevant to the envisaged energy- and matter-efficient plasma-based production of the next-generation advanced nanomaterials for applications in the energy, environment, food, water, health, and security technologies critically needed for a sustainable future.

Control of dense carbon nanotube arrays via hierarchical multilayer catalyst

Effective control of dense, high-quality carbon nanotube arrays using hierarchical multilayer catalyst patterns is demonstrated. Scanning/transmission electron microscopy, atomic force microscopy, Raman spectroscopy, and numerical simulations show that by changing the secondary and tertiary layers one can control the properties of the nanotube arrays. The arrays with the highest surface density of vertically aligned nanotubes are produced using a hierarchical stack of iron nanoparticles and alumina and silica layers differing in thickness by one order of magnitude from one another. The results are explained in terms of the catalyst structure effect on carbon diffusivity.

Hierarchical multilevel arrays of self-assembled gold nanoparticles : Control of resistivity-temperature dependence

The possibility to control the electric resistivity-temperature dependence of the nanosized resistive components made using hierarchical multilevel arrays of self-assembled gold nanoparticles prepared by multiple deposition/annealing is demonstrated. It is experimentally shown that the hierarchical three-level patterns, where the nanoparticles of sizes ranging from several nanometers to several tens of nanometer play a competitive roles in the electric conductivity, demonstrate sharp changes in the activation energy. These patterns can be used for the precise tuning of the resistivity-temperature behavior of nanoelectronic components.

Catalyst size effects on the growth of single-walled nanotubes in neutral and plasma systems

The results of large-scale (∼109 atoms) numerical simulations of the growth of different-diameter vertically-aligned single-walled carbon nanotubes in plasma systems with different sheath widths and in neutral gases with the same operating parameters are reported. It is shown that the nanotube lengths and growth rates can be effectively controlled by varying the process conditions. The SWCNT growth rates in the plasma can be up to two orders of magnitude higher than in the equivalent neutral gas systems. Under specific process conditions, thin SWCNTs can grow much faster than their thicker counterparts despite the higher energies required for catalyst activation and nanotube nucleation. This selective growth of thin SWCNTs opens new avenues for the solution of the currently intractable problem of simultaneous control of the nanotube chirality and length during the growth stage.

Fire performance and design of load bearing light gauge steel frame wall systems exposed to realistic design fires

This paper presents the fire performance results of light gauge steel frame (LSF) walls lined with single and double plasterboards, and externally insulated with rock fibre insulation as obtained using a finite element analysis based parametric study. A validated numerical model was used to study the influence of various fire curves developed for a range of compartment characteristics. Data from the parametric study was utilized to develop a simplified method to predict the fire resistance ratings of LSF walls exposed to realistic design fire curves. Further, this paper also presents the details of suitable fire design rules based on current cold-formed steel standards and the modifications proposed by previous researchers. Of these the recently developed design rules by Gunalan and Mahendran [1] were investigated to determine their applicability to predict the axial compression strengths and fire resistance ratings (FRR) of LSF walls exposed to realistic design fires. Finally, the stud failure times obtained from fire design rules and finite element studies were compared for LSF walls lined with single and double plasterboards, and externally insulated with rock fibres under realistic design fire curves.

Part 2. MOO methods for multidisciplinary design using parallel evolutionary algorithms, game theory and hierarchical topology. (Part 2.) Numerical aspects and implementation of model test cases

These lecture notes describe the use and implementation of a framework in which mathematical as well as engineering optimisation problems can be analysed. The foundations of the framework and algorithms described -Hierarchical Asynchronous Parallel Evolutionary Algorithms (HAPEAs) - lie upon traditional evolution strategies and incorporate the concepts of a multi-objective optimisation, hierarchical topology, asynchronous evaluation of candidate solutions , parallel computing and game strategies. In a step by step approach, the numerical implementation of EAs and HAPEAs for solving multi criteria optimisation problems is conducted providing the reader with the knowledge to reproduce these hand on training in his – her- academic or industrial environment.

Modelling electronegative complex plasma systems

The control of the generation and assembly of the electronegative plasma-grown particles is discussed. Due to the large number of elementary processes of particle creation and loss, electronegative complex plasmas should be treated as open systems where the stationary states are sustained by various particle creation and loss processes in the plasma bulk, on the walls, and on the dust grain surfaces. To be physically self-consistent, ionization, diffusion, electron attachment, recombination, dust charge variation, and dissipation due to electron and ion elastic collisions with neutrals and fine particles, as well as charging collisions with the dust, must be accounted for.

Dynamic self-organization phenomena in complex ionized gas systems : new paradigms and technological aspects

An overview of dynamic self-organization phenomena in complex ionized gas systems, associated physical phenomena, and industrial applications is presented. The most recent experimental, theoretical, and modeling efforts to understand the growth mechanisms and dynamics of nano- and micron-sized particles, as well as the unique properties of the plasma-particle systems (colloidal, or complex plasmas) and the associated physical phenomena are reviewed and the major technological applications of micro- and nanoparticles are discussed. Until recently, such particles were considered mostly as a potential hazard for the microelectronic manufacturing and significant efforts were applied to remove them from the processing volume or suppress the gas-phase coagulation. Nowadays, fine clusters and particulates find numerous challenging applications in fundamental science as well as in nanotechnology and other leading high-tech industries.