• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.28 no.3
• /
• pp.643-653
• /
• 2018

Xamarin is a representative cross-platform development framework that allows developers to write mobile apps in C# for multiple mobile platforms, such as Android, iOS, or Windows Phone. Using Xamarin, mobile app developers can reuse existing C# code and share significant code across multiple platforms, reducing development time and maintenance costs. Meanwhile, malware authors can also use Xamarin to spread malicious apps on more platforms, minimizing the time and cost of malicious app creation. In order to cope with this problem, it is necessary to analyze and detect malware written with Xamarin. However, little studies have been conducted on static analysis methods of the apps written in Xamarin. In this paper, we examine the structure of Android apps written with Xamarin and propose a static analysis technique for the apps. We also demonstrate how to statically reverse-engineer apps that have been transformed using code obfuscation. Because the Android apps written with Xamarin consists of Java bytecode, C# based DLL libraries, and C/C++ based native libraries, we have studied static reverse engineering techniques for these different types of code.

• Journal of Physiology & Pathology in Korean Medicine
• /
• v.25 no.5
• /
• pp.927-933
• /
• 2011

This study aimed to evaluate the quality of herbal medicine-related RCT (Randomized controlled clinical trial) papers. 79 papers were searched from the domestic Hakjin paper list, and 16 papers of them were evaluated in terms of the Jadad Quality Assessment Scale and the adequacy of allocation concealment, and ethical validity. The evaluation results from Jadad Quality Assessment Scale showed that 15 papers showed high quality with the Jadad score of 3 points or higher, and none of the papers had a problem with randomization and double-blinding. The evaluation results from adequacy of allocation concealment showed that 3 of the papers were executed proper allocation concealment, and all of them had 5 points of Jadad score. IRB (Institutional Review Board) approval and written consent was investigated for the evaluation of ethical validity, and 12 papers had the IRB approval, and 14 papers had written consent. The papers published before 2005 were absent of IRB approval and written consent, and none of the papers had IRB approval number. From the above results, it is concluded that rigorous clinical research led high quality of research papers, and the ethical aspect of clinical researches are getting more important to protect the rights of research participants.

• Journal of Haehwa Medicine
• /
• v.22 no.2
• /
• pp.57-66
• /
• 2014

Objectives : Features of military medicine and war pattern at the time Methods : "Haeng Gun Bang Pyeon Pyeon Bang", military medicine literature, that allows pattern of ancient war to be inferred was considered. First, background of this literature formation was examined, and the contents included were arranged based on table of contents. Lastly, pattern of war at the time and role of military medicine were studied through the meaning of times and medicine in this book. Results : This book was written by Naseyo(羅世瑤, of an unidentifiable period), an intellectual of Qing Period(淸代) in the 2nd year of Emperor Xianfeng(咸豊 2, 1852). It was composed of total 3 volumes and a book, and 684 prescriptions were written under 6 large sections(大門). Conclusions : This book was written in the middle of spirit of the times of national prosperity and military power caused by defeat in the Opium War and popular publication in a series, an academic current of the times. Though there were many treatments about external wound in this book, thoughts of armed forces and combat by people of the time were reflected, including drying method(乾法) making portable foods, drinking control method(戒酒法) to resolve drinking(飮酒) problem in the armed forces, treatment method of infectious disease, information collection method from enemy troops by confession, and various treatments for diseases of military horse. It is expected that this book will be good material for studies in the field of military medicine and used as material for diverse combination studies such as history and military science.

• Journal of KIISE:Software and Applications
• /
• v.30 no.7_8
• /
• pp.642-648
• /
• 2003

In this paper, we are interested in checking equivalence of FSMs(finite state machines). Two FSMs are equivalent if and only if their responses are always equal with each other with respect to the same external stimuli. Equivalence checking FSMs makes complicated FSM be substituted for simpler one, if they are equivalent. We can also determine the system satisfies the requirements, if they are all written in FSMs. In this paper, we regard equivalence checking problem as model checking one. For doing so, we construct the product model $M ={M_A} {\beta}{M_B} from two FSMs ${M_A} and {M_B}$. And we also get the temporal logic formula ${\Phi}$ from the equivalence checking definition. Then, we can check with model checker whether if satisfies ${\Phi}$, written $M= {.\Phi}$. Two FSMs are equivalent, if $M= {.\Phi}$ Otherwise, it is not equivalent. In that case, model checker generates counterexamples which explain why FSMs are not equivalent. In summary, we solve the equivalence checking problem with model checking techniques. As a result of applying to several examples, we have many satisfiable results.

• Journal of Korean society of Dental Hygiene
• /
• v.14 no.4
• /
• pp.453-462
• /
• 2014

