• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (A)
• /
• pp.916-918
• /
• 2002

본 연구에서는 권장 검증 경로와 검증된 공개키 인중서 포리스트를 이용하여 PMI용 인증서 검증 시간과 노력을 줄일 수 있는 방법을 제시한다. 권장 검증 경로는 상위 권한 인증 기관에서 사전에 구성하는검증 경로 정보로서 PMI용 인증서의 화장영역을 통해 전달된다. 권한 검증자는 이를 이용하여 인증서의검색/획득 과정과 검증의 일부분을 병렬적으로 처리하며 더 빠른 시간 내에 검증을 완료할 수 있다. 또, PMI용 인증서 검증 시에는 여러 개체의 신원 인증 과정이 필수적인데, 이러한 신원인증과정에서 검증된공개키 포리스트를 이용하여 기존의 검증 정보를 재사용 할 수 있도록 하였다

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (A)
• /
• pp.535-537
• /
• 2002

인터넷의 확산과 네트워크 기술의 발전에 따라 네트워크 메커니즘은 그 설계 및 이해가 더욱 복잡해져 가고 있고, 분산 시스템 환경에서의 역할과 중요성도 날로 더해져 가고 있다. 본 논문에서는 네트워크 메커니즘의 정확성 검증을 위한 정형검증 연구의 일환으로, Reactive system의 모델링 및 검증을 위해 개발된 정형검증 언어인 Esterel을 이용한 Abracadabra 프로토콜의 정형 검증을 통해, 통신 프로토콜에 대한 Esterel의 정형검증 능력을 분석하고 좀더 복잡한 통신 프로토콜에 대한 정형 검증의 적용 가능성을 타진하고자 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
• /
• pp.506-508
• /
• 2003

개방형 네트워크인 인터넷에 급속한 발달로 인하여 Offline상에서 처리되던 기존의 업무들이 Online상의 업무로 빠르게 전환되어 가고 있다. 하지만 Online상에서의 업무처리는 항상 개인 정보누출, 개인정보의 위조 및 변조의 문제를 내포하고 있으며, 위와 같은 문제를 해결하기 위한 대안으로 PKI 기반의 인증서 검증 시스템이 제안 되었고 현재도 연구가 계속 되어지고 있다. 본 논문에서는 PKI 기반의 인증서 상태검증 방식 중의 하나인 CRL기반의 인증서 상태검증 방식과 OCSP기반의 인증서 상태 검증 방식의 대하여 기술하고, 실시간으로 인증서 상태를 검증 할 수 없는 CRL 기반의 인증서 상태검증 방식의 단점과 네트워크 상태의 따라 인증서 검증 속도가 달라지는 OCSP기반의 인증서 상태 검증 시스템의 단점을 해결하기 위한 데이터베이스를 이용한 클라이언트-서버 기반의 인증서 상태 검증 시스템을 제안하고, 실제 실험을 통해서 CRL기반의 인증서 검증 시스템과 OCSP기반의 인증서 검증 시스템 그리고 제안하는 데이터베이스를 이용한 클라이언트-서버 인증서 검증 시스템의 검증속도를 비교해 보고자 한다.

• 재무관리연구
• /
• 제12권2호
• /
• pp.43-71
• /
• 1995

