• 정보보호학회논문지
• /
• 제7권2호
• /
• pp.11-18
• /
• 1997

Chaum과 Heyst는 부인 방지 서명에 근거한 그룹 서명 방식을 제안하였다. 그러나 부인 방지 서명은 서명 검증시 서명자의 도움이 요구되므로 정당한 수신자 조차도 서명을 검증할 수 없을 뿐 아니라, 서명자의 신분을 확인하고자 할 경우에도 그룹 소속원 전체의 헙조가 있어야만 소속원의 신분을 확인할 수 있는 불편함이 있다. 박성준등은 서명자의 도움 없이 자체 검증이 가능하며 신분 확인시에도 소속원의 도움 없이 신뢰 센터가 소속원의 신분 확인이 가능한 그룹 식별 정보를 이용한 그룹 서명 방식을 제안하였다. 본 논문에서는 박성준등이 제안한 그룹 서명 방식의 신분 확인 과정의 문제점을 밝히고, 사용자 결탁시 새로운 그룹 서명키를 계산할 수 있을 뿐 아니라 신뢰 센터의 비밀키가 노출될 수 있음을 보이고자 한다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2003년도 춘계 학술대회 학술발표 논문집
• /
• pp.169-172
• /
• 2003

본 논문에서는 기존의 분절 단위 비교방법에서 참조서명과 비교서명간에 분할점 개수와 위치에 대한 불일치 문제를 개선하기 위해 구간 분할 매칭 방법을 제안한다. 제안된 분할방법은 시간에 대한 x와 y좌표 상에서 서명마다 변하지 않는 특징점을 구간 분할점으로 선택하여 구간별로 매칭시킴으로서 분절의 안정적인 분할을 통해 인식률을 높이고자 한다. 실험 결과에서 진서명과 위조서명을 포함한 기타서명에 대해 FAR이 0.06%일 때 FRR 1.25%의 오류율을 확인하였으며 FAR이 0%일 때의 평균인식율이 98.7%를 보임으로써 제안한 서명 검증 기법이 우수함을 확인 할 수 있었다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2023년도 춘계학술대회
• /
• pp.239-240
• /
• 2023

자율운항선박 지원 서비스는 자율운항선박이 항만 내에서 안전하게 항해하고, 입/출항 및 화물 적/양하를 효율적으로 진행하는 것을 지원하기 위해 개발 중인 6종 서비스를 의미한다. 개발된 서비스의 성능을 검증하기 위해 육상 시범운영 인프라인 자율운항선박 기술연구센터를 구축하였으며, 성능검증 시나리오를 개발하였다. 성능검증 시나리오는 개발된 서비스가 실제 운용 환경에서 올바르게 동작하는지 확인하는 데 중점을 두고 있다. 성능검증은 실제 서비스 사용자를 중심으로 하는 사용자 기반 방식으로 진행된다. 실제 선박에서의 서비스 성능을 검증하기 위해 실습선을 이용한 실선박 테스트를 수행하였다.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 1992년도 추계학술대회논문집; 반도아카데미, 20 Nov. 1992
• /
• pp.87-91
• /
• 1992

축전지를 탑재한 프레임형 랙에 대한 공진탐색시험결과를 이용하여 유한요 소에 의한 수치해석모형을 결정하였다. 내진검증시험은 에이징시험을 거친 3 개의 축전지를 포함하여 28개의 축전지를 탑재한 시험랙을 대상으로 수행되 었다. 공진탐색시험으로부터 구한 모달특성치를 이용하여 지진응답을 해석하 였으며 실험치와 부합함을 확인하였다. 시험랙의 지진응답이 실제 설치될 60 개의 축전지를 갖는 전체랙의 응답보다 크므로, 시험랙에 의한 내진검증이 보다 열악한 조건에서 수행되었다고 볼 수 있다. 시험랙에 대한 내진검증시 구조부재의 구조적 안정성과 축전지의 성능유지를 확인한 바 있으므로 전체 랙의 경우에도 내진검증이 이루어졌다고 판단된다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2016년도 춘계학술발표대회
• /
• pp.493-496
• /
• 2016

차량 전장용 소프트웨어의 안정성을 플랫폼 단계에서 테스트 및 검증을 수행하면 많은 비용이 소요된다. 본 연구에서는 플랫폼 단계에서 차량용 내장형 소프트웨어를 테스트하기 이전에 Spin 모델 검증기를 활용하여 전장용 소프트웨어의 기본단위인 타스크들의 행위를 모의 실험함으로써 시스템의 설계오류를 검증할 수 있는 도구를 개발하였다. 본 연구에서는 운영체제와 환경설정 및 제어 프로그램이 수행할 타스크들을 모델로 구축하고, 모델 검증 도구 Spin을 이용하여 타스크의 상태변화를 확인할 수 있었으며, NuSMV를 이용한 방식과 비교하여 다양한 장점들을 확인하였다.

• 한국화재소방학회:학술대회논문집
• /
• 한국화재소방학회 2010년도 추계학술발표회 자료집
• /
• pp.328-331
• /
• 2010