Objectives : The purpose of the study is to investigate the education, certification system, and extent of duty of dental hygienist between Korea and five developed countries including United States, Canada, England, Australia, and Japan. Methods : Internet based access to five developed countries was made and the analysis was done for the definition of occupation, main duties, similar occupations, education policy, job descriptions, license certification system, standards of duty, Q & A management, current status of obtaining certification, and scope of work. Results : United States has a two-year associate degree(AS) and a four-year bachelor degree(BS). Canada has two to three years degree and a two-year course is accepted in england and Australia. In the meanwhile, Korea and Japan have two-year and four-year educational courses. The duty of dental hygienists includes the prevention education for dental health and continuing dental health care. Most of the dental hygienists in Korea and Japan play the assistant roles for the dental surgeons. United States has national board examinations including written examinations, practical examinations, and computer assisted examination. Written and practical examinations are also conducted in Korea. England and Australia have the recognized educational organizations for qualification. Conclusions : Problem based and problem solving skills are the most important in dental hygienist education in Korea. The training of highly competent dental hygienists must be done for the improvement of dental hygiene in Korea in the near future.

• Journal of Internet Computing and Services
• /
• v.6 no.6
• /
• pp.23-34
• /
• 2005

In a large scale parallel computation, failures of some nodes or communication links end up with waste of computing resources, Several fault-tolerant MPI libraries have been proposed so far, but the programs written by using such libraries have a portability problem since fault-tolerant features are not supported by the MPI standard yet, In this paper, we propose an application-level fault-tolerant linear system solver that uses the asynchronous iteration algorithm and the standard MPI functions only, which does not have a portability problem and is more efficient by adopting a simplified recovery mechanism.

• KSBB Journal
• /
• v.27 no.4
• /
• pp.215-221
• /
• 2012

Synthetic plastics are important in many branches of industry. Although synthetic plastics provide numerous benefits, they also cause a significant environmental pollution problem because of their non-readily-biodegradability. Biodegradation may provide solution to the problem, but not enough is known about the biodegradation mechanisms of synthetic plastics. This review has been written to provide an overview of the current state of synthetic plastics (polyethylene, polyurethane, nylon, polyvinyl alcohol) biodegradation. Several biodegradation mechanisms of a few selected synthetic plastics are also presented.

• Steel and Composite Structures
• /
• v.21 no.4
• /
• pp.791-803
• /
• 2016

In this article, the problem of a two-dimensional thermoelastic half-space are studied using mathematical methods under the purview of the generalized thermoelastic theory with one relaxation time is studied. The surface of the half-space is taken to be thermally insulated and traction free. Accordingly, the variations of physical quantities due to by laser pulse given by the heat input. The nonhomogeneous governing equations have been written in the form of a vector-matrix differential equation, which is then solved by the eigenvalue approach. The analytical solutions are obtained for the temperature, the components of displacement and stresses. The resulting quantities are depicted graphically for different values of thermal relaxation time. The result provides a motivation to investigate the effect of the thermal relaxation time on the physical quantities.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.8 no.4
• /
• pp.35-41
• /
• 2012

Recently, universities have difficulties in operating the normal curriculum because fresher's basic academic ability is declined. It causes campus misfits so managing students is also not an easy matter. The education system that focuses only on college entrance exams is one of the reasons why this phenomenon occurred. Activity with self-directed Learning Community to know learning level themselves and execute systematic studying habit is essential for improving this problem. This activity can help students understanding and having interest in class and be motivated to study. But it had burdened tutors with submitting activity report in written form. In this paper, we suggest the Mobile Based Activity Report Submission System which can be the solution of the problem that the Self-directed Learning Community System has. This system reduces the emotional burden to write the reports and manages them efficiently.

• Journal of The Korean Association For Science Education
• /
• v.24 no.1
• /
• pp.17-28
• /
• 2004

The purpose of this study is to determine the patterns of differences between genders in science achievement. Eleventh grade, 140 female and male students were sampled from a school in Seoul. According to the analysis results of pilot study, 20 items were finally selected for the main study. To sharpen our interpretations of the factors and provide some confirmation, we supplemented the statistical analysis with a more detailed cognitive study of the items using think-aloud protocols and interviews with student test takers. The analysis of this study took into account the different item formats, contexts, and presentation styles. The findings are as follows: First, there was no significant gender difference between multiple-choice and open-ended items. Second, male students achieved significantly better in the context of everyday life in multiple-choice items. Third, male students favored items presented as written texts. Fourth, in problem-solving process, female students tend to apply their science concepts, whereas male students tend to apply their everyday experiences. The results of this investigation indicate that gender difference in science achievement depends heavily on item characteristics.