Hyongsoon Kim

Two-phase grouping-based resource management for big data processing in mobile cloud computing

Big data is generated from recent social network services, and distributed processing techniques have been studied to analyze it. In particular, because of the fast spread of mobile devices, a huge amount data is generated in a mobile environment. The distributed processing technologies such as MapReduce are applied to mobile devices, thanks to the improved computing power of mobile devices. However, mobile devices have several problems such as the movement problem and the utilization problem. Especially, the utilization problem and the movement problem of mobile devices cause system faults more frequently because of dynamic changes, and system faults prevent applications using mobile devices from being processed reliably. Therefore, to cope with these significant problems of mobile devices, we propose a grouping technique based on the utilization and movement rates. In our proposed scheme, mobile devices are separated into groups by cut-off points based on entropy values. We also propose a two-phase grouping method in order to reduce the overhead of group management. The experimental result shows that our algorithm outperforms traditional grouping techniques with maintaining stable big data processing and managing reliable resource. Copyright

Dynamic group-based fault tolerance technique for reliable resource management in mobile cloud computing

Researches on utilizing mobile devices as resources in mobile cloud environments have gained attentions recently because of the enhanced computing power of mobile devices such as the advent of quad‐core chips. However, mobile devices have several problems of the availability and the mobility. Especially, the availability and the mobility of mobile devices cause system faults more frequently due to dynamic changes, and system faults prevent applications using mobile devices from being processed reliably. Therefore, we classify mobile devices into groups according to the availability and the mobility in order to manage reliable mobile resource. Because information of mobile devices is constantly changing, grouping should consider the dynamic environment. We also provide dynamic group‐based mobile cloud computing that applies fault tolerance techniques using checkpoints or replication in each group. The experimental result shows that our algorithm performs dynamic grouping, which is more suitable for the dynamic environment of mobile devices. Copyright

Strategies for IT Convergence Services in Rural Areas

The digital divide refers to the gap between people with effective access to digital and information technology and those with very limited or no access at all. The inequality of accessing information could cause the inequality of opportunity between different social groups. This inevitably results in social problems. The Korea government has been conducting a project resolving the digital divide between urban areas and rural areas since 2010. In this paper, we introduce the rural BcN project of the Korea government with the motivation and development plans. After that, we propose the strategies for boosting broadcast-communication services and the strategies for enhancing user experience.

BcN Deployment Strategies in Korea

UBcN (Ultra-Broadband Convergence Network) is the next generation network with high speed, on which broadband multiple play services are supported safely and seamlessly. Developing UBcN as the common infrastructure for converged services is considered to be essential for increasing the power of competition of IT industries. The Korea government is going to establish UBcN by 2013 with the speed of up to 1Gbps for 46 million fixed and wireless subscribers. They also have a multi-year plan to discover and stimulate new converged services for UBcN. In this paper, we discuss Korea’s development plan of UBcN and their strategies.

Secure component composition with modular behavioral properties

We propose a flexible way of allowing the users of software components to specify their security policies, and endow digitally signed certificates with more expressive power at link time. Secure linking (SL) is more flexible than type-checking or other static checking mechanisms with endowing users the freedom to specify security policies at link time, and SL is more expressive than simple digital signing with restricting the scope of guarantees made by digitally signed certificates. SL would not prevent bugs in a software component, but it gives signers of software components finer-grain control of the meaning of their certificates. We implemented a logic-based framework for SL, which consists of the SL logic, a proof verifier, a tactical prover, and user interface languages. The framework of SL encompasses the existing constraint languages, such as OCL and JML, so the security policies and the property statements of software components can be written easily using those popular languages. In this paper, we explain the linking protocol of SL, the SL framework, and the extended user interface languages with OCL and JML. We also discuss the strength of the proposed linking protocol in developing practical software systems.