• Title/Summary/Keyword: 인증 프로그램

Search Result 496, Processing Time 0.035 seconds

Comparison of Code Generation Tools from Formal Specification of Security Function (정형명세 보안기능의 코드생성 도구 비교)

  • 유희준;김일곤;최진영;김상호;노병규
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2002.04a
    • /
    • pp.829-831
    • /
    • 2002
  • 최근 들어 보안에 대한 관심이 높아지고 있으며, 많은 보안 관련 프로그램이 사용되고 있는 상황이다. 하지만 안전성을 예측하기 어려운 보안 기능을 완벽하게 구현하기 위해서 현재의 테스팅 방법론만으로는 완전성을 보장할 수 없으므로 보다 안전한 보안 기능을 구현하기 위해서 정형명세 방법은 반드시 필요하다. 또한 실제로 시스템들이 개발되는 과정에 있어서 설계될 당시와는 달리 결함을 가질 수 있다. 시스템에 대한 명세가 정확하다 하더라도 개발자인 사람의 개입으로 인해서 개발하는 도중에 명세와 다른 결과를 초래하여 결함이 발생할 수 있다. 이러한 결함은 개발자나 사용자에 의해 쉽게 발견되기 어렵다. 만일 보안 시스템이 알져지지 않은 결함이 있다면 비밀 정보가 쉽게 누설될 수 있다는 큰 문제가 발생할 수 있다. 통신망을 사용하는 인구의 확대와 더불어 다양한 형태의 통신 서비스가 제공됨에 따라 시스템의 특성이 복잡해지고 불법적인 자료 접근의 위험도 많이 노출되고 있다. 따라서 명확한 정형명세 보안기능으로부터 자동 코드 생성은 반드시 필요하다. 본 논문에서는 여러 정형 도구를 사용해서 보안기능에 대한 정형명세를 작성한 후에 소스코드 생성한 후, 정형명세를 이용하여 설계 및 구현한 프로그램에 대한 명세와 소스코드간 일치성 검토 방법을 개발하여, 정형명세를 통해 생성된 보안기능 소스코드의 보안성 측면과 성능적 측면의 Teade-Off 분석하는 것이다. 논문에서는 인증 관련 보안 기능인 S/KRY에 대해서 4개(STATEMATE MAGMUM, Rational Rose 98, SPEAR, VDM-SL)의 정형도구를 사용하여 명세 후, 소스 코드를 생성하여 생성된 각 코드에 대하여 비교하였으며, 현재 상용화 되어있는 Bellcore 의 S/KEY 시스템과의 비교를 수행하였다. 분석에서는 제품의 효율성뿐만 아니라 보안성을 중요하게 생각하였으며, 앞으로 보안 관련 소프트웨어 개발에 사용될 수 있는 도구들이 가이드 라인에 대한 정보를 제공한다.

  • PDF

A Study on the Tool Development for Evaluating Program Education Objectives(PEOs) (프로그램 교육목표 평가도구 개발에 관한 연구)

  • Kim, Han-Jong
    • The Journal of Korean Institute for Practical Engineering Education
    • /
    • v.3 no.2
    • /
    • pp.40-46
    • /
    • 2011
  • In accreditation system for engineering education the program educational objectives(PEO) are defined as the goals that the graduates should reach in 3~4 years after graduation. As indirect assessment this paper develops and presents a set of questions to evaluate how important the established PEOs are in the fields and how much the graduates achieves them. The survey was conducted and analyzed to evaluate the degree of importance and achievement of each PEO for the graduates and their employers. The survey results show that the graduates lack in the field of global capacity. A variety of educational programs are needed to create for improving such shortage.

  • PDF

Design and Implementation of Remote Control System for Measuring Instrument using Smart Network Card (스마트 네트워크 카드를 이용한 계측기 원격 제어 시스템 설계 및 구현)

  • Park, Jin-Ho;Jung, Min-Soo
    • Journal of Korea Multimedia Society
    • /
    • v.11 no.10
    • /
    • pp.1366-1375
    • /
    • 2008
  • To verify correct operation of measuring instruments, we request the verification of measuring instrument to the agency that holds inspection devices. This works requires time and cost to the company. For this reason. We proposed "Smart Network Interface Card Model" for remote control of measuring instruments. Our model based on Web adapter, can add, delete and change the program to an existing web adapter from remote system. Furthermore, more than one program can be loaded, and can be updated from the remote system of internet. And also we can change the verification requirement of measuring instrument, hence it makes more good quality and competitive power of instruments.

  • PDF

