• 시스템엔지니어링워크숍
• /
• 통권1호
• /
• pp.9-14
• /
• 2003

The paper aims at presenting a systematic approach process and a method of requirement validation and system verification. Validation is applied during concept development to ensure conceptual validity, requirements validity, and design validity. Verification work is applied subsequent to the design work on test articles and early production items to produce evidence that the design solutions do, in fact, satisfy th requirements. In this paper, we present a requirements validation model and a system verification model. This models are applied to the development of TTX(Tilting Train Express)system with systems engineering tool, CORE.

• 한국정보통신학회논문지
• /
• 제9권4호
• /
• pp.890-895
• /
• 2005

동적(온라인) 서명인증시스템은 내부 처리 과정에서는 불필요한 점들을 제거하는 전처리과정, 서명의 변화폭을 줄여주고 서명자의 고유한 특징 정보를 추출하는 특징추출과정, 두 서명의 특징벡터를 비교하여 유사도를 계산하는 비교과정, 보안수준에 따른 인증 여부를 결정하는 판단과정으로 구성되며, 사용자 관점에서의 화면 구성은 서명을 입력받아 기준서명과 보안수준 값을 만들어 주는 등록화면과 권한 부여를 위하여 진서명인지 모조서명인지를 판단하는 인증화면으로 나누어진다. 본 논문에서는 동적 서명인증시스템의 처리 속도, 서명의 특징벡터의 추출방법과 비교 알고리즘, 사용자 인터페이스 등과 실제 환경에서의 설계 및 구현에 대한 연구이다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1997년도 추계학술발표회논문집(1)
• /
• pp.271-276
• /
• 1997

Verification is a process aimed at demonstrating whether a system meets it's specified requirements. As expert systems are used in various applications, the knowledge base verification of systems fakes an important position. The conventional Petri net approach that has been studied recently in order to verify the knowledge base is found that it is inadequate to verify the knowledge base of large and complex system, such as alarm processing system of nuclear power plant. Thus, we propose an improved method that models the knowledge base as enhanced colored Petri net. In this study. we analyze the reachability and the error characteristics of the knowledge base and apply the method to verification of simple knowledge base.

• International Journal of Internet, Broadcasting and Communication
• /
• 제16권1호
• /
• pp.169-175
• /
• 2024

In this paper, we introduce a novel approach to enhance document security by integrating Computer Generated Hologram(CGH) encryption technology with a system for document encryption, printing, and subsequent verification using a smartphone application. The proposed system enables the encryption of documents using CGH technology and their printing on the edges of the document, simplifying document verification and validation through a smartphone application. Furthermore, the system leverages high-resolution smartphone cameras to perform online verification of the original document and supports offline document decryption, ensuring tamper detection even in environments without internet connectivity. This research contributes to the development of a comprehensive and versatile solution for document security and integrity, with applications in various domains.

• 한국철도학회논문집
• /
• 제12권3호
• /
• pp.382-387
• /
• 2009

일반적으로 고객의 요구사항을 시스템이나 서비스로 구현하는 과정에서 구현된 시스템이나 서비스들이 요구사항을 만족하여 개발 되었는지를 검증하게 된다. 그러나 철도분야의 안전체계나 안전기준을 개발하는 국가연구개발프로젝트의 경우 일반적인 검증 프로세스를 활용하여 이러한 성과물을 검증하는데 많은 한계가 있다. 본 연구에서는 국가연구개발프로젝트를 통해서 산출되는 안전체계, 안전기준, 프로세스 등의 성과물에 대한 체계적이고 효과적인 검증 프로세스를 제시하였으며, 성과물 검증 프로세스의 결과물을 전산 관리할 수 있는 방안 또한 제시하였다.

• 융합신호처리학회논문지
• /
• 제7권2호
• /
• pp.73-80
• /
• 2006

지문에 기반을 둔 인식시스템은 오래 전부터 사용되었다. 지문은 이미 잘 알려진 바와 마찬가지로 개개인이 서로 다른 특징을 가지고 있기 때문에, 가장 널리 사용되는 생체계측적인 특징의 하나이다. 그러나 지문 인식 시스템은 입력 지문 영상의 상태가 나쁜 경우 인식 성능이 크게 저하되는 치명적인 약점이 있다. 본 논문에서는 이런 문제점을 해결하기 위해 향상된 방향과 향상된 이진화 및 세선화 영상을 이용한 영상 향상 알고리즘을 전처리 과정에서 사용한다. 영상 향상의 목적은 입력 지문 이미지의 품질을 정확히 측정하고, 지문 영상의 융선과 골의 구조를 개선시키는 것이다. 또한 인식 속도를 향상시키기 위하여 색인 테이블을 사용한 융선의 방향 정보 추출 방법을 제안하였다. 제안한 지문 인식 시스템이 특징점 추출과 인식 성능에서 향상되었음을 실험을 통해서 확인할 수 있었다.

