• Journal of Digital Convergence
• /
• v.13 no.4
• /
• pp.205-210
• /
• 2015

The auto industry has significantly evolved to the extent that much attention is paid to M2M (Machine-to-Machine) communication. In M2M communication which was first used in meteorology, environment, logistics, national defense, agriculture and stockbreeding, devices automatically communicate and operate in accordance with varying situations. M2M system is applied to vehicles, specifically to device-to-device communication inside cars, vehicle-to-vehicle communication, communication between vehicles and traffic facilities and that between vehicles and surroundings. However, communication systems are characterized by potential intruders' attacks in transmission sections, which may cause serious safety problems if vehicles' operating system, control system and engine control parts are attacked. Thus, device-to-device secure communication has been actively researched. With a view to secure communication between vehicular devices, the present study drew on hash functions and complex mathematical formulae to design a protocol, which was then tested with Casper/FDR, a tool for formal verification of protocols. In brief, the proposed protocol proved to operate safely against a range of attacks and be effective in practical application.

• Journal of Digital Convergence
• /
• v.12 no.9
• /
• pp.219-223
• /
• 2014

In line with the advanced wireless communication technology, M2M (Machine-to-Machine) communication has drawn attention in industry. M2M communication features are installed and operated in the fields where human accessibility is highly limited such as disaster, safety, construction, health and welfare, climate, environment, logistics, culture, defense, medical care, agriculture and stockbreeding. In M2M communication, machine replaces people for automatic communication and countermeasures as part of unmanned information management and machine operation. Wireless M2M inter-device communication is likely to be exposed to intruders' attacks, causing security issues, which warrants proper security measures including cross-authentication of whether devices are legitimate. Therefore, research on multiple security protocols has been conducted. The present study applied SessionKey, HashFunction and Nonce to address security issues in M2M communication and proposed a safe protocol with reinforced security properties. Notably, unlike most previous studies arguing for the security of certain protocols based on mathematical theorem proving, the present study used the formal verification with Casper/FDR to prove the safety of the proposed protocol. In short, the proposed protocol was found to be safe and secure.

• Journal of Radiation Protection and Research
• /
• v.43 no.2
• /
• pp.39-49
• /
• 2018

Background: A model to assess the activity concentration of agricultural products and the public ingestion dose as result of a nuclear accident is necessarily required to manage the contaminated agricultural systems by the accident, or to estimate the effects of chronic exposure due to food ingestion at a Level 3 PSA. Materials and Methods: A dynamic compartment model, which is composed of three sub-modules, namely, an agricultural plant contamination assessment model, an animal product contamination assessment model, and an ingestion dose assessment model has been developed based on Korean farming characteristics such as the growth characteristics of rice and stockbreeding. Results and Discussion: The application study showed that the present model can predict well the characteristics of the activity concentration for agricultural products and ingestion dose depending on the deposition date. Conclusion: The present model is very useful to predict the radioactivity concentration of agricultural foodstuffs and public ingestion dose as consequence of a nuclear accident. Consequently, it is expected to be used effectively as a module for the ingestion dose calculation of the Korean agricultural contamination management system as well as the Level 3 PSA code, which is currently being developed.