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

환경 센서는 센서의 특징과 같은 변수에 따라 센서에서 발생하는 데이터가 일정하기 못하고, 광범위에서 실시간으로 발생하기 때문에 환경 센서 데이터 수집에 사용하는 데이터베이스 선정에 어려움이 있다. 본 논문에서는 각 데이터베이스의 특징을 실시간성과 확장성, 비용으로 비교하였다. ICT기반 환경 센서 데이터 수집에 적합한 데이터베이스는 MongoDB, OpenTSDB, MachBase DBMS이다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권8호
• /
• pp.730-741
• /
• 2005

층위 구조 아키텍처는 프로그램을 일반성에 따라 분할하는 모듈 구성의 방법이다. 본 논문은 객체지향 프로그램으로부터 층위 구조 아키텍처를 복구하고 아키텍처 문서와의 일치성을 검사하는 방법을 제시한다. 객체지향 프로그램에서의 층위구조 스타일 규칙을 기술하기 위해, 모듈 간 사용 관계에 기반한 모듈들의 부분 순서 집합을 구성하며, 재정의 관계를 통해 모듈 간 층위 관계를 정의한다. 또한, 층위 관계의 의미를 설계 패턴에서의 예를 통해 설명한다. 프로그램으로부터 층위 구조 아키텍처를 복구하기 위한 절차를 기술하며, 복구를 위한 메타 모델을 제시한다. 이를 기반으로 공개 소스 프로젝트를 통해 개발된 소프트웨어의 소스코드들로부터 층위 구조 아키텍처를 복구하고, 복구된 아키텍처로부터 발견된 층위 관계의 의미와 아키텍처 문서와의 불일치 부분들에 대해 논의한다. 검사를 통해 아키텍처 문서와 일치하지 않는 부분들이 발견하였고, 이를 조사한 결과 이들이 층위 구조 아키텍처에서 허용 가능한 예외로 여겨지지만 아키텍트가 이들 부분에 대한 변경을 주의 깊게 관리할 필요가 있다는 것을 지적하였다.

• 한국통신학회논문지
• /
• 제41권7호
• /
• pp.823-832
• /
• 2016

본 논문에서는 UHD(Ultra High Definition) 방송 표준 수신기 검증을 위한 시험 스트림 제작 방법을 제안한다. 제안하는 시험 스트림은 비디오/오디오 시험 스트림, 시스템/자막 시험 스트림으로 구성된다. 비디오/오디오 시험 스트림은 HEVC (High Efficiency Video Coding) 비디오 표준 및 Dolby AC(Audio Coding)-3와 DTS(Digital Theater System)-HD(High Definition) 오디오 표준 시험에 사용 가능하며, 시스템/자막 시험 스트림은 PSIP(Program and System Information Protocol)과 자막 (Closed caption) 표준 수신기 검증 및 시험에 사용 가능하다. 개발된 HEVC 비디오 표준 시험 스트림은 신택스를 검증하기 위한 표준적합 시험 스트림과 에러 동작 검증을 위한 에러 시험 스트림으로 구분하여 제작하였다.

• 융합정보논문지
• /
• 제8권5호
• /
• pp.85-93
• /
• 2018

본 연구는 우리나라에서 운영되고 있는 본인확인수단의 다양성을 확보하기 위해 비대면 본인인증수단 중에서 블록 체인과 FIDO를 선택하여 본인확인수단으로서의 적합성 정도를 검토하였다. 이를 위해 7가지 적합성 기준(보편성, 지속성, 유일성, 편의성, 보안성, 적용성, 경제성)을 선정하여 분석하였는데, 모두 적합한 수준을 갖추고 있음을 검증하였다. 이에 따라 블록체인과 FIDO를 본인확인수단으로 적용하기 위해서는 관련 규정 및 고시의 개정으로 본인확인절차를 개선하여야 한다. 더욱이, 기존의 본인확인수단뿐만 아니라 다양한 본인인증수단을 적용할 수 있도록 서비스분야별로 차별화된 인증기준이 마련되어야 하고, 지속적으로 인증수단을 개발하여 서비스와 연계하여야 한다. 앞으로 본인확인수단은 사물인터넷시대에서 정보유통환경의 안전성을 가져올 것이므로, 본인확인수단의 적용 확대 및 자율적 도입을 지원하여 다양한 서비스에서 구현될 수 있어야 한다.