Modeling of Debris Flow Around Road (도로에서의 토석류에 의한 홍수위험도 모델링)

  • Lim, Jae Tae;Kim, Byung Hyun;Han, Kun Yeun
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2015.05a
    • /
    • pp.304-304
    • /
    • 2015
  • 산지가 많은 우리나라에서 도로는 필연적으로 산지부를 지나가게 되어 토석류에 취약한 문제점이 있다. 2000년대 초반이전까지만 해도 통계자료조차 없었던 도로 인접지에서의 토석류의 발생이 최근 늘어나고 있는데 반해 도로에서의 토석류에 대한 연구는 초기단계에 있다. 도로에서의 사례를 제외하고 보면 2011년 발생한 서울 우면산에서의 토석류 발생 등 일부사례를 중심으로 발생 거동 해석을 수행한 연구결과가 있으나 이러한 연구 결과를 도로에 직접적으로 적용하기에는 어려움이 있다. 특히 도로에서 발생한 토석류에 대한 거동 분석을 수행할 필요가 있으나 이와 같은 문제로 인해 실제 도로에서 발생한 토석류 사례에 대한 거동 분석은 현재까지 이루어지지 않았다. 본 연구에서는 GIS를 이용한 지형분석 및 HEC-HMS를 이용한 수문분석을 실시하였고, 미연방재난관리청(FEMA)의 홍수보험지도와 하천재해해석을 위한 공식 인증 프로그램으로 등록되어 있는 토석류 거동 해석 프로그램인 FLO-2D을 이용하였다. 실제 도로에서 발생한 토석류 사례에 대하여 FLO-2D 모형을 이용하여 거동을 해석하고, 해석결과를 실제 발생한 토석류 자료와 적합도 분석을 수행하였다. 또한, 국내 도로 인접지에서의 토석류 해석에 대한 FLO-2D 모형의 적용 가능성에 대하여 연구하였다.

  • PDF

A Study on the Effectiveness of Group Reminiscence Approach among the Elderly Using Daycare Center : Focusing on the Mental Health related Quality of Life(MHRQoL) (주간보호센터 노인의 집단회상프로그램 효과성 검증에 관한 연구 : 정신건강 관련 삶의 질(MHRQoL)을 중심으로)

  • Kwon, OhGyeong;Hur, Junsoo
    • The Journal of the Korea Contents Association
    • /
    • v.22 no.4
    • /
    • pp.592-608
    • /
    • 2022
  • This study conducted a group reminiscence program for the elderly who use the elderly daycare center. And this study verified the effectiveness of the elderly's mental health related quality of life to identify the relationship between the participating elderly and the non-participating elderly in a group reminiscence program. To this end, in order to examine the effectiveness of a group reminiscence programs for the elderly using the daycare center on MHRQoL, and the difference between the experimental group and the control group was compared with the non-equivalent control group pre-post test design. The research results are as follows. First, the experimental group that conducted the group reminiscence program in this study had a higher quality of life than the control group that did not participate the group reminiscence program. Second, significant results were found in vitality and mental health in the sub-factors of MHRQoL of the experimental group, and emotional role restriction and social function did not show significant results. Based on the results of this study, to develop and improve programs that encompass the entire sub-areas of MHRQoL, and to implement programs that positively affect the psycho-social intervention for the elderly persons. Finally, it was suggested to link and cooperate with senior welfare centers and general social welfare centers.

Genetic Counseling in Korean Health Care System (한국 의료제도와 유전상담 서비스의 구축)

  • Kim, Hyon-J.
    • Journal of Genetic Medicine
    • /
    • v.8 no.2
    • /
    • pp.89-99
    • /
    • 2011
  • Over the years Korean health care system has improved in delivery of quality care to the general population for many areas of the health problems. The system is now being recognized in the world as the most cost effective one. It is covered by the uniform national health insurance policy for which most people in Korea are mandatory policy holders. Genetic counseling service, however, which is well recognized as an integral part of clinical genetics service deals with diagnosis and management of genetic condition as well as genetic information presentation and family support, is yet to be delivered in comprehensive way for the patients and families in need. Two major obstacles in providing genetic counseling service in korean health care system are identified; One is the lack of recognition for the need for genetic counseling service as necessary service by the national health insurance. Genetic counseling consumes a significant time in delivery and the current very low-fee schedule for physician service makes it very difficult to provide meaningful service. Second is the critical shortage of qualified professionals in the field of medical genetics and genetic counseling who can provide the service of genetic counseling in clinical setting. However, recognition and understanding of the fact that the scope and role of genetic counseling is expanding in post genomic era of personalized medicine for delivery of quality health care, will lead to the efforts to overcome obstacles in providing genetic counseling service in korean health care system. Only concerted efforts from health care policy makers of government on clinical genetics service and genetic counseling for establishing adequate reimbursement coverage and professional communities for developing educational program and certification process for professional genetic counselors, are necessary for the delivery of much needed clinical genetic counseling service in Korea.

