• 정보보호학회논문지
• /
• 제25권6호
• /
• pp.1421-1433
• /
• 2015

디지털 기기나 컴퓨터의 포렌식을 통한 정확한 분석을 위해 디지털 포렌식 도구의 신뢰성 검증이 매우 중요하다. 도구의 신뢰성을 검증하기 위해서는 도구에 입력할 데이터 세트에 대한 개발과 연구가 필요하다. 컴퓨터에서 많이 사용되고 있는 윈도우 운영체제에서는 시간과 관련된 데이터 기준과 사용자 행위 기준의 윈도우 포렌식 아티팩트가 있다. 본 논문에서는 이 두 개의 윈도우 아티펙트를 모두 분석할 수 있도록 윈도우 환경에서 데이터 세트를 개발한 후, 공개용 디지털 포렌식 도구들을 이용하여 테스트를 진행하였다. 따라서 개발한 데이터 세트는 행위 기준의 아티팩트를 분석할 수 있는 능력을 키우기 위한 교육용으로, 디지털 포렌식 신뢰성을 검증하기 위한 도구 테스트를 목적으로, 새로운 아티팩트 분석을 위한 재활용성의 특성을 들어 활용방안을 제시한다.

• 한국컴퓨터정보학회논문지
• /
• 제10권6호
• /
• pp.93-102
• /
• 2005

본 논문은 퍼지 c-means 알고리즘의 퍼지 멤버십 등식을 신경망과 융합한 서명의 특징정보를 기반으로 하는 자율적인 자기조직화 신경망 모델 이용하여 서명 검증하는 방법을 제안하였다. 기존 온라인 서명인식 방법인 함수적 접근법과 매개변수적 접근법의 한계점을 개선하기 위해 자율적 클러스터 특징정보에 의해 서명 패턴 분류 접근법을 제안했다. 본 논문의 중요한 요소는 서명의 특징 정보를 36개의 전역적 특징 정보 정의와 12개의 지역적 특징 정보를 정의하였고, 이를 기반으로 FE-SONN에 학습하여 서명의 진위여부를 검증하는 검증시스템 구현에 있다. 총 713개의 서명을 가지고 실험하였으며, 원본 서명 155개와 시험용으로 위조 서명 180개와 본인이 작성한 진본 서명 378개를 테스트한 결과 97.67$\%$이상의 검증률을 얻을 수 있었다. 그러나 눈으로 식별이 불가능한 정교한 위조서명은 검증 시스템에서도 진위여부 판단에 어려움이 있다.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권12호
• /
• pp.1485-1492
• /
• 1999

대규모 시스템 명세의 올바름을 검증하기 위한 유한 상태 LTS에 기반을 둔 CTL논리 적용에 있어 가장 큰 문제점은, 시스템 내부의 병렬 프로세스간의 상호작용으로 인한 상태폭발이다. 그러나 Modal mu-calculus 논리를 시스템 안전성 및 필연성 특성 명세에 사용하면, 행위에 의한 순환적 정의가 가능하므로 상태폭발 문제가 해결 가능하다. 본 논문에서는 LTS로 명세화된 통신 프로토콜 시스템 모델의 안전성 및 필연성 특성을 모형 검사 기법에 의해 검증함에 있어, 시제 논리로 사용된 Modal mu-calculus 안전성 및 필연성 논리식과 CTL 의 안전성 및 필연성 논리식의 극한값이 동일함을 두 논리식을 만족하는 상태 집합이 같다는 것을 보임으로써 증명한다. 증명된 결과는 I/O FSM 모델로 표현된 통신 프로토콜의 안전성 및 필연성 검사를 위해 이론적인 기반으로서, 컴퓨터를 이용한 모형검사 기법에 효과적인 방법으로 응용이 가능하다.Abstract In applying CTL-based model checking approach to correctness verification of large state transition system specifications, the major obstacle is the combinational explosion of the state space arising due to interaction of many loosely coupled parallel processes. If, however, the modal mu-calculus viewed as a CTL-based logic with recursion, is used to specify the safety and liveness property of a given system, it is possible to resolve this problem. In this paper, we discuss the problem of verifying communication protocol system specified in LTS, and prove that a logic expression specifying safety and liveness in modal mu-calculus is semantically identical to the maximum value of the expression in CTL. This relation is verified by the proof that the sets of states satisfying the two logic expressions are equivalent. The proof can be used as a theoretical basis for verifying safety and liveness of communication protocols represented as I/O FSM model.

• 정보처리학회논문지D
• /
• 제10D권3호
• /
• pp.559-566
• /
• 2003

최근 무선 단말기 이용이 증가함에 따라 무선 환경에서의 전자상거래가 활성화되고 있다. 따라서 유선 환경에서와 마찬가지로 무선 환경에서의 전자상거래 역시 소비자와 판매자간에 서로 신뢰할 수 있는 보안 및 영수증 발급 기술이 요구된다. 무선 전자상거래를 위해 WPKI, WML 전자서명 등 여러 방법들이 연구중이나 무선 단말기 성능 제한과 WAP 게이트웨이에서의 데이터 변환 시 발생하는 보안문제 등으로 인한 문제점이 여전히 존재한다. 본 논문에서는 무선 환경에서 전자상거래의 신뢰성을 보장하기 위해 무선 환경과 유선 환경을 접목시킨 전자영수증 발급 시스템을 제안한다. 본 시스템에서는 전자서명을 이용한 전자영수증을 발급함으로써 판매자와 소비자간의 신분 확인, 무결성 및 부인봉쇄기법을 지원한다. 또한 신뢰할 수 있는 독립된 검증 서버를 도입하여 전자영수증을 검증하고 관리함으로써 전체 성능을 향상시켰다.

