Deniable Authenticated Key Establishment for Internet Protocols

We propose two public-key schemes to achieve “deniable authentication” for the Internet Key Exchange (IKE). Our protocols can be implemented using different concrete mechanisms and we discuss different options; in particular we suggest solutions based on elliptic curve pairings. The protocol designs use the modular construction method of Canetti and Krawczyk which provides the basis for a proof of security. Our schemes can, in some situations, be more efficient than existing IKE protocols as well as having stronger deniability properties.

‘Beijing bling’: creative details and consumer choices in contemporary China : an interview with Hung Huang

This edited interview with Hung Huang, CEO of China Interactive Media Group (CIMG), was conducted by Lucy Montgomery in Beijing on 12 August 2005. It was done as part of the ARC Discovery research project, Internationalising Creative Industries: China, the WTO and the Knowledge Economy, led by John Hartley. That project is investigating the development of creative industries in China by focusing on a number of creative services including fashion magazines. Huang’s group publishes five fashion magazines in China, including i-Look, Youth International (Qingnian Yizu), which is the Chinese edition of Seventeen (originally founded by TV-Guide mogul Walter Annenberg), and the Beijing and Shanghai versions of London’s Time Out. It also produces TV programs under the same media brands. The company is based in the stylish Bauhaus-designed former factory 798-Space in the district of Dashanzi, Beijing (see www.798space.com). Huang went to school in Greenwich Village and graduated from Vassar College in New York. She is the daughter of Zhang Hanzhi, who was Mao Zedong’s personal English teacher, and stepdaughter of Qiao Guanhua, Foreign Minister of China during the 1970s at the time of the Nixon visit. Her book My Abnormal Life sold 200,000 copies in China.

Prediction of highway truck conveyance configuration under over-limit prohibition and conveyance equilibrium

Aiming at the shortage of prevailing prediction methods about highway truck conveyance configuration in over-limit freight research that transferring the goods attributed to over-limit portion to another fully loaded truck of the same configuration and developing the truck traffic volume synchronously, a new way to get accumulated probability function of truck power tonnage in basal year by highway truck classified by wheel and axle type load mass spectrum investigation was presented. Logit models were used to forecast overall highway freight diversion and single cargo tonnage diversion when the weight rules and strict of enforcement intensity of overload were changed in scheme year. Assumption that the probability distribution of single truck loadage should be consistent with the probability distribution of single goods freighted, the model describes the truck conveyance configuration in the future under strict over-limit prohibition. The model was used and tested in Highway Over-limit Research Project in Anhui by World Bank.

Enhanced human bone marrow stromal cell affinity for modified poly(L-lactide) surfaces by the upregulation of adhesion molecular genes

To enhance and regulate cell affinity for poly (l-lactic acid) (PLLA) based materials, two hydrophilic ligands, poly (ethylene glycol) (PEG) and poly (l-lysine) (PLL), were used to develop triblock copolymers: methoxy-terminated poly (ethylene glycol)-block-poly (l-lactide)-block-poly (l-lysine) (MPEG-b-PLLA-b-PLL) in order to regulate protein absorption and cell adhesion. Bone marrow stromal cells (BMSCs) were cultured on different composition of MPEG-b-PLLA-b-PLL copolymer films to determine the effect of modified polymer surfaces on BMSC attachment. To understand the molecular mechanism governing the initial cell adhesion on difference polymer surfaces, the mRNA expression of 84 human extracellular matrix (ECM) and adhesion molecules was analysed using quantitative reverse transcriptase polymerase chain reaction (qRT-PCR). It was found that down regulation of adhesion molecules was responsible for the impaired BMSC attachment on PLLA surface. MPEG-b-PLLA-b-PLL copolymer films improved significantly the cell adhesion and cytoskeleton expression by upregulation of relevant molecule genes significantly. Six adhesion genes (CDH1, ITGL, NCAM1, SGCE, COL16A1, and LAMA3) were most significantly influenced by the modified PLLA surfaces. In summary, polymer surfaces altered adhesion molecule gene expression of BMSCs, which consequently regulated cell initial attachment on modified PLLA surfaces.

