• 한국시뮬레이션학회논문지
• /
• 제18권3호
• /
• pp.113-122
• /
• 2009

사용자가 요구하는 기능과 특성에 대한 다양한 요구사항은 소프트웨어를 점점 더 복잡하게 만들고 이를 검증하고 검사하는 것은 어려운 문제이다. 게다가 개발된 소프트웨어 코드를 검증하고 검사를 수행하는 과정에서 트레이싱 혹은 로깅 코드를 삽입하는 과정과 검사가 완료되어 삭제하는 과정에서 사용자의 부주의로 버그가 삽일될 수 있는 문제점도 발생한다. 본 논문은 소프트웨어 개발 과정 중에서 검증 및 검사 과정을 지원할 수 있는 Aspect DEVS 검증 틀을 제시한다. Aspect DEVS 검증틀은 관점 지향 프로그래밍 기법을 사용하여 이미 구현되어 있는 소프트웨어와 사용자는 요구사항을 만족하는 지를 확인하는 동시에 소스 코드에 테스팅 코드를 삽입할 때 발생하는 문제들을 해결한다. Aspect DEVS 검증틀을 사용한 검증의 첫 번째 단계는 관찰 대상을 관점 지향 프로그래밍 기법을 사용하여 명세한 하고, 사용자의 요구사항을 DEVS 다이어그램을 명세한 후 이를 DEVSIM++로 구현한다. 마지막으로 프로그램의 수행 과정 중에서 발생하는 이벤트들을 대상으로 구현한 DEVS 모델의 이벤트 입력으로 넣어 소프트웨어가 사용자의 요구사항을 만족하는 지를 검사함으로써 검증 과정 중에 대상 소프트웨어의 수정 없이 검증 및 검사를 수행할 수 있다.

• 한국정보통신학회논문지
• /
• 제9권7호
• /
• pp.1419-1424
• /
• 2005

본 논문에서는 통신 채널의 오류로 인하여 통신 단말간에 서로 송수신되는 정보중에 임의의 비트가 삭제되거나 추가되어 암호 알고리즘을 사용하여 통신이 불가능해지는 경우, 이를 극복하기 위한 기법으로 Statistical CFB 방식의 암호 알고리즘을 제안한다. 먼저, 비트 삽입 또는 비트 삭제 발생 시 오류 전파의 영향을 수학적으로 모델링하여 이론적인 Statistical CFB 암호 알고리즘의 성능을 분석한다. 이 경우, Statistical CFB 방식의 성능을 결정하는 요소인 농기 패턴의 길이와 피프백되는 키의 길이를 변화해가며 분석하도록 한다. 또한 이론적인 분석과 함께 실제로 특정 길이의 동기 패턴과 피드백되는 키를 선택한 후, Statistical CFB 방식을 적용한 암호 알고리즘을 사용하여 성능을 분석하였다. 이를 이론적인 분석 결과와 비교하여 제안된 암호 알고리즘의 타당성을 검증한다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2004년도 제16회 한글.언어.인지 한술대회
• /
• pp.225-228
• /
• 2004

영어단어 중에는 글자 열에 소리가 나지 않는 묵음자를 가진 단어들이 있다(예 : $\underline{k}nowledge$). 이러한 단어들은 같은 위치의 글자 열에 소리가 나는 글자를 가진 단어들(예 :available)과 수행을 비교하여 다음절 단어 재인에 있어서 음운 정보의 역할을 검증할 수 있는 기회를 제공한다. 파일럿 연구의 성격을 가진 본 연구의 결과, 어휘판단 과제에서 묵음자가 삭제된 단어 (예 : _nowledge)의 수행이 소리음이 삭제된 단어 (예 :_vailable)의 수행보다 빨랐다. 어휘접근을 반영하는 어휘판단과제에서의 이러한 결과는 다음절 단어재인에 있어서 음운 재부호화가 일어날 수 있는 개연성을 보여주는 것이다.

• 대한치과보철학회지
• /
• 제46권4호
• /
• pp.372-380
• /
• 2008

