• 제목/요약/키워드: Experimental verification

검색결과 1,663건 처리시간 0.029초

Fingerprint Template Protection using Fuzzy Vault

  • 문대성;이성주;정승환;정용화;문기영
    • 한국정보보호학회:학술대회논문집
    • /
    • 한국정보보호학회 2006년도 하계학술대회
    • /
    • pp.123-132
    • /
    • 2006
  • Biometric-based authentication can provide strong security guarantee about the identity of users. However, security of biometric data is particularly important as the compromise of the data will be permanent. To protect the biometric data, we need to store it in a non-invertible transformed version. Thus, even if the transformed version is compromised, the actual biometric data remains safe. In this paper, we propose an approach to protect finger-print templates by using the idea of the fuzzy vault. Fuzzy vault is a recently developed cryptographic construct to secure critical data with the fingerprint data in a way that only the authorized user can access the secret by providing the valid fingerprint. We modify the fuzzy vault to protect fingerprint templates and to perform fingerprint verification with the protected template at the same time. This is challenging because the fingerprint verification is performed in the domain of the protected form. Based on the experimental results, we confirm that the proposed approach can perform the fingerprint verification with the protected template.

  • PDF

Retiming을 이용한 Symbolic Model Checking 성능 향상에 관한 연구 (Improving Symbolic Model Checking Performance Withy Retiming)

  • 강형주
    • 한국정보통신학회논문지
    • /
    • 제14권10호
    • /
    • pp.2310-2316
    • /
    • 2010
  • 이 논문에서는 형식 검증(formal verification)의 한 분야인 모델 검증(model checking)에 재타이밍(retiming) 기법을 적용하는 방법에서 대해 연구하였다. 재타이밍은 주어진 회로의 레지스터들을 재배치함으로써, 입출력 동작을 바꾸지 않으면서 전이 관계(transition relation)을 변환할 수 있는 기법이다. 이러한 재타이밍을 이용하면 모델 검증을 더 효율적으로 수행하도록 회로를 바꿀 수 있다. 이 논문에서는, 레지스터의 개수와 전이 관계의 특성을 반영한 cost 함수를 제안하고, 재타이밍으로 얻을 수 있는 회로 구조들을 효율적으로 탐색하는 heuristic annealing 알고리즘을 개발한다. 제안된 방법이 모델 검증의 성능을 향상시킬 수 있음을 실험 결과를 통해 보여주었다.

에어백 인플레이터 캡 성형 공정 개발 및 검증 (Process Design and Experimental Verification of Airbag Inflator Cap Forming)

  • 이득규;이민수;박지우;강범수
    • 소성∙가공
    • /
    • 제27권4호
    • /
    • pp.201-210
    • /
    • 2018
  • An airbag is an essential automotive component used in all kinds of vehicles such as an internal combustion engine and an electric motor vehicle and is used to minimize the damage of an occupant in the event of an accident. Airbag-related parts are being monopolized by a small number of foreign companies around the world. In this situation, it is necessary to develop and research the airbag-related part molding technology for expansion of the domestic airbag-related market and corporate export. As a part of this research, we have developed a mold for airbag inflator cap. The development consists of three steps which are the design of components, analysis of the design and verification of it. In the case of the design, the transfer type mold was designed for the multi-cylindrical shaped feature. Analysis was then conducted on the design. By examining the results of analysis, changing features and numbers of punches and dies were added in the analysis and repeatedly analyzed. After the addition, proper dimensions from the analysis were achieved, and prototypes were practically produced and verified. In the case of prototype verification, Pressurizing Burst Test was conducted on the existing products and the prototype. By comparing the results of the test, the possibility of replacing the existing product of the airbag inflator cap is presented in this paper.