Identity-based strong designated verifier signature schemes: Attacks and new construction

A strong designated verifier signature scheme makes it possible for a signer to convince a designated verifier that she has signed a message in such a way that the designated verifier cannot transfer the signature to a third party, and no third party can even verify the validity of a designated verifier signature. We show that anyone who intercepts one signature can verify subsequent signatures in Zhang-Mao ID-based designated verifier signature scheme and Lal-Verma ID-based designated verifier proxy signature scheme. We propose a new and efficient ID-based designated verifier signature scheme that is strong and unforgeable. As a direct corollary, we also get a new efficient ID-based designated verifier proxy signature scheme.

Lighter than Tai

YEAR: 2008 ROLE: Performer FORMAT: Live Art Event at Tiananmen Square Beijing, China (3 hours) and Later on Summit of Mt. Tai Shan, Shandong Province, China (6 hrs + 3 hrs). WITH: Solo WHAT: In the Hall of Reverence on Tiananmen Square, Beijing Mao Zedong's body lies in state surrounded by flowers and draped with a Red Flag of Communist China. His casket with a glass top lies on a black stone from Mt. Tai, reflecting the quotation from Sima Qian (China's Han Dynasty historian) that "One's life can be weightier than Mt. Tai or lighter than a goose feather". This pair of performances were a quiet, personal reflection upon what such a once revolutionary expression might mean in today's very different time and place. The work was conceived during the Olympic Cultural Festival showing of Intimate Transactions (www.intimatetransactions.com) - during the tumultuous times leading up to China's proudly staged August 2008 Olympics. The rise and rise of China had long been generating major geopolitical, ecological and cross-cultural shifts throughout the region and beyond. In this dramatic epicentre of change and at a time of such great national pride, how might we each act in ways that are ecologically 'mighty' and yet simultaneously have an impact lighter than a goosefeather? This is both a question for China in its relations with the autonomous provinces and the environment as it is for all of us in our own 'local' affairs. However ecologically speaking all that is of local concern is of global concern and noone can therefore be exempt from the need to sustain that which we share in common and must all protect for the future. Performance 1: Tiananmen Square, Beijing: Dropping 100 goose feathers. Performance 2: The summit of Mt Tai, Shandong Province. Building a mountain from Goose Feathers. SHOWING HISTORY: 1: Anniversary of Protest Crackdown, Jun 8th 2008. 2: Dawn on Tai Shan's summit, 15th June, 2008 DETAILS: Performance 1: Begin an hour after dawn (5.45am) in Tiananmen Square Bring pre-prepared performance shirt, a bag of goose feathers tipped with red. Begin at the "Gate of Heavenly Peace" under the image of Chairman Mao. Circumnavigate the world's largest open and the most surveilled public space 5 times dropping feathers periodically. Meditate on Forces of Change. Finally enter Chairman Mao's mausoleum with the masses and move quietly past his preserved body. End the performance at the Gate of Heavenly Peace 3 hours later. Performance 2: Walk up Mt. Tai Shan in silence meditating on Forces of Change (6 hours). Stay overnight on the summit. Begin an hour before dawn (3.45am) in silence. Bring performance shirt, a sack of goose feathers and a simple wooden structure. On the sunrise viewing side of the mountain build a miniature, fragile 'mountain' in goose feathers and sticks on the edge of a sheer precipice. Watch the sun rise as the feathers blow away into the valley deep below (3 hours).

Reliability evaluations of railway power supplies by fault-tree analysis

High reliability of railway power systems is one of the essential criteria to ensure quality and cost-effectiveness of railway services. Evaluation of reliability at system level is essential for not only scheduling maintenance activities, but also identifying reliability-critical components. Various methods to compute reliability on individual components or regularly structured systems have been developed and proven to be effective. However, they are not adequate for evaluating complicated systems with numerous interconnected components, such as railway power systems, and locating the reliability critical components. Fault tree analysis (FTA) integrates the reliability of individual components into the overall system reliability through quantitative evaluation and identifies the critical components by minimum cut sets and sensitivity analysis. The paper presents the reliability evaluation of railway power systems by FTA and investigates the impact of maintenance activities on overall reliability. The applicability of the proposed methods is illustrated by case studies in AC railways.

