• Title/Summary/Keyword: 문제 해결 방법과 절차

Search Result 290, Processing Time 0.026 seconds

Development of a Software Security Verification System Using Rule Signatures (룰 시그니처를 이용한 소프트웨어 보안성 검증 시스템 개발)

  • Jang, Hui-Jin;Kim, Wan-Kyoung;Soh, Woo-Young
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2005.11a
    • /
    • pp.85-87
    • /
    • 2005
  • 프로그래밍 기술과 인터넷 통신의 발달로 인하여 보안성이 검증되지 않은 다양한 프로그램들이 생성되고 쉽게 유포되어 보안 취약성으로 인해 야기되는 다양한 문제의 심각성이 더해가고 있다. 따라서 사용자가 보안상 안전하게 사용할 수 있는 소프트웨어 인증절차가 필수적으로 요구되고 있는데, 이를 해결하기 위해 소프트웨어 안전성 평가에 대한 연구가 진행 중이지만, 기존의 방법들은 특정 영역에 한정적이어서 일반적인 소프트웨어의 보안성 평가(security evaluation) 방법으로써 부적합하다. 뿐만 아니라 기존의 시스템들은 단순 패턴매칭에 기반을 두고 있어 오용탐지가 크고 정확성이 떨어진다는 문제점을 가지고 있다. 따라서 본 논문에서는 이러한 문제점들을 해결하기 위해 악성프로그램 코드의 구조와 흐름을 분석하여 규칙으로 정의하고 그 규칙에 따라 검사 대상 프로그램 코드에서 악성코드와 취약점 흐름을 탐지하는 규칙 기반의 소프트웨어 보안성 검증 시스템 프로토타입을 제안한다. 제안한 검증 시스템의 프로토타입은 악성코드와 소프트웨어 취약성을 동시에 탐지하여 보안성을 평가함으로써 범용적인 소프트웨어 평가에 활용 가능할 것이다.

  • PDF

Design and Implementation of Rule Discovery Algorithm strongly coupled with Time-series databases (시계열 데이터베이스와 강결합된 규칙발견 알고리즘 설계와 구현)

  • 박인창;김성규
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2001.04b
    • /
    • pp.43-45
    • /
    • 2001
  • 마이닝 시스템은 그 특성에 따라 매우 다른 형태의 구현 방법이 존재한다. 그러므로 마이닝 시스템간 호환성이나 재사용성은 매우 낮다. 본 노문에서는 이 문제를 시계열 데이터베이스를 통한 RDB와 강 결합함으로써 표준화에 대한 문제를 해겨라고자 시도하였다. RDB와의 강 결합은 표준화 문제를 해결함과 더불어 마이닝 시스템에 DBMS의 관련 기술을 이용함으로써 성능을 극대화시킨다. 특히 DBMS의 인텍스 기능을 이용함으로써 마이닝 시스템의 성능 향상을 시도하였다. 본 논문에서는 기존의 순차패턴 탐사의 시간개념 부재, 트랜잭션 데이터베이스 기반구조, 그리고 알고리즘 수행에 있어서 메모리 한계에 따른 문제등의 단점을 지적하고, 이를 수정하고 보완하기 위해서 시간 거리와 패턴 길이의 개념을 확장하였으며 그에 따른 연관규칙의 관련 공식을 수정 보완하여 제안한다. 또한 RDB와의 강 결합되어 기존의 트랜잭션 데이터베이스 구조를 벗어나 시계열 데이터에 보다 쉽게 적용할 수 있는 절차와 알고리즘을 제안한다.

  • PDF

A Novel Algorithmic Thinking-based Problem Models & Evaluation Methods and Analysis of Problems using Material Factors in an Elementary course of Mathematics (알고리즘적 사고 문제 모델 및 평가방법의 제안과 초등수학 내용요소의 적용 및 분석)

  • Kwon, Dai-Young;Hur, Kyeong;Park, Jung-ho;Lee, Won-Gyu
    • The Journal of Korean Association of Computer Education
    • /
    • v.11 no.4
    • /
    • pp.1-12
    • /
    • 2008
  • This paper proposes basic algorithmic thinking based problem models applicable immediately without additional learnings and it problems basic problems and evaluation methods using material factors in an elementary course of mathematics For these purposes, an algorithmic thinking based problem model and it's basic problem models are proposed based on flowchart design methods with 5 degrees of difficulties. And algorithmic thinking based basic problems are developed by applying the proposed basic problem models into material domain in an elementary course of mathematics. And this paper proves the validity of developed basic problems in defining then as algorithmic thinking based basic problems through experiments and statistical analyses. The experimental results are analyzed in views of variety and effectiveness evaluation of answer algorithms and suitability of allocating 5 degrees of difficulties to the developed basic problems.

  • PDF