연구목적: 본 연구의 목적은 즉시 상아질 봉쇄 (immediate dentin sealing; IDS)을 시행한 경우와 지연 상아질 봉쇄 (delayed dentin sealing ; DDS)를 시행한 경우를 비교하고, 지연 상아질 봉쇄 시 상아질 접착제를 먼저 중합한 경우와 복합레진과 함께 중합한 경우에 있어서 상아질과 복합레진의 결합강도를 비교하는 것이다. 재료 및 방법: 사람의 건전한 대구치 20개의 치관부를 삭제하여 상아질 표면을 노출시켰다. 상아질 접착 후 바로 복합레진을 축조하는 과정에서 군을 4 가지로 나누었다. 대조군은 주수 하에 model trimmer를 이용하여 치관부 삭제 후 바로 2-step etch-and-rinse dentin bonding agent (ONE-STEP, Bisco, USA)를 이용하여 상아질 접착을 시행하고 복합레진 (RENEW, Bisco, USA)을 수복하였다. 실험군 A는 치아 삭제 후, Fermit을 이용한 임시수복 상태로 5일간 생리식염수에 보관하였다. 임시수복 제거 후 상아질 접착제를 도포하고 별도의 중합없이 레진을 축조하고 함께 중합하였다. 실험군 B는 치아 삭제 후, 상아질 접착제 도포 및 중합하고 임시수복을 시행하여 5일간 생리식염수에 보관하였다. 임시수복 제거 후 상아질 접착제를 도포하고 별도의 중합없이 레진을 축조하고 함께 중합하였다. 실험군 C는 치아 삭제 후, 임시수복 상태로 5일간 생리식염수에 보관하였다. 임시수복 제거 후, 상아질 접착제를 도포 및 중합하고, 레진을 축조 및 중합하였다. 각 치아를 단면적 1 $mm^2$, 길이 10-12 mm의 막대형 시편으로 절단하여, 미세인장 결합강도를 측정하였다. 측정된 결합강도는 one-way ANOVA를 이용하여 비교 분석하였으며, 사후 검증은 Scheffe test를 이용하여 분석하였다. 연구결과: 본 실험의 결과는 다음과 같다. 1. 치아 삭제 후 별도의 상아질 접착 시행 없이 임시수복하고, 레진 축조 전 상아질 접착을 도포 후 별도의 중합과정 없이 레진과 함께 중합할 경우, 상아질과의 미세인장 결합강도는 유의하게 낮은 값을 보였다 (P < .01). 2. 치아 삭제 및 임시 수복 기간 후, 상아질 접착제를 먼저 중합하고 복합 레진을 수복하는 경우와 치아 삭제 후 상아질 접착을 시행하고 수복물 장착 시 상아질 접착을 재시행하는 경우 간의 상아질에 대한 결합강도의 차이는 없었다 (P > .05).

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(B)
• /
• pp.458-461
• /
• 2011

모바일 디바이스 저장 장치로 많이 사용되고 있는 플래시 메모리는 가벼운 무게, 내구성, 낮은 전력 소비 등의 장점을 가지고 사용되기 시작하였으며 근래에는 모바일 뿐 아니라 다양한 멀티 미디어 디바이스 전반의 많은 제품에 채용되어 더욱 더 그 범위가 확산되는 추세에 있다. 플래시 메모리는 위에서 언급한 많은 장점이 있지만 기존에 사용되던 디스크와 달리 플래시 메모리 블록을 재사용하기 위해서는 삭제 후 쓰기라는 별도의 연산을 필요로 한다. 이를 FTL (Flash Translation Layer) 이라는 S/W 모듈을 통해 구현되어 있으며 FTL의 구현 알고리즘에 따라 소용되는 연산 비용 또한 상이하며 그 특성과 성능이 매우 다양하게 나타난다. 일반적으로 리눅스에서 FTL은 커널 내부에 구현되어 디바이스 드라이버 형태로 존재하며 일반적인 S/W 개발자보다는 플래시 및 커널 관련 전문지식을 가진 시스템 개발자가 구현을 하게 된다. 이 논문에서는 커널 및 시스템에 대한 깊은 지식 없이도 새롭게 고안된 FTL 알고리즘을 쉽고 빠르게 구현, 검증할 수 있도록 커널이 아닌 사용자 공간에 FTL을 구현하여 빠른 시간 내에 착안된 알고리즘을 실험, 검증할 수 있는 UFTL(User Space Flash Translation Layer) 개발 플랫폼올 제안한다.

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

전자화폐는 전자상거래의 발달로 인해 이용이 높아지고 있다. 전자화폐는 실질 화폐의 가치를 가지고 있으므로, 여러 가지의 보안 사항 및 요구 사항이 필요하다. 그 중에서 익명성의 제공은 사용자의 프라이버시를 제공할 수 있는 방안이다. 보안 기술로는 은닉 서명 방식을 이용하는데 서명자가 메시지의 내용을 알 수 없는 상태에서 서명을 하는 것으로 사용자만이 값을 알고 있다. 그러나 서명 받을 메시지의 정당성을 확인하는 연산을 수행하여야 한다 본 논문에서 제안하는 것은 수신자 지정 서명방식을 이용하여, 전자화폐를 발급받고 이를 이용한다. 수신자 지정 서명은 서명자가 선택하는 검증자만이 확인 가능하므로, 전자화폐를 다른 제 3자가 이용할 수 없게 된다. 그러나 익명성을 제공할 수 없으므로, 변형이 필요하다. 제안 방식은 사용자의 지정을 통해 정당한 사용자만이 검증 할 수 있으며, 익명성의 제공을 위해 사용자가 선택한 임의 값을 삭제한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 춘계학술발표논문집 (상)
• /
• pp.441-444
• /
• 2001

