• KIPS Transactions on Computer and Communication Systems
• /
• v.6 no.3
• /
• pp.121-134
• /
• 2017

With rapid increasing the development and use of IoT Devices, requirements for safe IoT devices and services such as reliability, security are also increasing. In Security engineering, SDLC (Secure Development Life Cycle) is applied to make the trustworthy system. Secure Development Life Cycle has 4 big steps, Security requirements, Design, Implementation and Operation and each step has own goals and activities. Deriving security requirements, the first step of SDLC, must be accurate and objective because it affect the rest of the SDLC. For accurate and objective security requirements, Threat modeling is used. And the results of the threat modeling can satisfy the completeness of scope of analysis and the traceability of threats. In many countries, academic and IT company, a lot of researches about drawing security requirements systematically are being done. But in domestic, awareness and researches about deriving security requirements systematically are lacking. So in this paper, I described about method and process to drawing security requirements systematically by using threat modeling including DFD, STRIDE, Attack Library and Attack Tree. And also security requirements are described via Common Criteria for delivering objective meaning and broad use of them.

• The KIPS Transactions:PartD
• /
• v.16D no.3
• /
• pp.339-352
• /
• 2009

There are a number of formal methods for distributed real-time systems in ubiquitous computing to analyze and verify the behavioral, temporal and the spatial properties of the systems. However most of the methods reveal structural and fundamental limitations of complexity due to mixture of spatial and behavioral representations. Further temporal specification makes the complexity more complicate. In order to overcome the limitations, this paper presents a new formal method, called Timed Calculus of Abstract Real-Time Distribution, Mobility and Interaction(t-CARDMI). t-CARDMI separates spatial representation from behavioral representation to simplify the complexity. Further temporal specification is permitted only in the behavioral representation to make the complexity less complicate. The distinctive features of the temporal properties in t-CARDMI include waiting time, execution time, deadline, timeout action, periodic action, etc. both in movement and interaction behaviors. For analysis and verification of spatial and temporal properties of the systems in specification, t-CARDMI presents Timed Action Graph (TAG), where the spatial and temporal properties are visually represented in a two-dimensional diagram with the pictorial distribution of movements and interactions. t-CARDMI can be considered to be one of the most innovative formal methods in distributed real-time systems in ubiquitous computing to specify, analyze and verify the spatial, behavioral and the temporal properties of the systems very efficiently and effectively. The paper presents the formal syntax and semantics of t-CARDMI with a tool, called SAVE, for a ubiquitous healthcare application.

• The KIPS Transactions:PartC
• /
• v.9C no.1
• /
• pp.97-106
• /
• 2002

In 3GPP2 standard, MIP is used and a PDSN performs the function of FA to support macro mobility. When a MS is roaming from a PDSN area to another, the mobility supported is called macro mobility, while it is called micro mobility when a MS is roaming from a RN area to another in a PDSN area. Since a PDSN performs the function of FA in 3GPP2 standard, it is possible to support mobility but its mechanism is actually for supporting macro mobility, not for micro mobility, thus it is weak in processing fast and seamless handoff to support micro mobility. In this paper, we suggest the seamless handoff algorithm barred on multicast group mechanism to support micro mobility. Depending on the moving direction and velocity of a MS, the suggested algorithm constructs a multicast group of RNs on the forecasted MS's moving path, and maximally delays RNs'joining to a multicast group to increase the network efficiency. Moreover, to resolve the buffer overhead problem of the existent multicast scheme, the algorithm suggests that each RN buffers data only after the forecasted handoff time. To prove deadlock freeness and liveness of the algorithm. we use state transition diagrams, a Petri-net modeling and its reachability tree. Then, we evaluate the performance by simulation.

• Informatization Policy
• /
• v.24 no.3
• /
• pp.27-41
• /
• 2017

