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

본 논문에서는 탑재체전송자료 검증을 위한 소프트웨어 개발에 관하여 소개하고자 한다. 원격탐사위성에 탑재되는 고성능원격측정센서는 대용량 데이터를 생성하며 탑재체자료전송장치를 통하여 고주파통신에 의해 지상으로 전송된다. 지상으로 전송되는 대용량 데이터는 다양한 통신경로의 외란으로부터 보호 등을 위하여 채널코딩을 수행된다. 또한 대용량 데이터의 실시간 전송을 위하여 압축이 수행되며 보안을 위한 암호화 역시 수행 된다. 본 논문에서는 이러한 탑재체자료를 검증하기 위한 소프트웨어들과 이러한 소프트웨어의 구성 체계등에 관하여 기술하고 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.457-459
• /
• 2001

정보검색시스템은 지역적으로 분산된 이기종의 컴퓨터들 간의 데이터 교환과 다양한 종류의 DB에 대한접근을 가능하게 함으로써, 기업에게 공급망 관리에 대한 통합된 정보를 제공한다. 정보검색시스템은 X3.285에 기반한 데이터 레지스트리 모델을 이용하여 모델링되었고, 모델링이 주어진 가정 하에서 요구사항을 만족하는지를 검증하기 위해 핵심 부분인 메타데이터 레지스트리 관리기(MDR Manager) 부분 만을 SMV를 이용하여 검증하였다.

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

사용자 행위 기반 인증 기술은 다른 인증 기술들에 비해서 인증의 인식률을 높이는데 많은 데이터의 장기간 추출이 필요하다. 본 논문은 터치 센서와 자이로스코프를 이용하여 그동안의 행위 기반 인증 연구에서 사용 되었던 행위 특정 데이터들 중에서 핵심적인 최소한의 데이터들만을 사용하였다. 측정한 데이터들의 검증에는 그간 사용자 행위 기반 인증 연구에서 이용되지 않고 문서 검색의 유사도 측정에 사용되었던 코사인 유사도를 사용하였다. 이를 통해 최소한의 특정 데이터와 기준이 되는 데이터의 코사인 유사도 비교 검증만을 통해서도 인증 범위에 적용되는 임계값을 조절하는 방식을 동해서 최초 EER 37.637%에서 최종 EER 1.897%의 높은 검증 성능을 증명하는데 성공하였다.

• 한국멀티미디어학회논문지
• /
• 제14권10호
• /
• pp.1303-1310
• /
• 2011

본 논문은 인프라 클라우딩 환경에서 데이터를 소유한 소유자 노드와 데이터를 보관하는 보관 노드 그리고 데이터를 검증하는 검증 노드로 구성된 자가 조직 저장 매체 보안을 위한 3자간 협상 프로토콜을 설계를 제안한다. 제안한 자가 조직 저장 매체의 보안기법은 보관 노드의 데이터 검증을 검증 노드에게 위임함으로써 데이터 검증의 효율성을 증가시키고, EC-DH 알고리즘을 이용하여 생성된 암호키와 저장 매체 내의 인증서로 보안을 강화시켰다. 또한, 자가 조직 저장 매체를 구성할 때, 3자간 인증키를 설정하여 외부적인 플러딩 공격 방지하고, 검증노드의 개수를 제한함으로써 내부적인 플러딩 공격을 방지하였다. 그리고 검증단계에서 발생할 수 있는 재전송 공격은 검증을 요청할 때마다 새롭게 생성된 Seed 값을 이용하여 자동적으로 재전송 공격을 탐지하도록 하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (B)
• /
• pp.94-96
• /
• 2005

XML 문서를 저장할 때 XML 데이터의 구조적인 검증을 위해서 DTD나 XML Schema를 같이 저장하는 방식이 사용된다. 그러나 스키마의 갱신이 발생할 경우는 기존 저장방식에서는 그 자체에 유효성을 검증하기 위한 메커니즘을 가지고 있지 않기에 파일로 추출하여 수정 후 XML Parser로 검증하고 다시 저장하는 비효율적인 과정을 거쳐야 하였다. 또한 스키마의 변경에 따라 이와 연계된 XML 데이터도 유효성을 보장할 수 없는 문제점이 발생하였다. 본 논문에서는 DBMS에 저장되어 있는 XML Schema를 갱신 할때 파일로 추출할 필요없이 SQL문에 의해 갱신이 되는 그 자체로 유효성을 보장할 수 있고, 이와 연결된 XML 데이터의 유효성 검증이 같이 이루어질 수 있는 효율적인 갱신기법을 설계한다. XML Schema 검증은 관계형 데이터베이스의 여러 제약 조건들에 의해서 이루어지고, XML 데이터는 스키마 갱신 내용에 따라 검증작업 필요성을 먼저 확인 후에 각 스키마 타입에 따라 유효성을 확인하는 갱신이 이루어지도록 설계되어 불필요한 작업에 의한 오버헤드를 사전에 방지하였다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2002년도 추계학술발표논문집
• /
• pp.198-202
• /
• 2002

