• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.7 no.11
• /
• pp.2769-2792
• /
• 2013

In this paper, we propose an authenticated key agreement scheme, TinyIBAK, based on the identity-based cryptography and bilinear paring, for large scale sensor networks. We prove the security of our proposal in the random oracle model. According to the formal security validation using AVISPA, the proposed scheme is strongly secure against the passive and active attacks, such as replay, man-in-the middle and node compromise attacks, etc. We implemented our proposal for TinyOS-2.1, analyzed the memory occupation, and evaluated the time and energy performance on the MICAz motes using the Avrora toolkits. Moreover, we deployed our proposal within the TOSSIM simulation framework, and investigated the effect of node density on the performance of our scheme. Experimental results indicate that our proposal consumes an acceptable amount of resources, and is feasible for infrequent key distribution and rekeying in large scale sensor networks. Compared with other ID-based key agreement approaches, TinyIBAK is much more efficient or comparable in performance but provides rekeying. Compared with the traditional key pre-distribution schemes, TinyIBAK achieves significant improvements in terms of security strength, key connectivity, scalability, communication and storage overhead, and enables efficient secure rekeying.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2007.05a
• /
• pp.247-250
• /
• 2007

Flexible media such as the paper, the film, etc. are thin, light and very flexible. They behave in geometrically nonlinear. Any of small force makes large deformation. So we must including aerodynamic effect when its behavior is predicted. Thus, it becomes fully coupled fluid-structure interaction(FSI) problem. In FSI problems, where the fluid mesh near the structure undergoes large deformations and becomes unacceptably distorted, which drive the time step to a very small value for explicit calculations, the arbitrary Lagrangian-Eulerian(ALE) methods or rezoning are used to create a new undistorted mesh for the fluid domain, which allows the calculations to continue. In this paper, FE sheet model considering geometric nonlinearity is formulated to simulate the behavior of the flexible media. Aerodynamic force to the media by surrounding air is calculated by solving the incompressible Navier-Stokes equations. Q2Q1(Taylor-Hood) element which means biquadratic for velocity and bilinear for pressure is used for fluid domain. Q2Q1 element satisfies LBB condition and any stabilization technique is not needed. In this paper, cantilevered sheet in the viscous incompressible Navier-Stokes flow is simulated to check the mesh motion and numerical integration scheme, and then falling paper in the air is simulated and the effects of some representative parameters are investigated.

• Geomechanics and Engineering
• /
• v.20 no.4
• /
• pp.323-331
• /
• 2020

Pile foundation is widely used for railway bridges in loess throughout northwestern China. Modeling of the loess-pile interaction is an essential part for seismic analysis of bridge with pile foundation at seismically active regions. A quasi-static test is carried out to investigate the hysteretic behaviors of pile foundation in collapsible loess. The failure characteristics of the bridge pile-loess system under the cyclic lateral loading are summarized. From the test results, the energy dissipation, stiffness degradation and ductility of the pile foundation in loess are analyzed. Therefore, a bilinear model with stiffness degradation is recommended for the nonlinearity of the bridge pier-pile-loess system. It can be found that the stiffness of the bridge pier-pile-loess system decreases quickly in the initial stage, and then becomes more slowly with the increase of the displacement ductility. The equivalent viscous damping ratio is defined as the ratio of the dissipated energy in one cycle of hysteresis curves and increases with the lateral displacement.

• Steel and Composite Structures
• /
• v.21 no.4
• /
• pp.703-753
• /
• 2016

The ratcheting behavior was studied experimentally for Z2CND18.12N elbow piping under cyclic bending and steady internal pressure. Dozens of cyclic plasticity models for structural ratcheting responses simulations were used in the paper. The four models, namely, Bilinear (BKH), Multilinear (MKIN/KINH), Chaboche (CH3), were already available in the ANSYS finite element package. Advanced cyclic plasticity models, such as, modified Chaboche (CH4), Ohno-Wang, modified Ohno-Wang, Abdel Karim-Ohno and modified Abdel Karim-Ohno, were implemented into ANSYS for simulating the experimental responses. Results from the experimental and simulation studies were presented in order to demonstrate the state of structural ratcheting response simulation by these models. None of the models evaluated perform satisfactorily in simulating circumferential strain ratcheting response. Further, improvement in cyclic plasticity modeling and incorporation of material and structural features, like time-dependent, temperature-dependent, non-proportional, dynamic strain aging, residual stresses and anisotropy of materials in the analysis would be essential for advancement of low-cycle fatigue simulations of structures.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.11 no.7
• /
• pp.3699-3719
• /
• 2017