• 한국컴퓨터정보학회논문지
• /
• 제17권3호
• /
• pp.135-141
• /
• 2012

인터넷 발전은 교육과 평가 방법에서 많은 변화를 가져왔다. 인터넷을 이용한 원격교육은 학습 결과를 측정하기 위해 시험의 시행이 온라인으로 이루어지고 있다. 온라인 시험은 출제 및 시험 감독에 대한 연구가 많이 진행 되었지만 시험 답안의 진본성 검증에 대한 연구는 이루어지지 않고 있다. 시험 답안지 작성 형식에는 선택형, 단답형, 서술형, 실습형 등이 있는데 실습형을 제외한 답안 작성은 웹상에서 가능하다. 본 논문에서는 실습형 답안지 중 컴퓨터활용 답안의 진본 확인을 위해 답안지에 검증정보를 기록하여 진본임을 검증할 수 있는 시스템을 구현한다. 이 시스템의 특징은 인터넷에서 컴퓨터활용 시험 실시 중 답안지가 부정하게 작성되었는지를 검증하는 것이다. 이 시스템은 진본 검증을 위해 검증정보를 서버에서 응시자 답안지에 기록하도록 하였으며, 그 결과 제출된 답안지의 검증정보를 이용하여 진본여부를 검증하는 것이다.

• 해양환경안전학회지
• /
• 제22권7호
• /
• pp.807-813
• /
• 2016

해상교통안전진단제도는 연안에서 선박의 항행에 영향을 미치는 각종 해상사업으로 인해 발생할 수 있는 위험요인을 전문적으로 조사 측정 평가하기 위해 2009년에 법제화된 이후에 제도 발전에 관한 여러 연구가 수행되어 왔다. 이러한 연구결과를 분석하여 현제도의 미비점을 색인한 결과, 안전진단 결과에 따라 해상사업이 수행되었는지 검증하기 위한 절차와 안전진단의 주요 과정 중 하나인 선박조종 시뮬레이션의 정확성을 검증하기 위한 사후관리 관련 규정이 미흡했다. 사후관리제도 도입 필요성이 드러남에 따라 법령화된 유사 제도인 환경영향평가제도와 도로교통안전진단제도의 법체계를 분석하였다. 그리고 해상교통분야의 미비점을 개선하기 위한 법령안을 구체적으로 제시하였다. 본 고의 법령안은 진단의 정확도를 검증하고 진단결과의 이행을 담보함으로써 해상사업과 관련된 잠재적 위험요인을 제거하고 해상교통안전에 기여할 것으로 기대된다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2011년도 정기총회 및 추계학술대회 논문집
• /
• pp.1-6
• /
• 2011

In Korea, high-speed train(HEMU-400X) system with distributed power is being developed, and the highest test speed of this train is 400km/h. This developed the first high-speed train as a distributed power train in Korea, as well as for the development of train system and evaluation system included evaluation technology is needed. Accordingly, a comprehensive and efficient OMS(Overall Measurement System) was build up for verifying the performance of HEMU-400X. By the case study of the G7 and TTX, OMS of HEMU-400X was improved the test performance and maintainability. In particular, the existing Window-based systems has a limit to the control, due to this reason OMS applying enhanced RT(Real-time) system. In this study, compare the advantages and disadvantages of RT systems with Window-based systems, as well as the configuration of the RT systems.

• 전력전자학회논문지
• /
• 제17권4호
• /
• pp.353-358
• /
• 2012

In this paper, three-phase power equalizing system (PES) with UPS function is proposed. This system is based on NiMH battery with battery management system. The power conversion circuit is composed with the three-phase converter/inverter, the bi-directional converter, and the thyristor switches. The three-phase converter/inverter provides the power to the grid or get the power from the grid. Also, it operates as a UPS. The bi-directional converter charges or discharges the battery. The thyristor switches are used for connecting/disconnecting with the grid and the load. A 15 kW prototype is implemented for the verifying the performance of the proposed system.

• International Journal of Automotive Technology
• /
• 제5권2호
• /
• pp.95-108
• /
• 2004

Lanekeeping assistance has the potential to save thousands of lives every year by preventing accidental road departure. This paper presents experimental validation of a potential field lanekeeping assistance system with quantitative performance guarantees. The lanekeeping system is implemented on a 1997 Corvette modified for steer-by-wire capability. With no mechanical connection between the hand wheel and road wheels the lanekeeping system can add steering inputs independently from the driver. Implementation of the lanekeeping system uses a novel combination of a multi-antenna Global Positioning System (GPS) and precision road maps. Preliminary experimental data shows that this control scheme performs extremely well for driver assistance and closely matches simulation results, verifying previous theoretical guarantees for safety. These results also motivate future work which will focus on interaction with the driver.

• 디지털융복합연구
• /
• 제12권6호
• /
• pp.215-221
• /
• 2014

지문인식시스템은 사용자의 지문을 전자적으로 읽어 미리 입력된 데이터와 비교해 본인 여부를 판별하여 사용자의 신분을 확인하는 시스템이다. 지문인식시스템의 성능은 지문 인식에 걸리는 시간이나 정확도 등에 좌우된다. 본 논문에서는 지문인식시스템의 품질 수준을 평가하기 위해 ISO 품질평가 표준을 기반으로 효율성에 관한 평가모델을 구축하였다. 본 연구를 통해 표준에 입각한 평가기준 구축과 활용에 기여할 수 있을 것으로 기대한다.