• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2003년도 춘계학술발표대회논문집
• /
• pp.310-313
• /
• 2003

PDA를 이용한 무선 네트워크에 대한 활용도가 높아짐에 따라, PDA상에서 이루어지는 무선 네트워크 보안에 대한 관심이 증가하고 있다. PDA 무선 네트워크 보안 문제를 해결하기 위해 많은 연구 및 솔루션 개발이 진행되고 있으나, 이들의 신뢰성을 검증할 만한 시스템 및 연구는 제대로 이루어지지 않고 있다. 본 논문에서는 PDA환경의 무선 네트워크 응용계층 보안모듈들이 무결성 기능을 제대로 제공하는지를 검증 및 관리할 수 있는 시스템을 설계 및 구현하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (1)
• /
• pp.472-474
• /
• 2002

공개키 기반 구조에서 가장 비용이 많이 드는 부분이 인증서가 유효한지 여부를 검증하는 것이다. 특히 고액의 주식 거래나 전자상거래에서 실시간 인증서 상태 검증은 반드시 필요하다. 그동안 연구되어 왔던 인증서 폐지 여부를 확인하는 방법으로 CRL, delta-CRL, OCSP, CRTs, CRSL 등의 방법들이 제안되었다. 하지만, 이들 방법들은 즉시성과 네트워크 비용간의 trade-off가 발생하는 문제점이 있다. 본 논문에서는 Simple skip lists를 사용하여 인증서 사용 용도에 따라 알맞게 서비스를 제공하는 방안인 OCRS를 제안한다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2003년도 춘계학술발표대회논문집
• /
• pp.267-270
• /
• 2003

암호 시스템들은 복잡한 연산과정을 수행하므로 소프트웨어적으로 구현할 경우 수행속도가 저하되는 단점이 있다. 이를 고속으로 수행하기 위하여 암호 시스템을 하드웨어적으로 구현하는 연구가 활발히 수행되고 있는 것이 현재의 추세이다. 암호 시스템의 하드웨어 모듈을 개발하는 과정 중에는 설계한 모듈이 올바르게 동작하는 지의 여부를 검증하는 과정이 필수적으로 포함된다. 이를 위하여 시뮬레이션을 이용한 방법, 테스트 보드를 직접 구현하는 방법 등과 같은 검증 방법들이 주로 사용되고 있다. 암호 하드웨어 모듈은 기존의 방법만을 최대 1024, 2048 비트 정도의 많은 비트를 동시에 검증을 수행하므로 시각적으로 판별하기 곤란한 문제가 발생한다. 본 논문에서는 기존의 검증 방법을 보완하는 방법으로 PC 기반의 소프트웨어 통제하에서 암호 하드웨어 모듈을 효과적으로 검증할 수 있는 검증 방법을 제시하고자 한다.

• 정보보호학회논문지
• /
• 제8권4호
• /
• pp.127-138
• /
• 1998

최근의 공정한 정보 교환 프로토콜 연구에서는 중재자를 이용하지만 통신 쌍방 사이에 분쟁이 발생하는 경우에만 중재자가 개입하는 방법으로 중재자의 역할을 최소화시키고 있다. Mao는 공정한 정보 교환 프로토콜에 응용 가능한 검증가능 위탁 서명이라는 새로운 서명 개념을 제안하였다. 그러나, Mor 의 방식은 Staeler의 이산로그에 대한 검증가능 암호 기법을 이용하기 때문에 통신량과 계산복잡도가 매우 높다. 본 논문에서는 제곱근에 대한 검증가능 암호 기법을 이용한 검증가능 위탁 서명 방식을 제안하였다. 제안된 검증가능 위탁 서명 방식은 통신량이 적고 계산 효율성이 높은 장점이 있으나 위탁 기관을 단 하나밖에 허락하지 않는 단점이 있다. 또한, 본 논문에서는 제안된 검증가능 위탁 서명 방식의 응용으로 공정한 전자 계약프로토콜과 공정한 전자 등기 우편 프로토콜을 함께제안하였다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2021년도 제33회 한글 및 한국어 정보처리 학술대회
• /
• pp.118-123
• /
• 2021

현대 사회에서 소셜 네트워킹 서비스의 증가와 확산은 많은 정보를 쉽고 빠르게 얻을 수 있도록 하였지만 허위·과장 정보의 확산이 큰 문제로 자리잡고 있다. 최근 해외에서는 이들을 자동으로 분류 및 판별하고자하는 Fact 검증 모델에 관한 연구 및 모델 학습을 위한 데이터의 제작 및 배포가 활발히 이루어지고 있다. 그러나 아직 국내에서는 한국어 Fact 검증을 위한 데이터가 많이 부족한 상황이기 때문에 본 논문에서는 최근 좋은 성능을 보이는 openai 의 GPT-3를 한국어 태스크에 적용시킨 HyperCLOVA 를 이용하여 한국어 Fact 검증 데이터 셋을 자동으로 구축하고 이를 최신 Fact 검증 모델들에 적용하였을 때의 성능을 측정 및 분석 하고자 하였다.

