• 한국항공우주학회지
• /
• 제32권8호
• /
• pp.138-144
• /
• 2004

우주환경에서 운용되는 위성은 상호 유기적으로 연결된 다양한 전자장비에서 방출하는 전도성/복사성 에너지 결함에 의해 다양한 노이즈를 발생하게 되는데, 이러한 노이즈는 위성 시스템과 탑재체의 전자기적인 영향에 의하여 주요 기능에 중대한 결함을 유발시킬 수 있다 이에 위생 시스템은 개발 단계에서부터 전자파환경에 대한 영향을 최소화하기 위한 시스템 설계 검증이 요구된다. 위성 시스템에서 검증하여야 하는 전자파환경시험은 위성으로부터 방출되는 전도성/복사성 노이즈 레벨측정과 이러한 노이즈환경에서 위성의 정상운용을 검증하는 감응성 시험이 있다. 다목적실용위성 2호의 전도성 전자파환경에서의 시스템 설계 검증은 PCU가 전원을 각 유닛에 분배하는 그 과정에서 전원선에서 방출하는 전도성 방출특성을 측정하여 시스템에서 통제하는 전자파 규격에 적합한지를 검증하고, 이러한 방출 레벨로부터 6dB 시스템 안전성마진을 고려한 레벨의 전도성 노이즈를 전원선에 인가하여 시스템의 성능을 검증하는 것이다. 본 논문에서는 다목적실용위성 2호의 전도성 특성을 검증하기 위해 ETB에서 수행한 시스템 검증결과 및 노이즈 요소 분석을 제시하였으며, 노이즈요소 분석 결과는 FM EMC 시험에 반영될 것이다.

• 정보보호학회논문지
• /
• 제29권2호
• /
• pp.275-285
• /
• 2019

웹 어셈블리는 웹 브라우저 자바스크립트의 성능 향상을 위해 설계된 새로운 바이너리 표준이다. 웹 어셈블리는 효율적인 실행 및 간결한 표현과 여러 언어를 바탕으로 작성된 코드를 네이티브에 가까운 속도로 구동될 수 있는 새로운 웹 표준으로 자리 잡고 있다. 하지만 현재 웹 어셈블리 취약성 검증은 웹 어셈블리 인터프리터 언어에 제한되어 있으며, 웹 어셈블리 바이너리 자체에 대한 취약성 검증은 부족한 상황이다. 따라서 웹 어셈블리의 자체적인 안전성 검증이 필요한 실정이다. 본 논문에서는 먼저 웹 어셈블리의 구동 방식과 현재 웹 어셈블리의 안전성 검증 방법에 대해서 분석한다. 또한 기존에 발생하였던 웹 어셈블리 안전성 검증 방식에 대해 살펴보고, 이에 따른 기존 안전성 검증 방식의 한계점을 분석한다. 최종적으로 기존 안전성 검증 방법의 한계점을 극복하기 위한 웹 어셈블리 API 기반 퍼징 방법을 소개한다. 이는 기존 안전성 검증 도구로 탐지할 수 없었던 크래시를 탐지함으로써 제안하는 퍼징의 효용성을 검증한다.

• KDI Journal of Economic Policy
• /
• 제15권1호
• /
• pp.185-205
• /
• 1993