With the growing interest in the 4th industrial revolution and big data, various policies are being developed for facilitating the use of public open big data, which are leading to a wide range of added values created from use of such data. Despite the expanded requirements for public data disclosure and the legal system improvement, however, the use of public open big data is still limited. According to the literature review, there are studies on policy proposals for the government guiding directions for public open big data, but there is a lack of studies that handle the issue from the users' viewpoint. Therefore, this study aims to analyze the public open data ecosystem in Korea and to analyze public open big data through interviews with the providers (the government and public institutions) and users (private sector companies and citizens). This way, the study finds inhibition factors and facilitation factors, draws out issues and suggests solutions through a causal relationship analysis between each factor. Being a research on finding measures for facilitating both public big data release and use, this study has theoretical implications. In the meanwhile, the derived issues and alternatives provide practical implications also for stakeholders who are planning to facilitate release and use of public open big data.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.10
• /
• pp.158-167
• /
• 2016

This study was conducted to evaluate the quality of meta-analysis of social work in South Korea using the Assessment of Multiple Systematic Review (AMSTAR). Electronic databases including the Korean Studies Information Service System (KISS), DBpia, and RISS4U were searched for 'meta-analysis', 'social work', and 'social welfare' from 2000 to December 2015, and 42 meta-analysis studies were included. Data were analyzed using descriptive statistics, t-tests, and ANOVA. The mean score for AMSTAR evaluation was $4.766{\pm}1.66$, while 19 studies (45.2%) were classified at the low-quality level, and 22 (52.4%) were at the moderate-quality level. The scores of quality assessment were analyzed by publication year, participants, number of studies included, number of DB, reporting study quality, extraction diagram and topics. The findings indicated that the following changes should be implemented to improve the quality and reliability of meta-analysis results in social work research: 1) common reporting guidelines should be provided for the social work field, 2) quality analyses of each study should be conducted to achieve a high level of evidence of effectiveness of social work interventions, 3) the characteristics of the included studies should be provided, and 4) a consensus and procedure based on at least two independent data extractors should be reported.

• Korean Journal of Plant Resources
• /
• v.32 no.2
• /
• pp.201-206
• /
• 2019

Alien invasive species are introduced with or without intent and spreading all over Korea. They are known to have negative effects on biodiversity such as economic and environmental damage and causing decrease or loss of native species. The habitats like wetland, reservoir and riverside are especially in danger of being invaded by alien species due to stress and disturbance. Therefore, Korea National Arboretum is steadily working on research and studies on managing alien invasive species. This research aims to collect basic information of Ludwigia peploides subsp. montevidensis (Spreng.) P.H. Raven which was found near riverside in Suwon-si and is concerned to become an invasive alien species. We expect the description, diagram and pictures of this taxon will be helpful for early detection and effective management.

• Journal of Convergence for Information Technology
• /
• v.11 no.5
• /
• pp.111-117
• /
• 2021

With the rapid development of advanced science and technology including the 4th industrial revolution, the future battlefield environment is evolving at a rapid pace. In order to actively respond to issues such as reduction of military resources and shortening of service period, and to emphasize the realization of human-centered values, the Ministry of National Defense is re-establishing the role of the Army in accordance with the defense reform and is promoting the Warrior Platform, a next-generation individual combat system. In this paper, we intend to present the optimal warrior platform architecture suitable for the Korean Army by realizing the concept of future ground operations and analyzing overseas cases. We analyze the essential abilities required of individual combatants and the abilities required for each unit type, and specifically presents a plan for integration and linkage of warrior platform equipment. We also propose an efficient business promotion direction by presenting the data flow and power connection diagram between the devices that need integration and interworking.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.42 no.2
• /
• pp.281-290
• /
• 2022

In Korea, the number of national facilities for which a safety inspection is mandatory is increasing, and a safer safety inspection method is needed. This study aimed to increase the efficiency of the bridge safety inspection by enabling rapid exterior inspection while securing the safety of inspectors by using drones to perform the safety inspections of bridges, which had mainly relied on visual inspections. For the research, the Youngjong Grand Bridge in Incheon was selected as a test bed and was divided into four parts: the warren truss, suspension bridge main cable, main tower, and pier. It was possible to establish a five-step standard procedure for drone safety inspections. The step-by-step contents of the standard procedure obtained as a result of this research are: Step 1, facility information collection and analysis, Step 2, analysis of vulnerable parts and drone flight planning, Step 3, drone photography and data processing, Step 4, condition evaluation by external inspection, Step 5, building of external inspection diagram and database. Therefore, if the safety inspections of civil engineering facilities including bridges are performed according to this standard procedure, it is expected that these inspection can be carried out more systematically and efficiently.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.30 no.3A
• /
• pp.211-219
• /
• 2010