Operational Definition of Components of Logical Thinking in Problem-solving Process on Informatics Subject (정보 교과의 문제해결과정에서 논리적 사고력 구성요소에 대한 조작적 정의)

  • Yoon, Il-Kyu;Kim, Jong-Hye;Lee, Won-Gyu
    • The Journal of Korean Association of Computer Education
    • /
    • v.13 no.2
    • /
    • pp.1-14
    • /
    • 2010
  • Previous researches on the improvement of logical thinking in Informatics subject have used general logical thinking test and only limited improvement of logical thinking by programming learning result. In this study, the operational definition of the logical thinking in problem-solving process on Informatics education is different from the general logical thinking and the logical thinking of the other subjects. Firstly, we suggested the operational definition of components of logical thinking using the open questionnaire by expert and research team discussion. Also, we suggested the relationship between the operational definition and contents of the 'problem-solving methods and procedure' section in secondary Informatics subject. Finally, this study developed the evaluation contents based on the operational definition of components of logical thinking. The components of logical thinking which was required in problem-solving process on Informatics subject were ordering reasoning, propositional logic, controlling variables, combinatorial logic, proportional reasoning. We suggested the relationship between operational definition and problem-solving process and assessment of logical thinking in problem-solving process on Informatics subject. This paper will give meaningful insight to supply the guideline of the teaching strategy and evaluation methods for improving the logical thinking in Informatics education.

  • PDF

Design of Sociogram Visualization for Emotional Labor Enhancement in Organization and Communication (조직 커뮤니케이션 관계에서 감정노동 개선을 위한 소시오그램 시각화 설계)

  • Kim, Yong-Woo;Park, Seok-Cheon;Hong, Suk-Woo;Kim, Tae-Youb
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2013.11a
    • /
    • pp.1034-1037
    • /
    • 2013
  • 최근 감정노동으로 인해 고충을 겪고 있는 사람들이 늘어가고 있다. 이로 인해 감정노동이 사회적 이슈가 되고 있으며 감정 노동을 해결하기 위해 조직들은 다양한 해결 방법들을 모색하고 시행하고 있다. 감정노동이란 육체가 힘들기 보다는 정신적 스트레스와 상처가 문제이기 때문에 이를 해결하기 위해서 기업들은 심리상담, 심리치료 등의 서비스 제도를 시행하고 있지만 한계가 있다. 업무 특성상 감정 노동에 장시간 노출 되어 고통 받고 있는 조직원들의 상황을 조직 내 커뮤니케이션 빈도와 관계를 분석하고 커뮤니케이션의 핵심역할을 하고 있는 인재들을 소시오그램 형태로 시각적으로 보여주어 조직 발전에 도움을 주는 시스템 시각화 절차와 소시오그램 요소를 설계하였다.

A Design of the Smart Control System for Industrial Automation Equipment (산업용 자동화 장비를 위한 스마트 제어 시스템 설계)

  • Kim, Bo-Hun;Kim, Hwang-Rae
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.18 no.4
    • /
    • pp.677-684
    • /
    • 2017
  • Smart devices are used in a variety of industries, because applications for them are easy to develop and portable. However, industrial equipment can cause security problems for information and accidents when controlling the actuator of the equipment at a remote location. In this paper, we studied methods of solving these problems and the advantages of applying smart control systems to industrial equipment. We propose a manual manipulation method using queries and a smart control access procedure for controlling equipment using a smart device. In addition, we propose a data transmission method employing multiple encryption protocols and a user authentication method using unique information from the smart device and Q & A as the communication data protection and user authentication methods, respectively. In order to evaluate its performance, an operation test of the smart control system and user authentication comparison experiment were performed. In order to understand the advantages of applying the smart control system to the equipment, we conducted a comparative experiment with a teach pendant and evaluated its reaction time in case of error.