Conjunctive keyword search encryption is an important technique for protecting sensitive personal health records that are outsourced to cloud servers. It has been extensively employed for cloud storage, which is a convenient storage option that saves bandwidth and economizes computing resources. However, the process of searching outsourced data may facilitate the leakage of sensitive personal information. Thus, an efficient data search approach with high security is critical. The multi-user search function is critical for personal health records (PHRs). To solve these problems, this paper proposes a novel multi-user conjunctive keyword search scheme (mNCKS) without a secure channel against keyword guessing attacks for personal health records, which is referred to as a secure channel-free mNCKS (SCF-mNCKS). The security of this scheme is demonstrated using the Decisional Bilinear Diffie-Hellman (DBDH) and Decision Linear (D-Linear) assumptions in the standard model. Comparisons are performed to demonstrate the security advantages of the SCF-mNCKS scheme and show that it has more functions than other schemes in the case of analogous efficiency.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.13 no.12
• /
• pp.6243-6259
• /
• 2019

As a foundation of next-generation air transportation systems, automatic dependent surveillance-broadcast (ADS-B) helps pilots and air traffic controllers create a safer and more efficient national airspace system. Owing to the open communication environment, it is easy to insert fake aircraft into the system via spoofing or the insertion of false messages. Efforts have thus been made in academic research and practice in the aviation industry to ensure the security of transmission of messages of the ADS-B system. An identity-based batch verification (IBV) scheme was recently proposed to enhance the security and efficiency of the ADS-B system, but current IBV schemes are often too resource intensive because of the application of complex hash-to-point operations or bilinear pairing operations. In this paper, we propose a lightweight IBV signature scheme for the ADS-B system that is robust against adaptive chosen message attacks in the random oracle model, and ensures the security of batch message verification and against the replaying attack. The proposed IBV scheme needs only a small and constant number of point multiplication and point addition computations instead of hash-to-point or pairing operations. Detailed performance analyses were conducted to show that the proposed IBV scheme has clear advantages over prevalent schemes in terms of computational cost and transmission overhead.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.11 no.11
• /
• pp.5625-5641
• /
• 2017

Certificateless public key cryptography resolves the certificate management problem in traditional public key cryptography and the key escrow problem in identity-based cryptography. In recent years, some good results have been achieved in speeding up the computation of bilinear pairing. However, the computation cost of the pairing is much higher than that of the scalar multiplication over the elliptic curve group. Therefore, it is still significant to design cryptosystem without pairing operations. A multi-signer universal designated multi-verifier signature scheme allows a set of signers to cooperatively generate a public verifiable signature, the signature holder then can propose a new signature such that only the designated set of verifiers can verify it. Multi-signer universal designated multi-verifier signatures are suitable in many different practical applications such as electronic tenders, electronic voting and electronic auctions. In this paper, we propose a certificateless multi-signer universal designated multi-verifier signature scheme and prove the security in the random oracle model. Our scheme does not use pairing operation. To the best of our knowledge, our scheme is the first certificateless multi-signer universal designated multi-verifier signature scheme.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.15 no.3
• /
• pp.324-329
• /
• 2005

In this paper, a robust $H\infty$ stabilization problem to a uncertain discrete-time nonlinear systems with time-delay via fuzzy static output feedback is investigated. The Takagj-Sugeno (T-S) fuzzy model is employed to represent an uncertain nonlinear system with time-delayed state. Then, the parallel distributed compensation technique is used for designing of the robust fuzzy controller. Using a single Lyapunov function, the globally asymptotic stability and disturbance attenuation of the closed-loop fuzzy control system are discussed. Sufficient conditions for the existence of robust $H\infty$ controllers are given in terms of linear matrix inequalities via similarity transform and congruence transform technique. We have shown the effectiveness and feasibility of the proposed method through the simulation.

• Journal of the Korean Society for Railway
• /
• v.14 no.5
• /
• pp.398-403
• /
• 2011

When a crack exists under a residual stress, for example in welds, the crack can be closed and it shows non symmetric behavior for tension and compression. Ultrasonic detection method for those nonlinear cracks has been developed recently. The method uses the higher order harmonics generating at the crack surface. In this study, parameter study was carried out for the analysis of the harmonics generation at a nonlinear contact interface as a preliminary study for general 3-dimensional cracks. One-dimensional problem with simple bilinear behavior for the contacting surface was considered. The amplitude of second harmonic to the fundamental wave was obtained for various stiffness ratios, incident frequencies, and the contacting layer thicknesses.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.16 no.1
• /
• pp.59-68
• /
• 2003

An optimization Program is developed to produce new topologies of plane structures under multiload case. A four-node finite element is used in the response analysis to reduce the computation time and to ultimately achieve practical topology optimization. The bilinear finite element is prone to produce chequer-boarding phenomenon and a simple filtering process is therefore adopted. An artificial material model is employed to represent the structural material and the resizing algorithm based on the optimality criteria is adopted to update the material density parameter during optimization process. With newly developed optimization program, the comparison study has been made between single and multiload cases and its results are described in this paper. From numerical results, it appears that multiload case should be considered to achieve the practical topology optimization.