• 한국산학기술학회논문지
• /
• 제7권5호
• /
• pp.858-865
• /
• 2006

인증기관에 의해 발급된 인증서는 개인키 분실, 자격 상실, 키 변경 등의 여러 사유로 유효기간 이전에 폐지될 수 있다. 이로 인해 해당 거래의 사용되는 인증서에 대한 상태 검증은 반드시 선행되어야 한다. 현재 가장 보편적인 방식은 CRL을 이용하는 방식과 OCSP를 이용하는 방식이 있다 하지만 CRL 방식은 인증서 상태에 대한 현재성 보장이 어려우며 OCSP방식은 실시간으로 대용량의 메시지를 이용해 상태 검증을 요청하고 검증을 수행함으로서 많은 통신량을 발생시킨다. 본 논문에서는 사용자 신원 정보에 대한 VDN을 생성하여 검증을 요청하고 인증기관은 해당 VDN에 대한 사용자 신원 정보를 찾아 검증을 수행함으로서 인증서 상태에 대한 현재성 보장 및 서버 과부하 그리고 네트워크 과부하를 해결한다. 이 결과로 인증서 상태 검증 수행 속도를 향상시키는 실시간 인증서 상태 검증 시스템을 제안한다. 또한, 기존 방식들과의 비교 실험을 통해 인증서 상태 검증 수행 속도가 향상됨을 확인하였다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제13권12호
• /
• pp.6243-6259
• /
• 2019

As a foundation of next-generation air transportation systems, automatic dependent surveillance-broadcast (ADS-B) helps pilots and air traffic controllers create a safer and more efficient national airspace system. Owing to the open communication environment, it is easy to insert fake aircraft into the system via spoofing or the insertion of false messages. Efforts have thus been made in academic research and practice in the aviation industry to ensure the security of transmission of messages of the ADS-B system. An identity-based batch verification (IBV) scheme was recently proposed to enhance the security and efficiency of the ADS-B system, but current IBV schemes are often too resource intensive because of the application of complex hash-to-point operations or bilinear pairing operations. In this paper, we propose a lightweight IBV signature scheme for the ADS-B system that is robust against adaptive chosen message attacks in the random oracle model, and ensures the security of batch message verification and against the replaying attack. The proposed IBV scheme needs only a small and constant number of point multiplication and point addition computations instead of hash-to-point or pairing operations. Detailed performance analyses were conducted to show that the proposed IBV scheme has clear advantages over prevalent schemes in terms of computational cost and transmission overhead.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2009년도 춘계학술대회 논문집
• /
• pp.855-859
• /
• 2009

In this paper, we introduce the estimation method by Risk or SIL(Safety Integrity Level) for the criterion of safety assurance and summarize each application method and target. IEC 62278(EN 50126) which is international standard for the specification and verification of the railway system RAMS indicate a criterion of safety assurance. Especially, it recommend the safety verification by continuous verification as the order of requirement establishment, design, manufacture, installation, operation, and maintenance for the equipment not easy to quantify the operation environment. In this paper, we study the SIL requirement allocation method relating to internal new system development and existing system improvement by analysing SIL recommendations which were used to understand SIL for a train control equipment in 1990s in IRSE and theoretically their allocation background. This paper help the safety management of Korea train control system to develope the quantitative management procedure as international level by analyzing the SIL requirement allocation by operation agency and the right SIL verification procedure by manufacture and indicating the example to assure safety because it is necessary for improvement and localization for the Korea train control system having highly dependence on aboard technology.

• 정보기술과데이타베이스저널
• /
• 제6권1호
• /
• pp.59-72
• /
• 1999

A study on workflow system as an automated business processing system is done recently. However, it did not consider various dependencies between parallel tasks. Therefore, this paper proposes modeling and verification of workflows with various parallel dependencies. For this, firstly, we propose four dependencies to specify various parallel dependencies between tasks. They contain sequential starts, parallel starts, sequential commits, and parallel commits. Secondly, we suggest a method to specify various parallel dependencies on workflow graph. Thirdly, we propose a verification method to detect contradictions on workflow specifications.