• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2013년도 춘계학술대회
• /
• pp.459-461
• /
• 2013

선박에 승선하는 모든 선원들은 STCW 협약에서 요구하는 바와 같이 STCW 코드 A-I/6조에 따라 해당 훈련 및 평가에 대해 관리, 감독 및 감시되어야 하며, 선원들은 STCW 협약 요구 교육을 이수한 후 이에 대한 증서를 발급받아 해당 선박에 승선하고 있다. 그러나 이러한 법정교육에 대한 교육 이수증서양식이 국제적으로 통일되어 있지 않아 항만국통제(PSC) 검사시 검사관들이 해당 교육 이수 및 교육내용에 대한 식별이 어려우며, 또한 이수 증서 양식이 국가별로 제 각각이라 신뢰성이 검증되지 않은 증서도 발생하고 있는 실정이다. 이에 따라, STCW 협약 요구 법정교육을 분류 및 코드화하고, 이수증서에 대한 국제양식이 통일된다면, (1) 증성 양식의 통일화로 증서의 신뢰성을 높일 수 있을 것이며, (2) PSC 검사시 검사관의 혼돈을 방지하고, (3) 이수증서에 대해 거증서류로서의 활용도도 증대될 것이다. 따라서 이러한 문제를 해결하고, 선원 교육증서 양식 통일화에 대해 우리나라가 국제적으로 선도적인 역할을 할 수 있도록 이에 대한 연구를 수행하게 되었다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2014년도 제50차 하계학술대회논문집 22권2호
• /
• pp.67-70
• /
• 2014

최근의 다양한 환경에서 악성코드나 의심 코드에 의한 피해가 날로 늘어나고 있는 추세이며 이를 종합적으로 대응할 수 있는 시스템에 대한 연구가 활발히 이루어지고 있는 상황이다. 이러한 악성코드는 사용자의 동의 없이도 PC에 설치되어 사용자가 인지하지 못하는 피해를 지속적으로 영산하고 있으며 그 심각성도 날로 심해지고 있는 실정이다. 또한 다양한 시스템으로부터 수집되는 방대한 양의 데이터를 실시간으로 처리하고 검증하는 기술 및 탐지 기법을 토대로 악성코드를 탐지하고 분석할 수 있는 대응기술로 고도화 되어야만 한다. 이러한 악성코드는 사용자의 PC에 설치되기 이전부터 검사 및 판단하여 사전 대응하는 것이 매우 중요하다. 본 논문에서는 이러한 악성코드가 실제 PC상에 설치되기 이전에 탐지할 수 있는 기법을 제시하며 이를 장치형태로 검증하였다. 본 논문에서 제시하는 기술을 토대로 악상코드 근절에 대한 근본적인 대안을 제시할 것이라 판단한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2023년도 춘계학술발표대회
• /
• pp.328-329
• /
• 2023

현재의 전자의무기록 시스템은 타 병원에서 진료를 볼 때, 중복 검사를 피하기 위해서는 기존 병원에서 검사 또는 진료 기록을 받아 제출해야 하는 번거로움이 있다. 이에 본 논문에서는 기존 시스템의 클라우드화를 통해 타 병원 진료 시 비용과 시간 단축이 예상되며, QR코드를 주민등록증 대신 사용하여서 주민등록번호 노출과 주민등록증 위변조를 통한 불법적인 활용이 불가하다고 생각한다.

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

최근 새로운 스마트 기기의 등장과 활용으로 분산 컴퓨팅 산업이 발전하고 있다. 이런 환경 속에서 각 단말기기간 또는 시스템간의 어플리케이션간 연동 또한 그 규모가 커지고 있다. 연동하는 시스템들의 상호작용을 검사하기 위해서는 기존의 단일시뮬레이션 기법으로는 모델-모델 연동시뮬레이션, 코드-코드 연동시뮬레이션은 가능하지만 모델-코드 연동시뮬레이션 기법이 불가능하다. 또한 일반적으로 모델 시뮬레이션 후 코드 시뮬레이션이 이루어지는데 모든 모델이 코드로 완전히 구현되기 전에는 시뮬레이션이 불가능하다. 본 논문에서는 앞서 언급한 어려움들을 해결하기 위해 시뮬레이터 합성기와 코드 어댑터를 사용하여 모델 및 소스코드의 연동시뮬레이션이 가능한 시뮬레이션 구조를 제안한다. 또한 모델과 코드가 분산하여 존재하므로 시스템의 점진적인 개발이 가능하다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (2)
• /
• pp.398-400
• /
• 1999

본 논문에서는 저항 생산 과정에서 실제저항값과 칼라 코드값이 잘못 표기되는 경우에 이를 검사.인식하는 시스템에 이용할 수 있는 알고리즘을 제안한다. 본 알고리즘에서는 칼라 영상에서의 효과적인 경계선 추출 방법과 칼라 영상의 명암도 변화 차이를 이용한 저항의 칼라 코드 영역 추출법, 그리고 역전파 알고리즘을 이용한 칼라 코드 판별법이 제시된다.

• 정보과학회 논문지
• /
• 제43권10호
• /
• pp.1067-1072
• /
• 2016

