Securely outsourcing attribute-based encryption with checkability

Attribute-Based Encryption (ABE) is a promising cryptographic primitive which significantly enhances the versatility of access control mechanisms. Due to the high expressiveness of ABE policies, the computational complexities of ABE key-issuing and decryption are getting prohibitively high. Despite that the existing Outsourced ABE solutions are able to offload some intensive computing tasks to a third party, the verifiability of results returned from the third party has yet to be addressed. Aiming at tackling the challenge above, we propose a new Secure Outsourced ABE system, which supports both secure outsourced key-issuing and decryption. Our new method offloads all access policy and attribute related operations in the key-issuing process or decryption to a Key Generation Service Provider (KGSP) and a Decryption Service Provider (DSP), respectively, leaving only a constant number of simple operations for the attribute authority and eligible users to perform locally. In addition, for the first time, we propose an outsourced ABE construction which provides checkability of the outsourced computation results in an efficient way. Extensive security and performance analysis show that the proposed schemes are proven secure and practical. © 2013 IEEE.

Patchwork-based audio watermarking method robust to de-synchronization attacks

This paper presents a patchwork-based audio watermarking method to resist de-synchronization attacks such as pitch-scaling, time-scaling, and jitter attacks. At the embedding stage, the watermarks are embedded into the host audio signal in the discrete cosine transform (DCT) domain. Then, a set of synchronization bits are implanted into the watermarked signal in the logarithmic DCT (LDCT) domain. At the decoding stage, we analyze the received audio signal in the LDCT domain to find the scaling factor imposed by an attack. Then, we modify the received signal to remove the scaling effect, together with the embedded synchronization bits. After that, watermarks are extracted from the modified signal. Simulation results show that at the embedding rate of 10 bps, the proposed method achieves 98.9% detection rate on average under the considered de-synchronization attacks. At the embedding rate of 16 bps, it can still obtain 94.7% detection rate on average. So, the proposed method is much more robust to de-synchronization attacks than other patchwork watermarking methods. Compared with the audio watermarking methods designed for tackling de-synchronization attacks, our method has much higher embedding capacity.

Scalable RFID security framework and protocol supporting Internet of Things

Radio-frequency identification (RFID) is seen as one of the requirements for the implementation of the Internet-of-Things (IoT). However, an RFID system has to be equipped with a holistic security framework for a secure and scalable operation. Although much work has been done to provide privacy and anonymity, little focus has been given to performance, scalability and customizability issues to support robust implementation of IoT. Also, existing protocols suffer from a number of deficiencies such as insecure or inefficient identification techniques, throughput delay and inadaptability. In this paper, we propose a novel identification technique based on a hybrid approach (group-based approach and collaborative approach) and security check handoff (SCH) for RFID systems with mobility. The proposed protocol provides customizability and adaptability as well as ensuring the secure and scalable deployment of an RFID system to support a robust distributed structure such as the IoT. The protocol has an extra fold of protection against malware using an incorporated malware detection technique. We evaluated the protocol using a randomness battery test and the results show that the protocol offers better security, scalability and customizability than the existing protocols. © 2014 Elsevier B.V. All rights reserved.

Approach to fault detection of time-delay systems using functional observers

A new methodology is reported for designing functional observers to detect actuator faults of a class of time-delay systems where the matrix pair (A, C) is not observable. First, a generalised state transformation is used to transform the system into new coordinates where the delay term associated with the state vector is injected into the system's output and input. Then, a minimum-order functional observer is designed to construct a residual function that can trigger system faults. The finding is significant as it is now possible to detect faults of time-delay systems where the pair (A, C) is not required to be observable. A numerical example is given to illustrate the effectiveness of the proposed design approach. © The Institution of Engineering and Technology 2014.

Further observations on smart-card-based password-authenticated key agreement in distributed systems

This paper initiates the study of two specific security threats on smart-card-based password authentication in distributed systems. Smart-card-based password authentication is one of the most commonly used security mechanisms to determine the identity of a remote client, who must hold a valid smart card and the corresponding password to carry out a successful authentication with the server. The authentication is usually integrated with a key establishment protocol and yields smart-card-based password-authenticated key agreement. Using two recently proposed protocols as case studies, we demonstrate two new types of adversaries with smart card: 1) adversaries with pre-computed data stored in the smart card, and 2) adversaries with different data (with respect to different time slots) stored in the smart card. These threats, though realistic in distributed systems, have never been studied in the literature. In addition to point out the vulnerabilities, we propose the countermeasures to thwart the security threats and secure the protocols. © 2013 IEEE.

Nonlinear dynamic modeling of ionic polymer conductive network composite actuators using rigid finite element method

Ionic polymer conductive network composite (IPCNC) actuators are a class of electroactive polymer composites that exhibit some interesting electromechanical characteristics such as low voltage actuation, large displacements, and benefit from low density and elastic modulus. Thus, these emerging materials have potential applications in biomimetic and biomedical devices. Whereas significant efforts have been directed toward the development of IPMC actuators, the establishment of a proper mathematical model that could effectively predict the actuators' dynamic behavior is still a key challenge. This paper presents development of an effective modeling strategy for dynamic analysis of IPCNC actuators undergoing large bending deformations. The proposed model is composed of two parts, namely electrical and mechanical dynamic models. The electrical model describes the actuator as a resistive-capacitive (RC) transmission line, whereas the mechanical model describes the actuator as a system of rigid links connected by spring-damping elements. The proposed modeling approach is validated by experimental data, and the results are discussed. © 2014 Elsevier B.V. All rights reserved.

Robust nonlinear distributed controller design for active and reactive power sharing in islanded microgrids