이동 네트워크 기술의 발달과 이의 활용도가 증가함에 따라 무선 보안 시스템에 대한 연구 및 솔루션 개발이 활발히 진행중이다. 그러나 개발된 제품들의 신뢰성과 안정성을 검증할 만한 평가도구 및 연구가 매우 미비하다. 따라서 본 논문에서는 이동 네트워크 보안 장비들의 안전성을 검증할 수 있는 응용계층 전송 데이터 무결성 평가 도구를 설계 및 구현하였다. 설계된 무결성 평가 도구는 Web서버와 이동 단말간에 전송되는 패킷의 데이터 변조 기능을 수행하는 변조서버 시스템과 무선 보안 시스템의 무결성 모듈이 변조된 데이터의 무결성 위반을 탐지하는지를 검증하는 무결성 검증 시스템으로 구성된다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2013년도 추계학술발표대회
• /
• pp.882-885
• /
• 2013

외부 스토리지 무결성 검증 기법이란, 외부에 저장된 사용자의 데이터가 손상되었는지 확인하는 기법으로써 2004년 Deswarte 등이 제안한 이래 꾸준히 연구되어왔다. 하지만, 대부분의 기법들이 준동형 해쉬를 이용한 기법으로서 데이터를 지수에 두고 연산을 하고 있다. 따라서 데이터의 크기가 커질수록 검증에 필요한 연산량이 늘게 된다. 이를 줄이기 위한 기법으로서 데이터를 블록단위로, 블록을 조각 단위로 나누어 연산 후, 결합하여 최종 증거를 생성하는 기법들이 제안되고 있다. 본 논문은 이들 기법을 일반화하고 정리해봄으로써 향후 외부 스토리지 검증기법의 연구 방향을 제시하는 것을 목표로 하고 있다. 이를 위해 본 논문에서는 외부 스토리지 무결성 기법의 일반화 모델을 세우고, 이를 이용해 최근에 제안된 Wang 등의 기법을 일반화하였다. 일반화된 Wang 등의 기법을 토대로 개선되어야 할 점을 분석하고, 향후 연구의 방향을 정리해본다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2022년도 춘계학술대회
• /
• pp.350-352
• /
• 2022

자율운항선박을 IMO 자율화등급 3단계 이상으로 운용하기 위해서는 내·외부 통신시스템의 사이버보안뿐만 아니라 실시간으로 데이터를 교환하는 데이터 및 시스템 사이버안전에 대한 고려가 필수적으로 요구된다. 본 연구에서는 자율운항선박 사이버안전체계 구축방안에 대해서 살펴본다. 자율운항선박 사이버안전체계 구축을 위해서는 선박 내 사이버위협을 실시간으로 탐지하고 영향을 모니터링하는 통합 보안 시스템 구축이 필요하며, 선박 사이버안전 설계 타당성을 검증하는 사이버리스크평가 기술, 사이버안전체계를 검증하기 위한 CVE(Common Vulnerabilities Enumeration)기반 취약성 진단 및 침투테스트 기술, V-Model을 활용한 통합 소프트웨어 품질인증 기술, ISO 25024 기반 데이터 무결성 검증 기술 적용이 필요하다.

• Nuclear Engineering and Technology
• /
• 제27권1호
• /
• pp.112-120
• /
• 1995

최적 열수력 안전해석 계산코드의 검증에 이용될 수 있는 열수력 실험데이터, 실험데이터 관련 설명자료, 데이터베이스 운영체계 및 인터페이스 등으로 구성되는 단순화된 열수력 실험 데이터 뱅크 (Simplified Organization of Thermalhydraulic Experiment Databank, SORTED)를 개발하였다. 이를 위하여 USNRC와의 국제 연구 협력을 통해 ENCOUNTER실험데이터를 도입하였고, 이를 기본으로 코드 평가 목적에 적합하도록 단순화된 데이터베이스 운영관리 체제 및 사용자 편이성을 강조하는 인터페이스 등을 개발하였다. 개발된 SORTED의 이용성, 사용자 편이성 등이 검증되었으며, 코드 평가에 적절히 이용될 수 있음을 알 수 있었다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2022년도 춘계학술대회
• /
• pp.103-105
• /
• 2022

인공지능을 기반으로 한 안개를 제거하는 기술은 많은 연구가 있다. 하지만 대부분의 연구가 육상을 타겟으로 하고 있기 때문에 해상에 발생하는 해무를 제거하기 위한 데이터 셋은 현저히 부족하다. 이를 해결하기 위해 가상의 해무를 생성하여 데이터 셋을 생성하고 유효성 검증을 하는 방법에 대하여 연구하였다.