Analysis of paper map images for acquiring 3D terrain data (3차원 지형 자료 획득을 위한 지도 영상 분석)

  • LEE, JIN SEON
    • Journal of the Korea Computer Graphics Society
    • /
    • v.2 no.1
    • /
    • pp.68-76
    • /
    • 1996
  • One of the major problems in GIS(Geographical Information Systems) involves acquiring 3-D terrain data. Because conventional methods such as land surveying or analysis of aerial photographs are costly, the method of using existing paper maps has been gaining considerable attention. This method demands three processing steps: 1) extraction of contours, 2) assignment of height values to the extracted contours, 3) reconstruction of 3-D terrain data. In this paper we systematically develop a procedure for acquiring 3-D terrain data from contour solutions. For the first two steps, we describe the necessary operations and roughly sketch solutions. For the last step, we propose an efficient raster-based algorithm and present the results of experiments with existing paper map images.

  • PDF

A Method to Design Connectors to Resolve Partial Matching Problems in CBD (CBD의 부분 매칭 문제 해결을 위한 커넥터 설계 기법)

  • Min, Hyun-Gi;Kim, Soo-Dong
    • Journal of KIISE:Software and Applications
    • /
    • v.32 no.12
    • /
    • pp.1205-1216
    • /
    • 2005
  • Component-based Development (CBD) is gaining popularity as an effective reuse technology. Especially commercial-off-the-shelf (COTS) components are mainly for inter-organizational reuse, rather than intra-organizational reuse. One of the essential tasks in CBD is to reuse the right components that provide the functionality and interface required by component consumers. If candidate components provide a limited applicability and customizability, a component consumer cannot reuse the components in application development. To resolve this partial matching problem, we need smart connectors that fill the gap between candidate components and the specification of components required. Previous researches about smart connector describe only connector types to resolve mismatch problems. However, previous researches do not address the identification and design method to resolve the problems. In this paper, we suggest taxonomy of various mismatch problems to identify partial match problems between requirements of the application and components. We identify smart connector types and suggest a systematic process for designing smart connectors using the taxonomy. Therefore, components that have the problems can be used to develop applications.

Strategies for Component reuse using Strategy Design Pattern (컴포넌트 재사용을 늘리기 위한 전략 패턴의 활용 방법)

  • Shim, Jun-Yong;Oh, Jung-in;Wi, Soung-Hyouk;Kim, Sae-Hwan
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2012.04a
    • /
    • pp.1194-1197
    • /
    • 2012
  • 디자인 패턴은 소프트웨어 설계 시 반복적으로 발생하는 문제를 해결하기 위한 방법을 기술한다. 특히, 객체지향 기술을 기반으로 하는 컴포넌트 설계 시 디자인 패턴을 활용함으로써 특정 설계 문제에 대한 해결책을 재사용할 수 있다. 좋은 객체 지향 설계는 재사용성, 확장성 및 유지보수성을 제공하는 것이며, 디자인 패턴은 좋은 설계에 필요한 구성 요소들의 관계 구조를 제시한다. 본 논문은 객체지향 기반의 컴포넌트 프레임워크 설계 시 프레임워크의 확장성과 구현 컴포넌트의 재사용성을 늘리기 위한 방안으로 디자인 패턴의 활용법을 제시한다. 특히, 알고리즘 재사용의 구조를 제시하는 전략 패턴과 처리 절차 재사용의 구조를 제시하는 템플릿 메서드 패턴의 구조를 비교하고, 분산 통신 컴포넌트 설계 시 전략 패턴의 적용 사례를 보여준다.

A Study of Web Application Development Method for Secure Coding Approach Based on SDLC Steps (SDLC 설계절차에 기반한 웹 애플리케이션 시큐어코딩 접근방법 연구)

  • Noh, Si Choon
    • Convergence Security Journal
    • /
    • v.12 no.6
    • /
    • pp.93-99
    • /
    • 2012
  • As the most common application development of software development time, error-free quality, adaptability to frequent maintenance, such as the need for large and complex software challenges have been raised. When developing web applications to respond to software reusability, reliability, scalability, simplicity, these quality issues do not take into account such aspects traditionally. In this situation, the traditional development methodology to solve the same quality because it has limited development of new methodologies is needed. Quality of applications the application logic, data, and architecture in the entire area as a separate methodology can achieve your goals if you do not respond. In this study secure coding, the big issue, web application factors to deal with security vulnerabilities, web application architecture, design procedure is proposed. This proposal is based on a series of ISO/IEC9000, a web application architecture design process.