• 전기전자학회논문지
• /
• 제14권3호
• /
• pp.210-218
• /
• 2010

TTCN-3(Testing & Test Control Notation Version 3)은 2001년 ETSI에서 표준화한 국제 표준 테스트 언어이다. TTCN-3은 프로토콜 적합성 시험에 일반적으로 사용하고, 특정 부분의 모듈이나, CORBA 기반의 플랫폼 및 API 시험 등에 적용이 가능하다. 또한 적합성 시험뿐만 아니라 연동 시험, 반복 시험, 플랫폼 시험 등의 다양한 시험에 적용이 가능하다. IEC61850 은 SCADA(Supervisory Control And Data Acquisition) 시스템에서 SAS(Substation Automation System)를 위해 제안된 프로토콜이다. 본 논문에서는 TTCN-3 적합성 시험 언어를 이용하여 IEC 61850 상호 연동성 시험기를 Windows 환경에서 구현하였다. SUT(System Under Test)로는 리눅스 운영체제 기반의 IEC61850 Server Simulator를 사용하였다. 본 논문에서 시험한 적합성 시험 항목은 "IEC61850 - Part10" 문서의 테스트 항목들 중 "Server, Logical device, Logical node, and data model"의 Positive test case_Srv5 항목을 시험하였다.

• 한국정보전자통신기술학회논문지
• /
• 제8권6호
• /
• pp.470-477
• /
• 2015

본 논문은 통신 프로토콜의 적합성 시험시 하위 시험기와 상위 시험기간의 직접적인 상호 작용이 불가능한 분산 시험 환경에서 외부 동기화와 입출력 운용비용을 고려해야 할 경우 적용될 수 있는 최적화된 동기적 시험 항목 생성을 위한 새로운 방법을 제시한다. 이 방법은 세 가지 단계의 절차로 구성되어 있는데, 첫 번째 단계는 시험 구현물의 각 상태로부터 나오는 모든 입출력 짝들의 유일성을 기술하는 상태인식 표를 생성한다. 둘 째 단계에서는 이 상태인식 표로부터 각 상태의 동기화된 상태인식 열을 구성한다. 마지막 단계에서는 시험 구현물의 시험에지들과 각 상태의 동기화된 상태인식 열들을 이용하여 최적화된 동기적 시험열들을 생성한다. 본 논문의 방법은 원거리 시험기들을 사용하는 프로토콜 시험 구조에서 기 결정된 시험 항목을 적용할 때 시험 대상과 이들 시험기들간에 발생할 수 있는 동기화의 유용한 해결 기법으로 사용될 수 있다.

• 대한디지털의료영상학회논문지
• /
• 제10권1호
• /
• pp.29-34
• /
• 2008

