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

인공위성 개발과정에서 인공위성 개발을 지원하는 다양한 프로그램 개발이 요구되는데, 이러한 프로그램의 마지막 개발 단계는 프로그램 검증 단계가 된다. 프로그램 검증 단계를 통해 발견된 오류나 미비 사항이 발견되면 이를 보완하는 과정을 거치게 된다. 하지만, 기존의 프로그램 검증 방식은 프로그램 검증자가 문제 상황에 대해 수작업으로 일일이 보고하는 방식을 기반으로 하고 있어 정상적인 프로그램 검증이 실패할 수도 있다. 이러한 단점으로 인해 최악의 경우, 필요 기능 미비 또는 오류에 의한 인공위성 개발 일정의 지연을 가져올 수도 있다. 따라서 본 논문에서는 성공적인 인공위성 개발을 위한 기존의 비효율적인 프로그램 검증 방식을 자동화하는 효율적인 프로그램 검증 시스템을 새롭게 제시한다. 본 논문에서 제시한 효율적인 프로그램 검증 시스템은 프로그램 검증자가 프로그램을 이용하면서 발생하는 메시지를 저장하고 문제상황 발생시에 이를 중앙 서버로 전송하는 방식을 채택하고 있다. 이러한 인공위성 개발을 위한 효율적인 프로그램 검증 시스템은 기존의 비효율적인 보고방식을 자동화함으로 해서 프로그램 검증 시스템의 효율을 극대화하여 성공적인 인공위성 개발을 지원할 것으로 판단된다.

• 융합보안논문지
• /
• 제7권3호
• /
• pp.1-6
• /
• 2007

웹 서비스 제공에 중요한 비중을 차지하는 서버의 성능을 향상시키기 위해서는 현재 서버의 성능 평가 관리가 매우 중요하다. 이는 서버의 자원을 효율적을 활용하고 있는지에 대한 검증을 바탕으로 소프트웨어와 하드웨어적 성능 개선점을 보완하기 위한 방법이라 할 수 있다. 기존의 서버 성능 평가 방법으로는 서버와 클라이언트간 소프트웨어를 설치하여 클라이언트에서 서버로 접근하여 부하를 발생하고 이를 시뮬레이션 하여 패킷량 별로 발생하는 작업부하의 처리 효율을 평가하는 방식을 활용하였다. 이와 같은 방식은 서버 클라이언트가 발생하는 작업을 분석하기 위한 적절한 방법이지만, 단순한 작업 부하 처리 데이터만으로 평가함으로써 서버 성능을 개선하기 위한 명확한 데이터를 제공하지 못하는 한계성이 있다. 따라서 본 논문에서는 웹 서비스의 성격과 사용자 패턴을 구분하여 서버에 가해지는 작업부하 처리 평가를 함에 있어 보다 다양한 기준을 적용하여 측정하기 위한 방법을 제시하고자 한다. 특히, 개인 관련 웹 서비스 환경과 비즈니스 형태의 웹 서비스에서의 평가 방법을 제시한다.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송공학회 2014년도 하계학술대회
• /
• pp.67-70
• /
• 2014

본 논문은 TTA 에서 제정된 "HTML5 기반 스마트 TV 플랫폼" 표준(TTAK.KO-07.0111/R1)에 따라 개발된 스마트 TV 수신기가 표준의 기술 요구사항을 준수하여 적합하게 구현되었는지를 검증하기 위한 표준 적합성 시험환경을 소개한다. 적합성 시험을 위한 시험 기준과 수행절차, 판정 기준 등을 정의하고 있는 "HTML5 기반 스마트 TV 플랫폼 수신기 적합성 시험" 표준(TTAK.KO-07.0119)에 따라 200 여개의 테스트 케이스가 개발되었으며 이들은 스마트 TV 수신기에서 직접 동작하면서 수신기의 기능을 검증하고 결과를 판단하게 된다. 테스트 케이스를 실제 방송환경과 유사한 조건에서 실행하기 위하여 지상파, 케이블, IPTV, 위성 등 다양한 방송 헤드앤드를 활용한 방송 송출 서버를 구현하였으며, 시험에 관련된 정보를 처리하고 실제 시험의 수행 및 그 결과를 관리하는 적합성 시험 관리 시스템을 개발하였다. 그리고 테스트 케이스 앱을 호스팅하는 웹서버, VOD 콘텐츠를 위한 스트리밍 서버 등의 장비를 운용하여 적합성 시험을 위한 전반적인 환경을 구축하였다. 또한 본 논문에서는 구축된 시험 환경에서 표준 기반으로 개발된 참조 수신기를 대상으로 적합성 시험을 수행한 사례를 통해 시험환경의 유효성을 확인하고 향후 적합성 시험환경의 추진 방향을 제시한다.