The design concept of high speed railway bridges is applied to a method for increasing the stiffness of existing bridge structures considering the impact factor by a static load. Generally, the process of structural design would be relied upon an advanced foreign technology. However, the dynamic amplification factor (DAF) and dynamic capacity assessment of high speed railway bridges may be conducted essentially a detailed estimation because the resonance phenomenon is affected by the long length (380 m) and high speed (300 km/h) moving of a high speed railway (Korea Train eXpress: KTX). Therefore, this study will be examined the dynamic capacity of the typical PSC Box Girder high speed railway bridge efficiently, and offered the basic information for the reasonable structural design. For this, the static analysis is conducted considering the load line diagram of KTX based upon existing references. In addition, the KTX moving load is transformed into the time series load considering various analytical variables. The time history analysis is assessed reasonable using the transformed time series load. At that time, analytical variables for calculating the time series load are considered loading node distance, time increment and KTX velocity variation etc. The dynamic capacity of the PSC Box Girder high speed railway bridge is examined based upon the FE analysis result systematically. The structural safety is assessed quantitatively in accordance with the related regulation of the inside and outside of the country.

• Journal of Intelligence and Information Systems
• /
• v.17 no.1
• /
• pp.127-138
• /
• 2011

The core service of most research portal sites is providing relevant research papers to various researchers that match their research interests. This kind of service may only be effective and easy to use when a user can provide correct and concrete information about a paper such as the title, authors, and keywords. However, unfortunately, most users of this service are not acquainted with concrete bibliographic information. It implies that most users inevitably experience repeated trial and error attempts of keyword-based search. Especially, retrieving a relevant research paper is more difficult when a user is novice in the research domain and does not know appropriate keywords. In this case, a user should perform iterative searches as follows : i) perform an initial search with an arbitrary keyword, ii) acquire related keywords from the retrieved papers, and iii) perform another search again with the acquired keywords. This usage pattern implies that the level of service quality and user satisfaction of a portal site are strongly affected by the level of keyword management and searching mechanism. To overcome this kind of inefficiency, some leading research portal sites adopt the association rule mining-based keyword recommendation service that is similar to the product recommendation of online shopping malls. However, keyword recommendation only based on association analysis has limitation that it can show only a simple and direct relationship between two keywords. In other words, the association analysis itself is unable to present the complex relationships among many keywords in some adjacent research areas. To overcome this limitation, we propose the hybrid approach for establishing association network among keywords used in research papers. The keyword association network can be established by the following phases : i) a set of keywords specified in a certain paper are regarded as co-purchased items, ii) perform association analysis for the keywords and extract frequent patterns of keywords that satisfy predefined thresholds of confidence, support, and lift, and iii) schematize the frequent keyword patterns as a network to show the core keywords of each research area and connecting keywords among two or more research areas. To estimate the practical application of our approach, we performed a simple experiment with 600 keywords. The keywords are extracted from 131 research papers published in five prominent Korean journals in 2009. In the experiment, we used the SAS Enterprise Miner for association analysis and the R software for social network analysis. As the final outcome, we presented a network diagram and a cluster dendrogram for the keyword association network. We summarized the results in Section 4 of this paper. The main contribution of our proposed approach can be found in the following aspects : i) the keyword network can provide an initial roadmap of a research area to researchers who are novice in the domain, ii) a researcher can grasp the distribution of many keywords neighboring to a certain keyword, and iii) researchers can get some idea for converging different research areas by observing connecting keywords in the keyword association network. Further studies should include the following. First, the current version of our approach does not implement a standard meta-dictionary. For practical use, homonyms, synonyms, and multilingual problems should be resolved with a standard meta-dictionary. Additionally, more clear guidelines for clustering research areas and defining core and connecting keywords should be provided. Finally, intensive experiments not only on Korean research papers but also on international papers should be performed in further studies.