본(本) 연구(硏究)는 한국증권시장(韓國證券市場)에서 무위험자산이 존재하지 않을 경우에 대용시장(代用市場)포트폴리오의 효율성(效率性) 검증(檢證)을 다변량(多變量)의 검증방법(檢證方法)에 의해 실시하고자 하였다. 검증을 위하여는 첫째로 제로베타수익률을 구하고자 하였으며 이는 Kandel(1984)과 Shanken(1985)의 연구에 기초하여 추정하는 방법을 제시하였다. 둘째로 Jobson-Korkie(1982,1989), Handel(1984,1986)과 Shanken(1985,1986)의 논문(論文)에 의거 대용시장포트폴리오의 효율성을 검증하는 과정을 유도하고 이의 검증(檢證) 통계량(統計量)을 유도하였다. 효율성 검증에 사용된 대용시장포트폴리오들은 한국종합주가지수(韓國綜合株價指數), 한경(韓經)다우지수(指數)와 2개의 동일가중지수(同一加重指數)이었다. 실증적 연구결과, 전기간(全期間)의 경우에 한국종합주가지수(韓國綜合株價指數)와 한경(韓經)다우지수(指數)의 평균수익률은 GMVP의 수익률보다 낮을 뿐만아니라 평균-분산(平均-分散)프론티어의 외부(外部)에 위치하여 이 대용시장지수(代用市場指數)들이 효율적(效率的)프론터어상에 있는가에 대한 검증(檢證)은 불가능하였다. 그리고 하위기간별분석(下位期間別分析)에서도 이 대용시장지수(代用市場指數)(후반기(後半期)의 한경(韓經)다우지수(指數) 제외)들은 평균-분산프론티어의 내부(內部)에 있어 효율성 검증은 가능하였다. 그러나 이는 대용시장지수(代用市場指數)가 효율적 프론티어상에 있는가에 대한 효율성 검증이 아니라 단순히 평균-분산프론티어상에 있는가에 대한 검증에 불과하였으며 이러한 검증 결과는 효율적(效率的)인 것으로 나타났다. 한편 한국증권거래소(韓國證券去來所)에 상장(上場)된 전 종목(種目)을 대상으로한 동일가중지수(同一加重指數)와 본 연구의 기준시점인 1980년도에 한국증권거래소에 상장된 종목을 대상으로 구성한 동일가중지수(同一加重指數)는 이들의 평균수익(平均收益)이 GMVP의 수익률보다 높을 뿐만 아니라 대용시장지수(代用市場指數)가 효율적(效率的) 프론티어 상에 있는가에 대한 효율성 검증에서 모두효율적(效率的)인 것으로 나타났다. 이러한 사실은 한국종합주가지수(韓國綜合株價指數)를 근거로 기관투자자들이 투자수익율(投資收益率)의 관점에서 포트폴리오를 구성하거나 CAPM의 실증적(實證的) 연구시에 대용시장지수(代用市場指數)로 사용하는 것은 문제점이 있는 것으로 판단되며 따라서 동일가중지수(同一加重指數)를 선택함이 바람직할 것으로 사료된다.

• 정보보호학회지
• /
• 제12권2호
• /
• pp.50-61
• /
• 2002

최근 전자상거래의 활성화 및 안전한 네트워크의 구현에 공개키 기반구조의 응용이 확대되면서 공개키의 무결성과 신뢰성을 제공하기 위해 공개키 인증서 상태 검증에 관한 연구가 활발히 진행되고 있다. 본 고에서는 PKI 응용 프로토콜 중에서 인증서의 유효성을 검증하기 위한 온라인 인증서 상태 검증 프로토콜(Outline Certificate Status Protocol)의 최근 연구 동향에 대하여 분석하였으며, 현재 상용화되어 있는 제품들에 대하여 조사하였다. 또한, 특정 인증서에 대한 온라인 취소 상태 확인 서비스(ORS: Online Revocation Status), 인증 경로의 발견을 서버로 위임하는 대리 인증 경로 발견 서비스(DPD: Delegated Path Discovery), 그리고 중앙 집중 서버에게 인증 경로 검증의 기능을 위임하는 대리 인증 경로 검증 서비스(DPV: Delegated Path Validation) 등의 온라인 인증서 상태 검증 프로토콜에서 제공하는 서비스들에 대해서도 살펴보았다. 현재 온라인 인증서 상태 검증 프로토콜(OCSP)에 관한 문서는 IETF에서 표준화한 RFC2560과 2000년 11월과 2001년 3월에 제안된 드래프트가 있으며, 본 고에서는 RFC2560과 제안된 드래프트를 비교 분석하였으며 국내\ulcorner외 제품의 동향과 온라인 인증서 상태 검증 프로토콜의 활용 범위에 대해서 간략하게 살펴보았다.

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

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

• 재무관리연구
• /
• 제14권1호
• /
• pp.23-50
• /
• 1997

Shiller(1981)와 LeRoy-Porter(1951)에 의하여 시작된 분산한계검증(分散限界檢證)(variance bounds test)에 관한 연구는 주식시장에서 초과변동성(超過變動性)(excess volatility)의 존재를 통하여 주식시장(株式市場)의 효율성(效率性)을 검증하는 새로운 연구분야로서 주목을 받아왔다. 그리고 이들의 연구방법론을 응용하여 많은 효율적(效率的) 시장가설(市場假說)의 검증에 대한 연구가 이루어져 왔다. 본(本) 연구(硏究)는 이러한 연구(硏究)의 한 범주로써 한국주식시장(韓國株式市場)에서 분산한계검증(分散限界檢證)을 통하여 약형효율성(弱形效率性) 시장가설(市場假說)을 검증(檢證)하고자 하였으며 이를 위하여 먼저 Shiller (1981)의 배당평가모형(配當評價模型)을 이용한 사후적(事後的)인 합리적(合理的) 주가(株價)인 $P_t{^*}$의 추정방법(推定方法) 대신에 이 배당평가모형(配當評價模型)을 변형하여 $P_t{^*}$를 추정(推定)하는 방법을 제시하였다. 그리고 이 $P_t{^*}$를 기초로 Shiller(1981)의 분산한계검증식(分散限界檢證式)을 변형한 분산한계검증(分散限界檢證)의 조건식(條件式)을 유도하고 이에 의해 실증적(實證的) 검증(檢證)을 하였다. 한편, 이러한 검증과정(檢證過程)에서 시계열자료(時系列資料)의 특성상 사전적(事前的)으로 필요로 하는 실제주가(實際株價), $P_t$와 사후적(事後的)인 합리적(合理的) 주가(株價), $P_t{^*}$에 대한 단위근검정(單位根檢定)(unit root test)을 실시하였다. 아울러 $P_t$와 $P_t{^*}$의 선형관계(線形關係)의 안정성을 검정하기 위하여 공적분검정(共積分檢定)(cointegration test)도 실시하였다. 검증결과(檢證結果), Shiller(1981)의 분산한계검증식(分散限界檢證式)을 변형하여 유도된 효율성조건(效率性條件)을 만족시키는 범위(範圍)에 벗어나 한국주식시장(韓國株式市場)에서 주식시장(株式市場)의 비효율성(非效率性)을 배제할 수 없는 것으로 나타났다.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2002년도 종합학술발표회논문집
• /
• pp.381-384
• /
• 2002