Shiller에 의하여 개발된 분산한계검증모형(分散限界檢證模型)은 간결하고 명쾌한 모형유도(模型誘導)와 강력한 검증결과(檢證結果)에 의해 주목받아 왔으나 비현실적(非現實的)인 가정(假定)들을 통한 모형설계와 검증통계량(檢證統計量)의 통계적 오류로 검증결과의 신뢰성이 의문시되어 왔다. 이러한 문제점을 제거하기 위한 Mankiw-Romer-Shapiro(MRS)모형(模型) 역시 임의변수(任意變數)의 도입으로 인한 검증력(檢證力) 저하(低下)와 고정기대수익율가정(固定期待收益率假定)의 채택으로 결합가설검증(結合假說檢證) 형태를 취하게 되는 문제점을 드러냈다. 본고(本稿)는 MRS모형(模型)의 문제점을 제거하기 위하여 먼저 Lucas의 균형자산가격모형(均衡資産價格模型)을 이용하여 고정기대수익율가정(固定期待收益率假定)을 완화하였고, 이에 의하여 구해진 변수들을 사용하여 합리적(合理的) 기대이론(期待理論)의 일반관계식(一般關係式)으로부터 새로운 검증모형(檢證模型)을 유도하였다. 1982~92년까지의 종합주가지수(綜合株價指數)와 대응하는 배당액(配當額)의 연도별(年度別) 시계열자료(時系列資料)를 가지고 검증실험을 행하여 본 결과 한국(韓國) 주식시장(株式市場)에서 효율적 시장가설은 기각되었고, 이를 통하여 관련정보(關聯情報)가 시장가격(市場價格)에 제대로 반영되지 않고 있으며, 정보(情報)의 비대칭성(非對稱性)으로 인하여 주식시장은 금융자원(金融資源)의 중개기능(仲介機能)을 효율적으로 수행하지 못하고 있음을 알 수 있었다. 따라서 한국 주식시장의 효율성을 제고하기 위하여 먼저 시장의 비효율성을 야기하는 요인(要因)들에 대한 분석(分析)과 이 분석을 통한 효율성(效率性) 장애요인(障碍要因)을 제거하는 것이 주식시장에 대한 정부정책(政府政策)의 우선순위(優先順位)가 되어야 할 것이다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
• /
• pp.582-584
• /
• 1998

객체 지향 설계 명세를 대상으로한 시스템의 안전성에 대한 검사를 하여, 표(Table)조작에 기초한 검증법을 제안하였다[4]. 제안한 검증법에서는 전문 분야별로 준비된 안정성 기준(Safety Standard)과 노우하우(Knowhow)를 이용하여, 안전성에 관한 이벤트(Event)와 액션(Action)의 관계표를 작성하였다. 그러나, 많은 실제 개발 현장에서는 실제 존재하는 안전성 기준의 부족 등으로 인하여, 이러한 검증법의 기용이 어렵다는 문제점이 있다. 이에 본 논문에서는 신뢰성 분석의 한 방법인 FTA(Fault Tree Analysis)의 FT(Fault Tree)도를 이용한 안정성 체크리스트(Check list)를 작성하여, 이를 바탕으로 관계표를 작성하는 새로운 방법을 제안하고자 한다.

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

본 논문은 보안제품 적합성 검중을 위한 자동화 도구를 리눅스 기반에서 구현하였으며, 구현된 적합성 검증 자동화 도구를 이용하여 TCP/IP 5Layer중 IP Layer 이상의 계층에서 보안성을 제공하는 제품들에 대한 무결성 테스트를 실시하였다. 그리고 CC(Common Criteria) 기반의 적합성 검증 절차를 연구하여 구체적인 보안제품의 보호파일에 대한 제안을 제기했다. 구현된 적합성 검증 자동화 도구를 이용하여 개발된 보안제품의 안정성을 테스트할 수 있으리라 예상되며, 제안된 보호파일은 구체적인 평가항목으로 국가기관에서 보안제품의 평가 시 사용될 수 있으리라 예상된다.

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

의료기기는 사람의 생명과 직접적으로 연관되어 있기 때문에 다른 분야의 기기보다 안전성에 대한 검증이 필수적이다. 의료 분야에서는 안전성 검증을 위해 기기의 허가 심사 조건으로서 소수의 피험자를 대상으로 수행되는 임상 시험이 존재한다. 그러나 임상 시험의 경우 의료기기를 직접 사람에게 적용하여 검증을 진행하기 때문에, 인체에 미칠 위해성을 고려하여 전임상 시험을 수행하고 있다. 하지만 전임상 시험은 동물이나 가상의 물체를 대상으로 수행하여 실제 사람에 대한 적용이 아니기 때문에, 임상 시험에 비해 검증에 대한 효력을 갖지 못한다. 따라서 본 연구에서는 피험자의 안전을 보장할 수 있고, 임상 빅데이터에 축적된 실제 환자의 사례를 활용한 신뢰성 있는 검증 방안을 제안하고자 한다. 그러나 현재 식품의약품안전처에서 제공되고 있는 의료기기 품목군은 개발하고자 하는 의료기기의 임상 빅데이터 기반 검증 가능성을 식별하기 어렵다. 그러므로 본 논문에서는 의료기기에 대한 다양한 특성 분석을 통해 임상 빅데이터 기반 검증 가능성을 식별하기 위한 프로세스를 제안한다. 제안하는 프로세스에서는 의료기기의 검증에 요구되는 데이터의 식별을 통해 임상 빅데이터를 이용한 테스트 데이터 수집 및 이를 활용한 신뢰성 높은 검증을 가능케 한다.

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

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

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권12호
• /
• pp.1158-1171
• /
• 2003