실행코드만으로 소프트웨어 간의 유사성을 비교하거나 표절을 검사하기 위해 소프트웨어만의 고유한 특징인 소프트웨어 버스마크를 이용한다. 일반적으로 소프트웨어 버스마크는 추출 방법에 따라 정적 버스마크와 동적 버스마크로 구분되고, 추출된 방법에 따라 장단점이 뚜렷하게 나타난다. 본 논문에서는 동적 분석을 이용하여 API 시퀀스 버스마크를 추출하고 실행코드 간의 유사성 검사에 이용하는 방법을 제안한다. 제안하는 동적 시퀀스 버스마크는 프로그램이 실행되는 과정에서 호출되는 모든 API 함수 및 시스템 호출을 포함하는 기존의 방법과는 다르게 실행코드 내에 정의되어 있는 API 함수만으로 구성된 API 시퀀스를 이용한다. 추출된 동적 버스마크는 프로그램의 시작에서 종료까지 호출되는 API 시퀀스이며 이를 효율적으로 비교하기 위해 서열정렬 알고리즘을 활용한 유사성 척도를 사용한다. 여러 오픈소스 소프트웨어를 비교하여 버스마크의 신뢰성과 강인성을 검증하였다. 제안하는 동적 API 시퀀스 버스마크는 실행코드의 유사성 검사에 용이하게 활용될 수 있을 것으로 기대된다.

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

정보시스템의 취약성을 사전에 예방하고 보안을 강화하기 위해 여러 가지 방안이 제시되고 있다. 본 연구에서는 소프트웨어의 소스코드 수준에서의 보안성을 확보하기 위해 소스코드 자체의 보안 위험성을 검사하는 도구를 제안한다. 개발자에 의해 무심코 사용되는 위험 함수들을 검출하고 그 대안을 제시하여 소프트웨어 내부에 잠재되는 보안 위협을 예방하는 도구를 개발하고자 한다.

• 비파괴검사학회지
• /
• 제33권5호
• /
• pp.465-471
• /
• 2013

원전 증기발생기는 원자로 냉각재 계통에서 발생한 열에너지를 터빈 계통의 주급수에 전달하여 터빈을 회전시키기 위한 증기를 생산하는 일종의 열교환기이다. 증기발생기 전열관의 손상은 증기발생기의 구조적 및 누설 건전성 유지 능력을 저해시키기 때문에 주기적으로 와전류검사를 수행하여 전열관의 건전성을 평가한다. 증기발생기 전열관의 건전성 평가는 보통 원자로 연료 재장전 기간 중에 수행된다. 현재 국내 증기발생기 전열관에 적용되는 와전류검사는 KEPIC 및 ASME 코드 요건에 따라 수행되며, 와전류검사 수행에 필요한 검사 시스템은 와전류검사 장치와 수집된 신호를 평가하기 위한 평가 프로그램으로 구성된다. 검사에 적용되는 와전류검사 시스템을 구성하는 핵심기기인 와전류검사 장치는 ASME 및 KEPIC 코드에서 총 고조파 왜곡율, 입출력 임피던스, 증폭기 직선성 및 안정성, 위상 직선성, 대역폭 및 복조필터 응답, 디지털 변환, 채널 간섭 등과 같은 전기적 특성을 측정하도록 규정하고 있다. 이에 따라 본 논문에서는 국내 최초로 개발한 원전 증기발생기 와전류검사 장치의 전기적 특성 측정을 위한 ASME 및 KEPIC 코드 요건을 설명하고, 이 요건에 따른 증기발생기 와전류검사 장치의 전기적 특성의 측정 결과를 제시하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 춘계학술발표대회
• /
• pp.1047-1050
• /
• 2004

버퍼 오버플로우 공격의 방어는 그 심각한 위험성 때문에 많은 연구가 되고 있지만 방어에 의한 오버헤드의 발생으로 인해 실제 적용되기 어려운 면이 있다. 본 논문은 이진 코드를 재작성 하여 스택의 리턴 주소 사본을 지역변수 아래 부분에 두고 함수 반환시 비교 검사를 하는 것으로써, 소스코드가 없는 경우에도 버퍼 오버플로우 공격을 막는 동시에 오버헤드를 줄일 수 있는 방법을 제안하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
• /
• pp.316-318
• /
• 2004

현재 정보보호시스템의 에러로 않은 피해를 입고 있다. 특히 고 보안성이 요구되는 시스템에서의 정보 누출이 심각한 문제가 되고 있는데 이러한 시스템의 예로 스마트카드가 있다. 스마트카드는 오랜 시간 축적된 경험과 연구로써 그 보안성이 특히 우수하다고 할 수 있다. 그러나 애플리케이션 내에서 그리고 애플리케이션간의 정보흐름의 보안성은 보장되지 않는다. 따라서 개인 정보 누출의 위협이 존재한다. 소스프로그램 차원에서 보안적 정보흐름을 검사하는 연구들이 많이 진행되어 왔고 자동도구인 모델체커를 이용하는 연구들도 정차 증가하고 있다. 이런 연구들의 연장선상에서 본 논문에서는 SMV 모델체커를 이용해 자바 바이트 코드에 대한 정보흐름의 보안성을 검사하는 방법을 보인다.