본 논문은 이동 에이전트 시스템이 안고 있는 보안 문제를 해결하고자 하였다. 제안된 프로토콜은 이동 에이전트 및 에이전트 시스템 보안 위험에 대처하기 위하여 ID를 이용한 키 분배 기법과 fit-Shamir 디지털 서명 방식에 기초한 다중 서명 방법을 이용하여 에이전트와 에이전트 플랫폼의 양방향 인증, 실행 결과 데이터의 보호, 생명성 보장을 함께 처리하였으며 중간 검증이 가능하도록 제안되어 불필요한 오버헤드를 갖지 않도록 하였다. 제안된 이동 에이전트 보안 프로토콜을 적용하였을 때 얻을 수 있는 장점은 첫째, 이동에이전트의 생명성을 보장할 수 있으며 둘째, 에이전트의 실행 결과 데이터의 기밀성, 무결성을 보장할 수 있고, 세째, 에이전트 실행의 전 단계를 매 시스템마다 검증함으로써 변경, 삭제 등의 문제가 발생하는 즉시 발견할 수 있다.

• 한국통신학회논문지
• /
• 제37권2C호
• /
• pp.119-131
• /
• 2012

최근 스마트폰의 보급이 빠르게 확산되고, 국내 외 앱스토어를 통해 다양한 모바일 앱이 개발 배포됨에 따라 많은 사용자들이 필요에 따라 자유롭게 앱들을 설치 삭제하고 있다. 앱스토어에서 배포되는 앱들은 각각의 앱스토어 검증체계에 따라 검증되고 있으나, 보안성에 대한 부분이 미흡하며, 최근 개인정보 등 중요정보의 임의 유출로 인한 피해가 증가하면서 모바일 앱에 대한 보안성 검증 필요성이 증가하고 있다. 보다 높은 보안성을 요구하는 전자정부의 모바일 서비스 앱에 대해 보안성을 검증하기 위해서는 별도의 검증정책이 필요하다. 따라서, 본 논문은 전자정부 모바일 앱의 안전 신뢰성을 제고할 수 있는 보안성 검증체계를 제안한다. 제안된 검증체계의 효과를 분석하기 위해 시범검증을 수행하고 해당 결과를 제시한다.

• 정보보호학회논문지
• /
• 제21권3호
• /
• pp.165-176
• /
• 2011

본 논문에서는 TTAK.KO-12.0112 문서에 따른 컴퓨터 포렌식을 위한 디지털 증거 분석도구의 일반적인 검증 절차를 살펴보고, 제시된 검증 항목들을 이용하여 실제 증거분석 도구를 대상으로 기능 요구사항들을 테스트한다. 또한 테스트 내용을 바탕으로 대상 도구들에 대한 성능 평가를 수행하며 각 도구들의 증거 분석 기능에 대하여 향후 성능 개선 방향을 제시한다. 이는 테스트 대상 도구가 수행 가능한 기능들을 파악하고, 요구사항 문서에서 제안된 검증 절차들을 활용하여 각 기능 별로 구체적인 모의 테스트를 설계한 후, 검증 항목의 내용을 포함시킨 가상의 증거 이미지 파일들을 생성하여 도구가 분석한 결과를 검증하고 해석한다. 이 과정을 통해 대부분의 도구들에서 단편화된 삭제 파일에 대한 복구, 국내에서 널리 사용되고 있는 파일 포맷 인식, 한글 문자열 처리 기능 등에 취약점이 존재함을 확인할 수 있다.

• 디지털융복합연구
• /
• 제18권8호
• /
• pp.511-518
• /
• 2020

본 연구의 목적은 유아기 위험상황에서 자신의 신체를 안전하게 보호할 수 있는 안전보건 능력의 중요성이 강조되고 있지만 유아안전보건지식 측정에 대한 타당화된 검사도구의 부족으로, 유아의 안전보건지식 측정할 수 있는 도구 개발 필요성에 대한 근거를 마련하고자 하는 것이다. 연구목적을 달성하기 위하여 교육전문가 및 유아교육전문가의 의견을 수렴하여 만 3~5세의 유아 안전보건지식 측정에 적합한 구성요인을 추출하였다. 이를 기초로 개발된 측정문항은 3-5세 유아 186명을 대상으로 설문조사하여 문항구성의 적합도와 내용의 신뢰도를 검증하였다. 문항반응분포시 0.8이하값은 삭제하였고, 상관도 r<.40이하의 문항도 삭제하였고, 신뢰도검사에서 .70이상으로 나타났다. 탐색적 요인분석을 거쳐 총 3영역 23개 문항으로 개발되었다. 최종문항에 대한 안전보건지식 총점과 상관도는 .80이상으로 나타나 유의미한 상관이 있는 것으로 나타났다. 본 연구에서 개발된 유아안전보건지식 측정도구는 문항변별도, 문항신뢰도인 문항내적 일치도, 내용타당도는 적절한 것으로 확인되어 유아안전보건지식 측정을 위한 기초자료로 활용될 것이며 추후 더욱 타당화된 검증을 위하여 유아안전보건교육 프로그램 실시후 안전보건지식 향상의 효과를 검증하는 후속연구가 진행되어야 할 것이다.