A Study on the Characteristics of Placeness in the Slow City Certified Villages (슬로시티 인증 마을의 장소성 구축 특성에 관한 연구)

  • Sun, Lu;Yoon, Ji-Young
    • The Journal of the Korea Contents Association
    • /
    • v.20 no.1
    • /
    • pp.152-164
    • /
    • 2020
  • The purpose of this research is to derive a checklist for the site evaluation of Slow City, and through the excellent cases of Slow City, carry out field investigation to understand the construction characteristics of Slow City in the concept of locality. The subjects of this research are five cases of slow cities in South Korea certified by Citta Slow. Through literature review, combining with the construction characteristics of locality and the evaluation elements of Slow City certification, the checklist of Slow City locality evaluation has been obtained, and the field visit evaluation has been carried out. The change characteristics and construction characteristics are evaluated by the cases. The results are as follows.Through case analysis, it is found that the site-based construction features of Slow City are as follows: Through the introduction of the basic concept of Slow City to create the relevant place environment, and build the overall site of Slow City based on it.The location of Slow City was evaluated as historical·cultural assets>environmental assets>physical assets>living resources, emotional·symbolic assets>social assets.In addition, the level of environmental assets, historical·cultural assets is higher, but the level of living resources, social assets and emotional·symbolic assets is lower. This means that it is necessary to carry out community activities for local residents or use projects to improve regional pride and so on.

Security Credential Management & Pilot Policy of U.S. Government in Intelligent Transport Environment (지능형 교통 환경에서 미국정부의 보안인증관리 & Pilot 정책)

  • Hong, Jin-Keun
    • Journal of Convergence for Information Technology
    • /
    • v.9 no.9
    • /
    • pp.13-19
    • /
    • 2019
  • This paper analyzed the SCMS and pilot policy, which is pursued by the U.S. government in connected vehicles. SCMS ensures authentication, integrity, privacy and interoperability. The SCMS Support Committee of U.S. government has established the National Unit SCMS and is responsible for system-wide control. Of course, it introduces security policy, procedures and training programs making. In this paper, the need for SCMS to be applied to C-ITS was discussed. The structure of the SCMS was analyzed and the U.S. government's filot policy for connected vehicles was discussed. The discussion of the need for SCMS highlighted the importance of the role and responsibilities of SCMS between vehicles and vehicles. The security certificate management system looked at the structure and analyzed the type of certificate used in the vehicle or road side unit (RSU). The functions and characteristics of the certificates were reviewed. In addition, the functions of basic safety messages were analyzed with consideration of the detection and warning functions of abnormal behavior in SCMS. Finally, the status of the pilot project for connected vehicles currently being pursued by the U.S. government was analyzed. In addition to the environment used for the test, the relevant messages were also discussed. We also looked at some of the issues that arise in the course of the pilot project.

Development and Assessment of a Non-face-to-face Obesity-Management Program During the Pandemic (팬데믹 시기 비대면 비만관리 프로그램의 개발 및 평가)

  • Park, Eun Jin;Hwang, Tae-Yoon;Lee, Jung Jeung;Kim, Keonyeop
    • Journal of agricultural medicine and community health
    • /
    • v.47 no.3
    • /
    • pp.166-180
    • /
    • 2022
  • Objective: This study evaluated the effects of a non-face-to-face obesity management program, implemented during the pandemic. Methods: The non-face-to-face obesity management program used the Intervention mapping protocol (IMP). The program was put into effect over the course of eight weeks, from September 14 to November 13, 2020 in 48 overweight and obese adults, who applied to participate through the Daegu Citizen Health Support Center. Results: IMP was first a needs assessment was conducted; second, goal setting for behavior change was established; third, evidence-based selection of arbitration method and performance strategy was performed; fourth, program design and validation; fifth, the program was run; and sixth, the results were evaluated. The average weight after participation in the program was reduced by 1.2kg, average WC decreased by 3cm, and average BMI decreased by 0.8kg/m2 (p<0.05). The results of the health behavior survey showed a positive improvement in lifestyle factors, including average daily intake calories, fruit intake, and time spent in walking exercise before and after participation in the program. A statistically significant difference was seen (p<0.05). The satisfaction level for program process evaluation was high, at 4.57±0.63 point. Conclusion: The non-face-to-face obesity management program was useful for obesity management for adults in communities, as it enables individual counseling by experts and active participation through self-body measurement and recording without restriction by time and place. However, the program had some restrictions on participation that may relate to the age of the subject, such as skill and comfort in using a mobile app.

Social Needs Analysis Model for Lifelong Education (평생교육프로그램 사회적 요구분석 모형)

  • Yun, Gyuwon;Kim, Moon Seop;Kim, Jin Sook
    • The Journal of the Convergence on Culture Technology
    • /
    • v.7 no.2
    • /
    • pp.177-184
    • /
    • 2021
  • This study aims to develop the model of needs analysis for lifelong education program in order to verify social needs as well as personal needs. The overall process of this study is as follows. Firstly, a questionaire based on six mode classification of lifelong education program was invented in order to apply to program development. Secondly, a questionaire was designed to evaluate personal needs and social needs simultaneously. Thirdly, t-test, needs analysis of Borich model, and the Locus for Focus model were conducted with a view to analyze the difference between personal needs and social needs. As a result, there showed the categories of education which are high in both personal and social needs, whereas a category like certification program is higher in social needs rather than in personal needs. The results represent the necessities of promoting programs which are high in social needs even if there is no personal needs. Therefore the needs survey and the needs analysis need to be conducted to find out not only personal needs but also social needs.