• 원자력산업
• /
• 제37권1호
• /
• pp.7-14
• /
• 2017

작년 경주 지진으로 원자력 안전에 대한 시민들의 촉각이 예민해져 있는 가운데 최근 대전 지역에서 원자력연구원의 하나로 원자로 건물 외벽 내진 보강 공사 방식에 대한 검증을 요구하는 여론이 일고 있다. 그 동안 원자력연구원에서 진행한 하나로 건물 내진 보강 공사 배경과 주요 일정, 설계 개념, 구조 성능 검증 실험, 공사 현황, 건물 성능 점검, 안전 관리, 정보 공개 및 검증, 향후 계획 등을 정리하여 종합했다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2023년도 추계학술대회
• /
• pp.145-148
• /
• 2023

초고속해상무선통신망의 다양한 수요처에 대응 가능한 무선설비 활용성 극대화를 위한 무선설비 시제품 개발과 관련하여 사용자의 요구사항 분석 및 e-Navi 표시장치 연계·검증 방안을 연구하였다.

• 대한종양간호학회:학술대회논문집
• /
• 대한종양간호학회 2001년도 제2회 추계학술대회
• /
• pp.129-129
• /
• 2001

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

목포해양대학교와 삼성중공업은 2021년 공동 연구를 통하여 '실습선 기반 원격/자율 운항 선박 시스템 개발 및 검증'을 수행하였고 이를 통하여 목포해양대학교 실습선인 세계로호를 활용하여 삼성중공업의 자율운항 선박 시스템(Autonomous Navigation System)인 SAS의 Test Bed 시연 실험 시스템을 구축하여 2022년 자율운항 선박(MASS) 기술 요소에 대한 시뮬레이션 기반 SAS(Samsung Autonomous Ship) System 검증 및 '운항 노선에 대한 설정을 통한 선박 자율운항 검증'을 위한 실선·실해역 실험을 통해 이를 시연 및 검증을 시행하였다. 특히 의미 있는 것은 자율운항선박 실선 테스트 과정 중 발생할 수 있는 모든 위험요소 분석을 위해 한국선급과 HAZID Workship을 실시하였고, 이를 통해 국내최초 자율운항실험용 기국 승인 및 선급임시검사 완료 후 실험이 진행되었다는 것이다. 이 연구에서는 실습선 기반 자율운항 선박 실해역 실험 연구를 소개하고 그 결과를 운항자 입장에서 분석하여 향후 보완하여야 할 사항을 제시하였다.

• 해양환경안전학회지
• /
• 제26권6호
• /
• pp.715-722
• /
• 2020

본 연구는 시스템 다이내믹스를 기반으로 해양구조물 분리시스템(Separation system)의 설계검증 방법을 제안하였다. 해양구조물 분리시스템은 부가가치 측면에서 EPC 프로젝트의 성공 여부를 결정할 수 있는 상부구조(Topsides)의 가장 중요한 시스템 중 하나이다. 그럼에도 불구하고, 설계검증에 대한 지금까지의 실태는 설계 작업의 프로세스 진행이나 도면작성 및 제공에 국한되어 있어 기본설계 단계에서 설계검증의 미흡으로 인하여 계약 후 잦은 설계변경에 의한 기업손실이 발생되어 왔다. 이러한 맥락에서 본 연구의 목적은 해양구조물의 전체 프로젝트 수행 기간에 성공적인 사업수행을 도모하고자 설계검증 모델을 구축하여 적용하도록 하였다. 제안된 설계검증 방법은 상세 설계의 효과적인 실행뿐만 아니라 초기설계 단계에서 기술적 오류나 불일치 사항을 미리 찾아냄으로써 해양구조물의 엔지니어링, 조달 및 건조에 대한 경쟁력을 향상시키는데 기여 할 것으로 예상한다. 본 연구에서는 먼저 건조한 실적선 자료를 바탕으로 설계검증을 수행하여 FPSO 분리시스템에 적용하고 ISO 15288 국제 표준을 준수하였다. 결과적으로, 제안된 설계검증 방법이 해양구조물의 FEED 검증 프로세스에 적용될 수 있으며, 향후 해양 프로젝트의 성공적인 수행에 의한 이익창출을 도모할 수 있을 것이다. 또한, 해양구조물 건조 시 설계변경에 의한 막대한 손실을 최소화 할 수 있을 것으로 기대한다.