This paper presents a robust nonlinear distributed controller design for islanded operation of microgrids in order to maintain active and reactive power balance. In this paper, microgrids are considered as inverter-dominated networks integrated with renewable energy sources (RESs) and battery energy storage systems (BESSs), where solar photovoltaic generators act as RESs and plug-in hybrid electric vehicles as BESSs to supply power into the grid. The proposed controller is designed by using partial feedback linearization and the robustness of this control scheme is ensured by considering structured uncertainties within the RESs and BESSs. An approach for modeling the uncertainties through the satisfaction of matching conditions is also provided in this paper. The proposed distributed control scheme requires information from local and neighboring generators to communicate with each other and the communication among RESs, BESSs, and control centers is developed by using the concept of the graph theory. Finally, the performance of the proposed robust controller is demonstrated on a test microgrid and simulation results indicate the superiority of the proposed scheme under different operating conditions as compared to a linear-quadratic-regulator-based controller.

An optimized mean variance estimation method for uncertainty quantification of wind power forecasts

A statistical optimized technique for rapid development of reliable prediction intervals (PIs) is presented in this study. The mean-variance estimation (MVE) technique is employed here for quantification of uncertainties related with wind power predictions. In this method, two separate neural network models are used for estimation of wind power generation and its variance. A novel PI-based training algorithm is also presented to enhance the performance of the MVE method and improve the quality of PIs. For an in-depth analysis, comprehensive experiments are conducted with seasonal datasets taken from three geographically dispersed wind farms in Australia. Five confidence levels of PIs are between 50% and 90%. Obtained results show while both traditional and optimized PIs are hypothetically valid, the optimized PIs are much more informative than the traditional MVE PIs. The informativeness of these PIs paves the way for their application in trouble-free operation and smooth integration of wind farms into energy systems. © 2014 Elsevier Ltd. All rights reserved.

Prediction of pedestrians routes within a built environment in normal conditions

Modelling and prediction of pedestrian routing behaviours within known built environments has recently attracted the attention of researchers across multiple disciplines, owing to the growing demand on urban resources and requirements for efficient use of public facilities. This study presents an investigation into pedestrians' routing behaviours within an indoor environment under normal, non-panic situations. A network-based method using constrained Delaunay triangulation is adopted, and a utility-based model employing dynamic programming is developed. The main contribution of this study is the formulation of an appropriate utility function that allows an effective application of dynamic programming to predict a series of consecutive waypoints within a built environment. The aim is to generate accurate sequence waypoints for the pedestrian walking path using only structural definitions of the environment as defined in a standard CAD format. The simulation results are benchmarked against those from the A* algorithm, and the outcome positively indicates the usefulness of the proposed method in predicting pedestrians' route selection activities. © 2014 Elsevier Ltd. All rights reserved.

Condition monitoring of induction motors : A review and an application of an ensemble of hybrid intelligent models

In this paper, a review on condition monitoring of induction motors is first presented. Then, an ensemble of hybrid intelligent models that is useful for condition monitoring of induction motors is proposed. The review covers two parts, i.e.; (i) a total of nine commonly used condition monitoring methods of induction motors; and (ii) intelligent learning models for condition monitoring of induction motors subject to single and multiple input signals. Based on the review findings, the Motor Current Signature Analysis (MCSA) method is selected for this study owing to its online, non-invasive properties and its requirement of only single input source; therefore leading to a cost-effective condition monitoring method. A hybrid intelligent model that consists of the Fuzzy Min-Max (FMM) neural network and the Random Forest (RF) model comprising an ensemble of Classification and Regression Trees is developed. The majority voting scheme is used to combine the predictions produced by the resulting FMM-RF ensemble (or FMM-RFE) members. A benchmark problem is first deployed to evaluate the usefulness of the FMM-RFE model. Then, the model is applied to condition monitoring of induction motors using a set of real data samples. Specifically, the stator current signals of induction motors are obtained using the MCSA method. The signals are processed to produce a set of harmonic-based features for classification using the FMM-RFE model. The experimental results show good performances in both noise-free and noisy environments. More importantly, a set of explanatory rules in the form of a decision tree can be extracted from the FMM-RFE model to justify its predictions. The outcomes ascertain the effectiveness of the proposed FMM-RFE model in undertaking condition monitoring tasks, especially for induction motors, under different environments. © 2014 Elsevier Ltd. All rights reserved.

Segmentation of gray scale image based on intuitionistic fuzzy sets constructed from several membership functions

Segmentation is the process of extraction of objects from an image. This paper proposes a new algorithm to construct intuitionistic fuzzy set (IFS) from multiple fuzzy sets as an application to image segmentation. Hesitation degree in IFS is formulated as the degree of ignorance (due to the lack of knowledge) to determine whether the chosen membership function is best for image segmentation. By minimizing entropy of IFS generated from various fuzzy sets, an image is thresholded. Experimental results are provided to show the effectiveness of the proposed method.

Swing-up and stability control of Wheeled Acrobot (WAcrobot)

In this paper the Wheeled Acrobot (WAcrobot), a novel mechanical system consisting of an underactuated double inverted pendulum robot (Acrobot) equipped with actuated wheels, is described. This underactuated and highly nonlinear system has potential applications in mobile manipulators and leg-wheeled robots. It is also a testbed for researchers studying advanced methodologies in nonlinear control. The control system for swing-up of the WAcrobot based on collocated or non-collocated feedback linearisation to linearise the active or passive Degree Of Freedom (DOF) followed by Linear Quadratic Regulator (LQR) to stabilise the robot is discussed. The effectiveness of the proposed scheme is validated with numerical simulation. The numerical results are visualised by graphical simulation to demonstrate the correlation between the numerical results and the WAcrobot physical response.