팩스 문서 위·변조 방지를 위한 패턴 분석 기반의 팩스 송신처 검증 기법 (Fax Sender Verification Technique Based on Pattern Analysis for Preventing Falsification of FAX Documents)

  • 김영호;최황규
    • 디지털콘텐츠학회 논문지
    • /
    • 제15권4호
    • /
    • pp.547-558
    • /
    • 2014
  • 최근 일반기업, 공공기관, 금융기관 등에서 수신된 팩스 문서를 사용하여 업무처리를 하는 과정에서 각종 위 변조 폐해 사례가 빈번하게 발생하고 있다. 이는 팩스로 수신한 문서만으로는 위 변조 여부를 확인할 수 없어 발생하는 결과로 이에 대한 대책이 시급한 실정이다. 본 논문에서는 수신된 팩스 문서만을 사용하여 팩스 문서의 위 변조 여부를 확인하기 위한 팩스 송신처 검증 기법을 제안한다. 제안된 기법은 송신측 팩스단말과 수신측 팩스단말간의 통신 시그널 패턴 분석과 수신된 팩스 문서 이미지의 속성패턴을 확인하여 수신된 문서가 지정된 송신처에서 보낸 팩스인지를 검증할 수 있는 기법이다. 본 논문은 제안된 기법을 실제 팩스 시스템에 적용하여 위 변조 방지 효과가 있음을 실험 결과를 통해 확인하였다.

가중치 퍼지분류기와 방향성 밀도함수를 이용한 오프라인 서명 검증에 관한 연구 (A Study on Off-Line Signature Verification using Directional Density Function and Weighted Fuzzy Classifier)

  • 한수환;이종극
    • 한국멀티미디어학회논문지
    • /
    • 제3권6호
    • /
    • pp.592-603
    • /
    • 2000
  • 본 논문에서는 12개의 방향성 $5\times{5}$ 그라디언트 마스크를 서명영상에 적용하여 추출한 밀도함수와 가중치 평균퍼지 분류기를 사용하여 오프라인 서명 검증기법을 연구하였다. Nevatia-Babu 그라디언트 마스크에 근간을 두고 추출한 12방향에 대한 밀도함수는 서명영상의 전체적인 형태와 연관이 있어 본 연구의 특징벡터로 사용되었다. 가중치 평균 퍼지분류기의 판단기준이 되는 특징벡터들의 집합은 친필 서명샘플들에서만 추출되어 위조서명의 검출에 적용되었다. 본 논문의 실험결과는 제안된 시스템이 다양한 위조서명에 관한 어떤 사전지식이 없다할지라도 77% 이상의 높은 검증률로 서명영상의 진위여부를 가려낼 수 있음을 보였다.

  • PDF

특징점간의 벡터 유사도 정합을 이용한 손가락 관절문 인증 (Finger-Knuckle-Print Verification Using Vector Similarity Matching of Keypoints)

  • 김민기
    • 한국멀티미디어학회논문지
    • /
    • 제16권9호
    • /
    • pp.1057-1066
    • /
    • 2013
  • 손가락 관절문(FKP, finger-knuckle-print)을 이용한 개인 인증은 손가락 관절부에 나타나는 주름의 특징을 이용하는 것으로, 텍스처의 방향 정보가 중요한 특징이 된다. 본 논문에서는 SIFT 알고리즘을 이용하여 특징점들을 추출하고, 벡터 유사도 정합을 통해 FKP를 효과적으로 인증할 수 있는 방법을 제안하다. 벡터는 질의 영상에서 추출한 특징점과 이에 대응되는 참조 영상의 특징점을 연결하는 방향 벡터로 정의된다. 국소적인 특징점 쌍으로부터 방향 벡터를 생성하기 때문에 방향 벡터 자체는 국소적인 특징만을 나타내지만, 두 영상 간에 존재하는 다른 벡터들 간의 유사도를 비교함으로써 전역적인 특징으로 확장되는 장점이 있다. 실험결과 제안하는 방법은 기존의 방향코드를 이용한 다양한 방식에 비하여 우수한 성능을 나타내었다.

A Practical Implementation of Fuzzy Fingerprint Vault

  • Lee, Sun-Gju;Chung, Yong-Wha;Moon, Dae-Sung;Pan, Sung-Bum;Seo, Chang-Ho
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • 제5권10호
    • /
    • pp.1783-1798
    • /
    • 2011
  • Recently, a cryptographic construct, called fuzzy vault, has been proposed for crypto-biometric systems, and some implementations for fingerprint have been reported to protect the stored fingerprint template by hiding the fingerprint features. In this paper, we implement the fuzzy fingerprint vault, combining fingerprint verification and fuzzy vault scheme to protect fingerprint templates. To implement the fuzzy fingerprint vault as a complete system, we have to consider several practical issues such as automatic fingerprint alignment, verification accuracy, execution time, error correcting code, etc. In addition, to protect the fuzzy fingerprint vault from the correlation attack, we propose an approach to insert chaffs in a structured way such that distinguishing the fingerprint minutiae and the chaff points obtained from two applications is computationally hard. Based on the experimental results, we confirm that the proposed approach provides higher security than inserting chaffs randomly without a significant degradation of the verification accuracy, and our implementation can be used for real applications.