• 대한전자공학회논문지TC
• /
• 제41권10호
• /
• pp.69-77
• /
• 2004

본 논문에서는 ATM 망에서의 효율적인 트래픽 제어를 위하여 언어적인 규칙과 퍼지 추론부로 구성되는 퍼지 로직에서 퍼지 규칙을 생성하였다. 퍼지 규칙 내부에 포함된 제어 파라메터들은 주어진 성능 함수를 최소화하도록 학습된다. 즉, 전체 트래픽 도착율과 버퍼의 점유율에 따라 퍼지집합 이론을 통하여 추론한 후 그 비퍼지화값으로 접속된 트래픽에 대해 서버에서의 서비스율을 제어하도록 하였다. 또한, 생성된 퍼지 규칙의 타당성을 검증하기 위하여 MATLAB6.5에서와 온라인 빌드업으로 규칙에 대한 실험결과를 보인다. 그 결과, 전체 트래픽 도착율과 버퍼의 점유율에 따라 효율적으로 서버에서의 서비스율이 제어 됨을 확인하였다.

• 정보보호학회논문지
• /
• 제13권6호
• /
• pp.97-106
• /
• 2003

공개키 기반구조에서 중요한 요소는 상대방에 대한 인증이다. 서로 간에 인증을 위해서 각각 인증서를 얻는다. 그리고 인증서 취소 목록을 통해서 인증서의 유효성 유무를 체크하게 된다. 그러나 CRL을 이용하는 것은 오프라인 상태에서 사용하는 방법이다. 따라서 최신의 정보를 참조하는 것은 불가능하고 시간이 지남에 따라서 CRL의 크기가 커지게 되어 다운받은 후에 사용하는 CRL 기법은 여러 가지로 불편하게 된다. 따라서 오프라인에서 사용하는 CRL 보다는 온라인에서 사용되는 OCSP를 선호하게 된다. 이에 본 논문에서는 인증서 저장소와 분산된 OCSP 서버에게 동일한 갱신 정보를 소유하게 해서 인증서 검증 요청이 있을 경우 인근의 OCSP 서버를 이용해서 빠른 검증 결과를 제공하는 기법을 제시하고자 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 춘계학술발표논문집 (하)
• /
• pp.2033-2036
• /
• 2003

002년 기준 우리나라 전체 인구의 약 67%인 3000만명 정도가 인터넷을 사용하고 있으며, 인터넷 사용량 증가 속도 또한 매년 기하급수적으로 늘어나고 있다. 하지만 개방형 네트워크인 인터넷은 개인정보누출, 개인정보 위변조 등과 같은 문제를 내포하고 있으며 이러한 개인 신상정보와 관련한 문제를 해결하기 위하여 PKI기반의 인증서 검증 시스템 즉 공개키 기반의 인증서 검증 시스템이 제안되었다. 본 논문에서는 PKI 기반의 인증서 검증 시스템에서의 인증서 상태 검증 방식 기법인 CRL기반의 인증서 상태 검증 방식과, Delta-CRL 기반의 인증서 상태 검증 방식 OCSP 기반의 인증서 상태 검증 방식에 대해 기술하고 현재 사용되고 있는 인증서 상태 검증 방식의 문제점인 실시간 처리와 네트워크 과부하 문제를 해결하기 위한 방안으로 내부 프로시저와 데이터베이스를 이용한 클라이언트-서버 기반의 인중서 상태 검증 시스템을 제안하고자 한다.

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