UML은 객체지향 모델링에 있어서 표준으로 받아들여지고 있다. UML은 풍부한 구성요소를 가지므로 개발하고자하는 시스템을 상세하게 묘사할 수 있지만, 모델링된 다이어그램의 정확성과 일관성은 보장하지 못한다는 결점을 가진다. 따라서 개발프로세스의 초기단계에서 사용자 모델을 검증함으로써 오류를 최소화하는 것이 중요하다. 본 연구에서는 메타-메타모델과 OCL로 표현된 검증규칙을 이용하여 UML structural 다이어그램과 behavioral 다이어그램의 일관성을 검증하는 방법을 제안한다. 일관성은 하나의 요구사항을 가지고 작성된 structural 다이어그램과 behavioral 다이어그램이 일관성있게 작성되었는지를 판단하기 위한 성질이다. 검증의 첫 번째 작업으로서 UML 다이어그램과 그들사이의 관련요소로 표현된 메타-메타모델을 유도하고, 유도된 메타-메타모델로부터 일관성을 검증하기 위한 규칙을 유도하고, 유도된 검증규칙은 검증작업의 자동화를 위해 OCL과 같은 정형적인 언어로 명세한다. 마지막으로 사례모델을 통해 검증규칙의 유용성을 검증한다.

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

암호 시스템들은 복잡한 연산과정을 수행하므로 소프트웨어적으로 구현할 경우 수행속도가 저하되는 단점이 있다. 이를 고속으로 수행하기 위하여 암호 시스템을 하드웨어적으로 구현하는 연구가 활발히 수행되고 있는 것이 현재의 추세이다. 암호 시스템을 하드웨어 모듈로 개발하는 과정 중에는 설계한 모듈이 올바르게 동작하는 지의 여부를 검증하는 과정이 필수적으로 포함된다. 기존의 방법은 검증하고자 하는 암호 알고리즘의 종류에 따라 검증도구를 다시 개발해야 하는 번거로움으로 시간과 비용의 낭비가 초래되었다. 본 논문에서는 기존의 검증 방법을 보완하는 방법으로 PC 기반의 소프트웨어 통제 하에서 어떤 종류의 암호 하드웨어 모듈에 대해서도 호환성을 갖출 신뢰성 있는 검증 도구를 효과적으로 개발하였다.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송공학회 2008년도 동계학술대회
• /
• pp.51-53
• /
• 2008

최근 ICALP 2005에서 Lipmaa 등 지정된 검증자 서명기법에서의 새로운 안전성 개념인 비전가성을 정의하였다. 지정된 검증자 서명기법(Designated Verifier Signature, DVS)이란 지정된 검증자만이 서명의 정당성을 검증할 수 있는 서명으로 제삼자가 서명을 보고 서명자와 검증자 중에 누가 실제 서명자인지 알 수 없다는 특징이 있다. 그러나 Lipmaa 등이 제시한 '비전가성'을 만족하지 않은 지정된 검증자 서명기법의 경우, 서명자 또는 검증자가 개인키가 아닌 일부정보를 제 삼자에게 주어 정당한 서명을 만들어내는 것이 가능하다. 이러한 전가성은 전자투표나 컨텐츠 등에 있어서 심각한 문제이다. 본 논문에서는 2006년 Huang 등의 기법과 2007년 Zhang 등이 제안한 기법이 전가성에 안전하지 않음을 보인다.