하나로 유동 모의 설비의 유체순환계통 해석 (The Analysis for Flow Circulation System in HANARO Flow Simulation Facility)

  • 박용철
    • 한국유체기계학회 논문집
    • /
    • 제7권1호
    • /
    • pp.30-35
    • /
    • 2004
  • The HANARO, a multi-purpose research reactor of 30 MWth open-tank-in-pool type, has been under normal operation since its initial criticality in February, 1995. Many experiments should be safely performed to activate the utilization of the HANARO. HANARO flow simulation facility is being developed for the endurance test of reactivity control units for extended life time and the verification of structural integrity of those experimental equipments prior to loading in the HANARO. This facility is composed of three major parts; a half-core structure assembly, a flow circulation system and a support system. The flow circulation system is composed of a circulation pump, a core flow piping, a core bypass flow piping and instruments. The system is to be filled with de-mineralized water and the flow should be met the design requirements to simulate a similar flow characteristics in the core channel of the half-core structure assembly to the HANARO. This paper, therefore, presents an analytical analysis to study the flow behavior of the system. Computational flow analysis has been performed for the verification of system pressure variation through the three-dimensional analysis program with the standard $k-{\epsilon}$ turbulence model and for the verification of the structural piping integrity through the finite element method. According to the analysis results, it could be said that the design requirements and the structural piping integrity of the flow circulation system are satisfied.

화자확인에서 일정한 결과를 얻기 위한 빠른 순시 확률비 테스트 방법 (Fast Sequential Probability Ratio Test Method to Obtain Consistent Results in Speaker Verification)

  • 김은영;서창우;전성채
    • 말소리와 음성과학
    • /
    • 제2권2호
    • /
    • pp.63-68
    • /
    • 2010
  • A new version of sequential probability ratio test (SPRT) which has been investigated in utterance-length control is proposed to obtain uniform response results in speaker verification (SV). Although SPRTs can obtain fast responses in SV tests, differences in the performance may occur depending on the compositions of consonants and vowels in the sentences used. In this paper, a fast sequential probability ratio test (FSPRT) method that shows consistent performances at all times regardless of the compositions of vocalized sentences for SV will be proposed. In generating frames, the FSPRT will first conduct SV test processes with only generated frames without any overlapping and if the results do not satisfy discrimination criteria, the FSPRT will sequentially use frames applied with overlapping. With the progress of processes as such, the test will not be affected by the compositions of sentences for SV and thus fast response outcomes and even consistent performances can be obtained. Experimental results show that the FSPRT has better performance to the SPRT method while requiring less complexity with equal error rates (EER).

  • PDF

복합 특성 정보와 SVM을 이용한 차량 번호판 추출 및 검증 (Vehicle License Plate Extraction and Verification Using Compounded Feature Information and Support Vector Machines)

  • 김하영;안명석;차의영
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국해양정보통신학회 2005년도 춘계종합학술대회
    • /
    • pp.493-496
    • /
    • 2005
  • 본 논문에서는 번호판 고유의 복합 색상 정보와 수직 에지 정보를 이용한 번호판 후보 영역 추출기법을 제안한다. 또한 추출된 번호판 영역의 정확성을 높이기 위해서, Fast DCT를 거쳐 압축된 이미지에 대하여 Support Vector Machines(SVM)을 이용한 검증 과정을 제안한다. 제안하는 기법은 차량번호판 인식의 대상이 되는 자동차의 위치가 정면, 후면을 구분하지 않는 다양함을 가지고, 주변 배경이 충분히 포함되는 상황에서 다양한 크기를 가지는 355장의 영상들을 대상으로 한다. 실험 결과, SVM을 이용한 검증 과정을 거친 방법이 그렇지 않은 경우보다 20%이상 향상된 번호판 추출 성공률을 나타내었다.

  • PDF