현재 인증서의 상태 검증을 실시간으로 제공하기 위해 각 CA(Certificate Authority)들은 고전적 방법인 CRL(Certificate Revocation List) 배포보다는 OCSP(Online Certificate Status Protocol)을 통하여 인증서의 상태에 대한 정보를 실시간으로 제공한다. 그러나, 경로검증 및 인증서 정책 맵핑 및 정책검증과 인증서 상태검증을 제공하는 SCVP(Simple Certificate Validation Protocol)는 CRL을 사용하는 한계로 인하여 실시간 검증을 제공하지 못하고 있다. 또한 OCSP는 인증서의 실시간 상태검증만을 제공할 뿐, 인증서의 경로검증과 인증서 정책 맵핑 및 정책검증에 대한 서비스는 제공하지 못하고 있다. 따라서, 이러한 두 프로토콜의 단점을 보안하고, 인증서 검증서버가 제공해야 하는 모든 서비스를 제공하기 위해 OCSP와 SCVP의 연동방안에 대한 연구를 통하여 SCVP에서의 실시간 검증을 제공할 수 있도록 한다.

• 원자력산업
• /
• 제17권8호통권174호
• /
• pp.8-10
• /
• 1997

이 보고서는 97년 6월 22일~25일까지 대전에서 열린 $\ulcorner$차세대 초전도 핵융합 연구장치(KSTAR 장치)$\lrcorner$에 대한 물리적 타당성 검증 평가위원회(위원회)의 조사 결과 및 추천 사항을 요약한 것이다. 검증위원은 M. 시마다(위원장, 일본원자력연구소), V. 첸(미국 제너럴 아토믹사), 엄한섭(미국 해상전술연구소), O. 그루버(독일 막스플랑크연구소), E. 마마(미국 MIT 공대), O. 모또지마(일본 국립핵융합과학연구소), 이문종(미국 메릴렌드대), Y. 시모무라(국제열핵융합실험로)이다. 검증 평가위원은 각 분야의 전문가이며 $\ulcorner$KSTAR 물리적 타당성 검증 문서$\ulcorner$ 및 발표 자료를 기초로 검증하였다.

• 한국과학교육학회지
• /
• 제28권6호
• /
• pp.664-674
• /
• 2008

본 연구는 문헌 연구와 전문가집단의 논의를 통해서 가설검증방법 고안의 교수-학습 절차를 개발하였고, 이에 따라 과학교사를 위한 가설검증방법 고안 교수-학습 프로그램을 R&D 방식으로 개발하여 투입하였으며, 과학교사들이 사전과 사후에 고안한 가설검증방법의 유형 및 가설 검증력 변화를 분석하였다. 연구 결과에 의하면 사전 검사에 비교해서 사후 검사의 가설검증방법의 정교성, 설명요소의 다양성, 검증구조의 논리성등이 증가된 유형으로 변화되었다. 그리고 사전 검사에 비교해서 사후 검사의 가설검증방법의 수, 정교성지수, 검증구조지수, 가설 검증력 등의 평균이 향상되었다. 이러한 결과는 가설검증방법 고안 교수-학습을 통해서 과학교사의 가설검증방법이 보다 포괄적이고 정교하게 변화되었음을 의미한다. 뿐만 아니라 이 연구의 결과는 과학교사들의 탐구능력 향상의 가능성, 기존의 수업 모형 개선, 검증방법고안 능력 평가를 위한 도구 개발에 시사점을 제공하였다.