Purpose To analyze the input and output error of data CD which records the image information and the problems of the server of the compatibility. And to report a compatibility assessment and verification of suitable to DICOM of PACS data CD with investigation of current situation of Korea METHOD AND MATERIALS Date CD of each 8 vendors in 30 hospitals was analyzed. We grasped a main verification element existence of a generation compatibility of data CD. The items of element are media identification, DICOM compression, DICOM viewer send, specified object information modify, auto-run, DICOM content type, etc, and give 1 point for each item. We divided the assessment about an each item into 5 levels. Verification about. DICOM conformance by using DICOM validation tool kit is shown to be classified pass or fail according to error occurrence of tag valus. Classify the prequency of tag occurrence as the item. RESULTS The average point of date CD compatibility is 8 point (very good), lowest is 5 point (6.6%), and highest is 10 point (23%_. Most high occurrence frequency's distribution is 7 point (36.6%). As a result of verification about DICOM conformance, PASS in 8 occurrence frequency's distribution is 7 point (36.6%). As a result of verification about DICOM maximum length numbers (14 items), DICOM error of modality (10 items), discord of pixel data length (6 items). etc.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제3권4호
• /
• pp.125-128
• /
• 2014

OpenGL ES(OpenGL for Embedded System) 2.0은 현재 스마트 폰과 태블릿 PC에서 가장 널리 사용되고 있는 3차원 그래픽스 API표준이다. 이를 이용하는 개발과정에서는 상대적으로 성능이 떨어지는 모바일 환경보다는 데스크 탑 환경이 선호된다. 따라서, OpenGL 라이브러리만 제공되는 데스크 탑 환경에서, 모바일 그래픽스 환경에서의 OpenGL ES 2.0 API를 그대로 에뮬레이션 할 필요가 있다. 본 논문은 PC 상에서 OpenGL ES 2.0 을 에뮬레이션하기 위해, 기술적 문제점들을 극복하는 방법들과 이에 따른 구현 결과를 제시한다. 구현된 OpenGL ES 2.0 에뮬레이션 라이브러리는 데스크 탑 PC 상에서 동작하고, 공식적인 검증 테스트(conformance test suite)의 96%이상을 통과하여, 구현의 정확성을 보였다. 또한, 상업적으로 제공되는 벤치마크 프로그램들에 대한 테스트에서 기존의 상업적 구현 사례와 동등한 수행 속도를 보였다.

• 정보보호학회논문지
• /
• 제6권4호
• /
• pp.67-84
• /
• 1996

VDM-SL은 다양한 표준들의 정확한 기술을 위해 제시되고 있는 형식 규격어의 하나로서 특히 보안표준의 기술에 적합한 형식규격어이다. 이러한 VDM-SL을 사용하여 보안표준의 표현 및 실행코드 생성의 정확성과 편리성을 제공하기 위한 다양한 도구들이 개발되고 있으며 이들 중 IFAD VDM-SL Toolbox는 가장 널리 사용되고 있는 도구이다. 본 논문에서는 IFAD VDM-SL Toolbox를 이용해 MD4 Message Digest Algorithm을 VDM-SL로 기술하고, 이에 대한 C++ 코드를 생성하여 보안 알고리즘에 대한 참조구현 코드 생성 기법을 제시하고자 한다. 또한, 이를 안전한 해쉬코드 생성 알고리즘에 대하여 적용한 결과를 검토하여 최근 보안 시험 방법으로 제시되고 있는 Strict Conformance Test 와의 연계성을 제시하고자 한다.

• 정보보호학회논문지
• /
• 제11권2호
• /
• pp.45-58
• /
• 2001

암호기술 검증에 대한 연구는 암호 알고리즘의 안전성 및 신뢰성을 검증하는데 집중되어 있는 경우가 대부분이다. 그러나 정보보호 시스템의 수준 향상과 안전성 신뢰성 확보를 위해서는 암호기술 자체에 대한 검증뿐만 아니라, 암호기술을 구현한 구현물에 대한 검증이 필요하다. 특히, 암호기술에 대해서 국내외적으로 폭 넓은 표준화가 진행되고 있는 가운데, 이들 기술표준을 정화하게 구현하는 것은 정보보호 시스템의 안전성 및 신뢰성 향상을 가져올 뿐만 아니라, 정보보호 시스템 간의 상호연동성 확보 및 사용자 편익 증대라는 면에서도 매우 중요하다. 본 논문에서는 RSA, KCDSA, SHA-1, HAS-160 등 국내 공인인증체계 기술표준으로 적용되고 있는 암호기술의 구현물이 기술표준을 정확하게 준용하여 구현되었는지를 테스트할 수 있는 검증도구를 설계 및 구현하였다. 각각의 암호기술에 내한 검증은 여러 개의 세부항목으로 구성되어 있고, 충분한 테스트 항목을 통해 검증의 정확성을 높였으며, 검증도구와 검증 대상이 원격에 위치한 상태에서 검증을 수행한 수 있도록 하였다. 본 논문에서 설계 및 구현한 검증도구는 RSA, KCDSA, SHA-1, HAS-160 등을 구현한 모든 보안 제품에 적용할 수 있으며, 각종 암호제품의 평가 및 인증에 활용한 수 있을 것으로 기대된다.