• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
• /
• pp.346-348
• /
• 2004

시스템의 안정성을 검증하는 Model Checking(모델 검증)은 여러 가지 분야에서 기본적으로 중요하게 사용되어왔다. 하지만 Model Checking의 특성상 Computing Power가 많이 필요한 점과 최근 소프트웨어의 대형화, Ubiquitous 환경에서의 잦은 변화가 필요한 점 등으로 Model Checking 을 그대로 적용하기 어렵다. 따라서 이 논문은 점증적인 변화에 따른 필요한 부분만 검증하는 점증적 모델 검증을 소개한다.

• 정보처리학회논문지C
• /
• 제11C권5호
• /
• pp.569-576
• /
• 2004

기존의 공개키 암호알고리즘의 표준적합성에 대한 검증도구는 유선환경에 치중되어 개발되어 왔으나, 무선환경에서 사용되는 타원곡선 알고리즘의 표준적합성 검증도구에 대한 개발은 미약한 실정이다. 유선 환경보다 무선 환경에서 정보보호 시스템간의 상호연동성 확보 및 사용자 편익을 증대시키기 위한 검증도구의 개발이 더욱 중요하다. 따라서 본 논문에서는 X9.62 기술표준을 정확하게 준용하여 구현되었는지를 테스트할 수 있는 타원 곡선 암호 알고리즘의 검증도구를 설계 및 구현하였다. 구현된 검증도구는 ECDSA, ECKCDSA, ECDH 등을 이용한 모든 정보보호 제품에 적용할 수 있다. 아울러 충분한 테스트 항목을 통해 검증의 정확성을 높였으며, 검증도구와 김증 대상이 온라인상에서 검증될 수 있도록 하였다.

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 2012년도 제43회 하계 정기 학술대회 초록집
• /
• pp.102-102
• /
• 2012

진공측정 특히 고진공영역에 사용되는 터보분자펌프, 이온펌프, 크라이오펌프 등의 특성평가 장치의 신뢰성을 확보하기 위해서는 신뢰성이 검증된 미세 유량발생 장치를 포함한 이온게이지를 이용한 고진공 측정기술이 확보되어야한다. 본 발표에서는 고진공펌프 특성평가를 위한 미세 기체유량계와 펌프 평가기술에 대한 국제적인 동등성을 확립하고 검증하기 위해 수행해오고 있는 진공분야의 국제비교 및 측정기술 개발 활동에 대해 소개한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2004년도 하계학술대회 논문집 A
• /
• pp.388-390
• /
• 2004

디지털 보호계전기의 성능 검증에 있어서 RTDS(Real Time Digital Simulator)와 같은 디지털 시뮬레이터를 사용하는 경우가 점점 증가하고 있다. 특히 보호계전기의 동특성(Dynamic Performance) 시험에 있어서는, 디지털 시뮬레이터를 이용한 성능 검증이 거의 필수적이다. 본 논문에서는 디지털 보호계전기 중 거리계전기의 Reach Test에 있어서 성능 검증에 사용할 계통 모델 선정 방안을 PSCAD/RTDS에서의 구현 관점에서 기술하고 있다. 양단 전원을 가지는 4모선 2회선 송전선로를 Bergeron 모델을 이용하여 모델링하고, 모델의 유효성을 귀납적인 방법을 사용해서 검증하는 방안을 제시하고 있다.

• 한국방사성폐기물학회:학술대회논문집
• /
• 한국방사성폐기물학회 2007년도 학술논문요약집
• /
• pp.99-100
• /
• 2007

• 한국방사성폐기물학회:학술대회논문집
• /
• 한국방사성폐기물학회 2005년도 춘계 학술대회
• /
• pp.387-389
• /
• 2005

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (A)
• /
• pp.140-145
• /
• 2008

최근 바코드를 대신하여 많이 사용되는 RFID의 상용화와 이에 관련된 기술에 대한 연구가 활발히 진행되고 있다. 하지만 RF를 이용한 기술은 구조적 특성상 프로톨콜이 노출 되는 문제점이 발생한다. 또한 광범위한 지역에서 RFID사용과 임시적인 RFID사용은 비용상 문제점이 있다. 본 논문은 RFID의 요소 중 DB(Server)를 제외한 리더와 태그 간의 통신을 통한 인증 프로토콜을 제안한다. 또한 리더와 태크만의 구성으로 비용을 절감하고자 하며, AVISPA를 이용하여 제안한 프로토콜의 안전성을 검증 한다.

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

위성시스템의 성능 및 무게, 비용 등의 요구조건이 높아지면서 시스템 설계를 위한 고성능, 고효율의 전기전자부품이 요구되고 있다. 이런 요구를 충족하기 위하여 NASA나 ESA에서 사용하고 있는 고 신뢰성과 안전성에 바탕을 둔 기존의 표준소자에 비해 신기술과 고성능으로 빠르게 업그레이드되고 있는 상용부품의 수요가 증가하고 있다. 특히 상용집적소자인 PEM은 많은 우주프로그램에서 사용되고 있고 그 영역을 넓히기 위한 연구가 계속되고 있다. 본 논문에서는 우주 프로그램에 사용하기 위한 상용 PEM소자의 고려사항과 검증동향에 대해 소개하고자 한다.

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

분산 시스템 환경의 사용이 증가하면서 트렌잭션 처리의 중요성이 부각되고 있다. 이러한 트랜잭션의 사용에 있어서 효과적인 트랜잭션 제어 및 수행완료 검증의 필요성이 제기된다. 이에 본 논문에서는 개념적 설계와 수학적 해석이 가능한 EMFG(Extended Mark Flow Graph)로 트랜잭션 기본 연산을 표현하고 이를 이용하여 다중 트랜잭션을 표현하고, 이를 통해 도달가능트리기법을 사용하여 트랜잭션 수행완료 여부를 검증하고자 한다.

• 디지털융복합연구
• /
• 제8권3호
• /
• pp.49-62
• /
• 2010

본 연구에서는 전자정부 사용자들의 지각된 인식이 전자정부에 대한 신뢰와 사용의도에 미치는 영향을 분석하고자 하였다. 이를 위해 본 연구에서는 대학생들을 대상으로 한 설문조사를 통해 전자정부에 대한 지각된 정보보안, 위험, 유용성 등이 전자정부에 대한 신뢰와 사용의도에 미치는 영향을 실증적으로 분석하였다. 가설검증의 주요 결과는 다음과 같다. 지각된 정보보안과 유용성은 전자정부에 대한 신뢰에 유의미한 정(+)의 영향을 마치는 것으로 나타났으며, 지각된 위험은 유의미한 부(-)의 영향을 미치는 것으로 나타났다. 하지만 전자정부 사용의도에는 지각된 유용성만이 유의미한 정(+)의 영향을 미치는 것으로 검증되었다. 그리고 전자정부에 대한 신뢰수준은 사용의도에 긍정적인 영향을 미치는 것으로 분석되었다.