인증서기반의 인터넷뱅킹과 온라인증권거래에서, 금융거래 서비스 제공자는 많은 사용자의 인증서상태 검증이 요구된다. 금융거래 서비스는 사용자 인증서상태를 실시간의 검증이 보장되어야 한다. 인증서 상태 검증을 위해 기존의 CRL(Certificate Revocation List), Delta CRL, Freshest CRL과 실시간 인증서상태 검증을 위하여 OCSP(Online Certificate Status Protocol)의 표준이 제안된 바 있다. 실시간성과 검증속도는 상호 대비되기 때문에 응용프로그램의 특성을 고려하여 인증서상태 검증방법을 채택한다. 본 논문에서는 CRL의 갱신되기 이전의 폐지에 대하여 실시간으로 전송하는 시스템을 설계한다. 제안하는 인증서폐지 전송서버는 서명자의 검증자 리스트를 관리하여 금융거래 사용자가 CA에 폐지를 요청하면 사용자가 이용하는 금융거래 서비스 제공자들에게 실시간으로 폐지를 고지한다. 본 논문은 CRL 생성이후 갱신까지의 인증서 폐지정보를 검증자에게 전송하여 인증서의 실시간 상태정보를 유지하면서 OCSP보다는 검증속도를 향상시켜 금융거래 환경에서 향상된 효율성을 제공한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.538-540
• /
• 2001

클러스터 시스템의 각 노드에 존재하는 메모리들을 효율적으로 관리하기 위하여 네트워크 메모리의 개념이 등장하였으며 빈번하게 디스크를 접근하는 응용분야에서 속도 향상을 위해 사용될 수 있다. 이는 전통적인 메모리 계층(hierarchy) 구조인 메모리와 디스크 사이에 네트워크 메모리를 추가함으로써 얻어진다. 본 논문에서는 웹 서버 클러스터를 대상으로 문서의 접근 유형에 대한 사전의 정보를 요구하지 않고 실제적으로 구현 가능하며 다양한 웹 문서 접근 확률 분포 값에 대하여 항상 우수한 사용자 응답시간을 가지는 메모리 관리 기법을 제안하고 시뮬레이션을 통해 제안된 방식의 우수성을 검증하였다.

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

공개키기반구조(Public Key Infrastructure, PKI)는 인터넷상에서의 안전한 전자거래를 위한 보안기술의 핵심적인 요소이며, OCSP(Online Certificate Status Protocol)는 PKI에서 공개키 인증서의 상태를 검증하기 위한 프로토콜이다. 최근 단일 OCSP 서버의 업무 부담을 줄이고 OCSP 서버의 개인키 노출에 대한 영향을 최소화시킬 수 있는D-OCSP(Distributed OCSP) 시스템이 제안 되었다. 본 논문에서는 신원기반의 암호기법을 이용하여 효율적인 D-OCSP 시스템을 설계하기 위한 방안을 제안한다.

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

단일 가상화 서비스 플랫폼은 메모리 및 컴퓨팅 집약적 워크로드를 수행하기 위한 고성능 시스템 환경의 신속한 구축을 지원하는 클라우드 기반의 소프트웨어 정의 서버를 위한 핵심 기술이다. 본 연구는 다수의 물리 노드를 통합하여 하나의 고성능 단일가상서버로 구성하기 위해 개발된 HCC 단일 가상화 서비스 플랫폼에서 대용량 데이터 처리 및 대규모 연산이 필요한 NGS 기반 농생명유전체 조립 프로그램과 이상 기상의 탐지 분석을 위한 GOES 위성자료 전처리 프로그램을 시험하여 활용 적합성을 검증하였다.