본 연구는 IMO에서 제안하고 있는 피난모델에 대한 검증 및 확인 절차를 알아보고 이를 SIMULEX 모델에 적용하여 분석해보았다. 결과적으로 볼때 이 검증절차가 현재 사용되고 있는 피난모델들을 검증하기에는 아직 보완해야할 점이 많은 것으로 판단된다. 피난모델을 검증, 평가하기 위한 평가체계에 대한 연구가 필요하다 생각된다.

• 한국도서관정보학회지
• /
• 제55권1호
• /
• pp.1-26
• /
• 2024

본 논문은 아이템 기반으로 작성된 공공도서관의 목록데이터에 대해 중복검증 알고리즘을 적용하여 서지레코드의 통합방안을 도출하고자 하였다. 이를 위하여 부산 지역에서 비교적 최근에 개관한 G도서관을 선정하였다. G도서관의 OPAC 데이터를 웹 크롤링을 통해 수집한 다음, 한국문학(KDC 800) 다권본 도서를 선별하고 KERIS의 중복검증 알고리즘을 적용하였다. 검증 결과를 바탕으로 2차에 걸친 데이터 교정 작업을 진행한 이후, 중복검증률은 95.53%에서 98.27%로 총 2.74% 상승하였다. 데이터 교정 후에도 유사/불일치 판정을 받은 24권은 개정판, 양장본 등 별도의 ISBN을 부여받고 출판된 다른 판본의 자료로 확인되었다. 이를 통해 목록데이터 교정 작업을 통해 중복검증률의 개선이 가능함을 확인하였으며, 공공도서관의 중복된 아이템 레코드들을 구현형 레코드로 전환하기 위한 도구로서 KERIS 중복검증 알고리즘의 활용 가능성을 확인하였다.

• 천문학회보
• /
• 제37권2호
• /
• pp.185.2-185.2
• /
• 2012

저궤도 위성 비행모델 기능시험은 위성체 내부 전장품들 간의 접속 확인과 조립 및 연결상태를 확인하는 시험을 우선적으로 수행한다. 위성체의 전원선 확인 시험은 전기 전자적 조립 시험에서 가장 처음으로 수행하는 시험이다. 전력조절분배장치로부터 전장품 각각의 하드웨어로 공급되는 50볼트 주전원 또는 28볼트 부전원이 정상적으로 공급하게 되는지를 검증한다. 위성체 하니스가 설치된 후, 각각의 하드웨어에 공급되는 전원의 극성 및 연속성 시험을 수행한다. 전력조절분배장치는 태양전지판으로부터 얻어진 전력이 레귤레이터에 의해 정류된 전압을 받아 릴레이나 FET를 통하여 모든 전장품에 전원을 공급하는 주요 장비이다. 전력조절분배장치 내부나 외부 하니스 오류로부터 생길 수 있는 잘못 리드된 전원으로부터 전장품을 보호하기 위하여 하니스를 하드웨어에 연결하기 전에 우선적으로 전원선 확인 시험을 수행한다. 위성체 전원선 확인 시험은 위성체와 기능시험장비를 연결하여 시리얼 명령어를 통해 전력조절분배장치 내부의 FET 동작을 조절하며, FET 동작 상태 및 전장품에 접속되는 입력 단에서의 전압 및 전원 특성 등을 점검한다. 위성체의 주전원 50볼트 라인의 연결도 확인과 부전원 28볼트 라인의 연결도 확인 및 전력제어 유닛 내부 FET의 기능 확인을 수행하며 또한, 전력제어부 외부에 공급하는 28볼트 펄스와 15볼트 펄스를 측정 검증하는 시험을 수행한다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2008년도 하계종합학술대회
• /
• pp.427-428
• /
• 2008

본 논문에서는 IEEE 802.11 MAC Layer의 Reception, Transmission 검증을 위해 PLI (Programing Language Interface)를 이용한 방법을 제안한다. PLI를 이용한 검증은 시스템 Level의 검증으로써 설계단계에서 문제점을 확인하고 수정할 수 있다. 그러므로 불필요한 개발비의 낭비를 줄일 수 있고 개발 기간 단축의 효과를 거둘 수 있다. 검증을 위해 Mentor Graphics 사의 HDL (Hardware Description Language) 시뮬레이터인 Modelsim 6.1g Version을 사용하고 PLI를 이용하여 검증 환경을 구축한다.

• ETRI Journal
• /
• 제10권2호
• /
• pp.52-62
• /
• 1988

소프트웨어 검증과 확인은 소프트웨어 시스팀의 높은 신뢰도를 보증하기 위한 활동이다. 즉, 더 신뢰성 있는 소프트웨어 제품 생성, 더 낮은 가격의 생명 순기(life-cycle), 요구사항과 일치하지 않는 사항들과 설계 에러들을 초기에 발견하여 개발 가격을 줄이는데 큰 의의를 갖는다. 본고에서는 대형 소프트웨어 개발에서 필요한 검증에 관하여 그 정의와 이제까지 검증 활동을 통하여 제시된 여러 사항들 및 일반적인 자동화된 검증시스팀에 대하여 살펴보고, 특히 General Research Corporation(Santa Barbara, California)에서 개발하고 Huges 항공사에서 프로젝트에 적용을 시켜 성공을 거둔 상용화된 검증시스팀에 대해 고찰하였다.