Computer simulation and modeling in railway applications

An electrified railway system includes complex interconnections and interactions of several subsystems. Computer simulation is the only viable means for system evaluation and analysis. This paper discusses the difficulties and requirements of effective simulation models for this specialized industrial application; and the development of a general-purpose multi-train simulator.

Component reliability estimations without field data

Maintenance activities in a large-scale engineering system are usually scheduled according to the lifetimes of various components in order to ensure the overall reliability of the system. Lifetimes of components can be deduced by the corresponding probability distributions with parameters estimated from past failure data. While failure data of the components is not always readily available, the engineers have to be content with the primitive information from the manufacturers only, such as the mean and standard deviation of lifetime, to plan for the maintenance activities. In this paper, the moment-based piecewise polynomial model (MPPM) are proposed to estimate the parameters of the reliability probability distribution of the products when only the mean and standard deviation of the product lifetime are known. This method employs a group of polynomial functions to estimate the two parameters of the Weibull Distribution according to the mathematical relationship between the shape parameter of two-parameters Weibull Distribution and the ratio of mean and standard deviation. Tests are carried out to evaluate the validity and accuracy of the proposed methods with discussions on its suitability of applications. The proposed method is particularly useful for reliability-critical systems, such as railway and power systems, in which the maintenance activities are scheduled according to the expected lifetimes of the system components.

Signalling layout for fixed-block railway lines with real-coded genetic algorithms.

Signalling layout design is one of the keys to railway operations with fixed-block signalling system and it also carries direct effect on overall train efficiency and safety. Based on an analysis to system objectives, this paper presents an optimization model with two objectives in order to devise an efficient signalling layout scheme. Taking into account the present railway line design practices in China, the paper describes steps of the computer-based signalling layout optimisation with real-coded genetic algorithms. A computer-aided system, based on train movement simulator, has also been employed to assist the optimisation process. A case study on a practical railway line has been conducted to make comparisons between the proposed GA-based approach and the current practices. The results illustrate the improved performance of the proposed approach in reducing signal block joints and shortening minimum train service headway.

Petri net modeling of spatial and temporal constraints in track allocation problem at railway stations

The track allocation problem (TAP) at a multi-track, multi-platform mainline railway station is defined by the station track layout and service timetable, which implies combinations of spatial and temporal conflicts. Feasible solutions are available from either traditional planning or advanced intelligent searching methods and their evaluations with respect to operational requirements are essential for the operators. To facilitate thorough analysis, a timed Coloured Petri Nets (CPN) model is presented here to encapsulate the inter-relationships of the spatial and temporal constraints in the TAP.

Quantitative evaluation of route allocation solutions at large-scale passenger stations

Routing trains within passenger stations in major cities is a common scheduling problem for railway operation. Various studies have been undertaken to derive and formulate solutions to this route allocation problem (RAP) which is particularly evident in mainland China nowadays because of the growing traffic demand and limited station capacity. A reasonable solution must be selected from a set of available RAP solutions attained in the planning stage to facilitate station operation. The selection is however based on the experience of the operators only and objective evaluation of the solutions is rarely addressed. In order to maximise the utilisation of station capacity while maintaining service quality and allowing for service disturbance, quantitative evaluation of RAP solutions is highly desirable. In this study, quantitative evaluation of RAP solutions is proposed and it is enabled by a set of indices covering infrastructure utilisation, buffer times and delay propagation. The proposed evaluation is carried out on a number of RAP solutions at a real-life busy railway station in mainland China and the results highlight the effectiveness of the indices in pinpointing the strengths and weaknesses of the solutions. This study provides the necessary platform to improve the RAP solution in planning and to allow train re-routing upon service disturbances.

A study of heuristic approach on station track allocation in mainline railways

Station track allocation is the critical component in the overall railway timetabling. Because of its intrinsic complexity and lack of modeling on station track layouts and train movement within station, analytical approach to attain optimal solution is not feasible. This study investigates the possibilities of applying a heuristic approach and identifies possible difficulties in practice. It is the first and important step to resolve one of the burning issues in the mainline railway operation in China.