• 정보보호학회논문지
• /
• 제33권2호
• /
• pp.253-266
• /
• 2023

널 포인터 역참조 (Null Pointer Dereference) 취약점은 정상적인 메모리 주소를 저장한 포인터가 아닌 널 포인터를 참조할 때 발생하는 취약점이다. 그러므로, 서비스거부공격 (Denial-of-service)와 같은 공격에 악용되어 큰 피해를 줄 수 있기 때문에 식별하고 제거해야 할 중요한 취약점이다. 기존 연구에서는 기호실행과 같은 정적분석을 통해 취약점을 탐지하는 방법을 많이 제안하였다. 그러나 커널과 같은 복잡도가 높은 대형 프로그램을 검사할 때는 경로폭발 (path explosion)과 제약조건(constraint solver) 때문에 효율성이 제한되며 주어진 시간 내에 탐지하지 못할 수 있다. 또는 대형 프로그램 중 일부 함수들 혹은 라이브러리 함수를 탐지할 때 전체 프로그램의 상태를 알 수 없기 때문에 완전한 분석을 수행하지 못해 정확도가 높지 않은 경우가 있다. 본 논문에서는 소스코드가 없는 대규모 프로그램에서 특정한 일부 기능 검사 할 때 빠르고 정확하게 검사하기 위한 가벼운 취약점 탐지도구를 연구개발 하였다. 변수나 포인터를 기호로 표시하고 프로그램 실행을 에뮬레이션하여, 각 실행경로에서 데이터 의존성(data dependency) 분석과 휴리스틱 방법으로 널 포인터 역참조 취약점을 탐지한다. 기존 bap_toolkit과 실험하여 비교하였을 때 오탐율이 8% 높지만, 존재하는 취약점을 모두 탐지해냈다.

• 한국지형공간정보학회:학술대회논문집
• /
• 한국지형공간정보학회 2002년도 춘계학술대회 논문집
• /
• pp.145-149
• /
• 2002

CORONA는 미국이 1960년에서 1972년까지 냉전시대 관심지역에 대한 첩보영상을 취득하기 위하여 운영한 영상취득시스템으로 1995년 일반에 자료가 공개됨에 따라 과거의 고해상도 영상자료를 이용할 수 있는 길이 열리게 되었다. 그러나 현재까지 CORONA 영상처리를 위한 모듈을 제공하는 원격탐측 소프트웨어가 개발되어 있지 않기 때문에 CORONA 영상을 이용하여 수치표고모형이나 정사영상을 제작하기 위해서는 적절한 모델링 방법이 필요하다. CORONA 영상은 파노라마 영상으로 필름 가장자리로 갈수록 왜곡이 많이 생기며 사진기 지표가 없고 위성의 궤도와 위치, 자세, 속도, IMC(Image Motion Compensation)에 대한 자세한 자료를 제공하지 않는 문제점이 있다. 따라서 본 논문에서는 지형복원을 위하여 지상기준점을 이용하는 2가지 모델링 방법을 이용하였다. 첫 번째는 파노라마 왜곡과 촬영 비행체 이동에 의한 왜곡, IMC에 의한 왜곡을 보정하는 모형식을 구성하여 이용하였으며, 두 번째는 위성과 센서에 대한 정보를 필요로 하지 않는 다항식비례모형(RFM; Rational Function Model)을 이용하였다. 대상지역은 서울지역의 입체영상으로 대략 $33km{\times}26km$ 지역이다. 영상은 지상해상도 약 2.7m로 스캐닝하였고 1:1000 수치지도를 통해 20개의 기준점과 36개의 검사점을 관측하였다. 검사점의 위치정확도를 평가해 본 결과 첫 번째 방법은 수평방향으로 평균 3.9m(X), 2.8m(Y)의 오차를 보였으며 표고의 경우 4.2m의 오차를 보여주었다. 두 번째 방법은 수평방향으로 평균 3.2m(X), 2.8m(Y)의 오차를 보였으며 표고의 경우 5.5m의 오차를 보여주었다. 지형복원 정확도를 검증하기 위하여 첫 번째 방법을 이용하여 대상지역 중 일부인 서울 남산지역에 대해 정사영상과 10m간격의 DEM을 제작하였으며 1:1000 수치지도를 통해 제작된 DEM과 비교한 결과 총 43990개 격자점의 표고 차이는 평균 5.98m였다.

• 한국과학교육학회지
• /
• 제37권6호
• /
• pp.951-960
• /
• 2017

이 연구는 저경력 과학교사 전문성 신장을 위한 멘토링이 과학교사의 일반교수효능감과 과학교수효능감에 미치는 영향을 알아보기 위한 것이다. 저경력 과학교사 멘토링은 J도에서 현직 임용 경력 3년 이하의 과학교사 24명을 대상으로 2016년 4월부터 2016년 12월까지 9개월에 걸쳐 진행되었다. 일반교수효능감과 과학교수효능감 검사는 선행 연구들에서 개발한 검사지를 수정 보완하여 활용하였다. 과학교수효능감 사전 검사 결과 평균은 3.02점으로 나타났다. 특히 과학교수 자기 효능감은 평균 2.86점이었고, 과학교수 결과 기대감은 평균 3.17점으로 나타나 결과 기대감이 더 높았다. 과학교수 결과 기대감 영역에서 여교사 평균이 남교사 평균 보다 높게 나타났고, 중학교 교사평균이 고등학교 교사 평균보다 모든 영역에서 높게 나타났으나 유의미한 차이는 보이지 않았다. 사후 검사 결과 멘티 교사들의 과학교수효능감은 평균 3.08점으로 사전 검사보다 증가하였다. 특히 사후 검사에서 과학교수 개인 효능감은 평균 3.11점, 결과 기대감은 평균 3.04점으로 나타났는데, 이는 멘토링 연수가 멘티 교사들의 과학교수효능감 향상에 긍정적 영향을 미쳤을 가능성을 보여주고 있는 것이다.

• 한국지반환경공학회 논문집
• /
• 제21권6호
• /
• pp.13-17
• /
• 2020

4차 산업혁명 시대에 접어들어 드론이 다양한 분야에서 활용되고 있다. 현재 비탈면의 시공 및 유지관리는 일반적으로 소단 및 점검원 통로를 이용하여 인력으로 관리하고 있다. 이러한 방법은 안전사고의 위험이 있으며, 인력을 통한 시야 확보가 어려워 정확한 파악이 어렵다. 본 논문에서는 지반 공학 관련 구조물 중 비탈면을 대상으로 드론이 촬영한 디지털 사진을 이용하여 RTK 및 GCP가 비탈면 3차원 모델에 미치는 영향에 대해 연구하였다. 비탈면 3차원 모델의 품질 비교를 위해 9개 지점에 대해 GNSS 좌표를 측정하였고, 이 중 3개 지점은 검사점으로 활용하고 나머지 지점들은 지상기준점으로 활용하였다. RTK를 활용한 높은 정밀도의 지오태깅 사진을 이용하여 비탈면 3차원 모델을 작성할 경우, 지상기준점의 개수가 증가하면 검사점에서의 오차가 감소하는 것을 확인하였다. 또한 일반 GNSS를 사용하더라도 지상기준점을 적용하면 3차원 모델의 검사점에서의 오차는 크지 않은 것을 확인하였다. 그러나 RTK모듈을 사용하여 높은 정밀도의 지오태깅 사진을 이용하더라도 GCP를 적용하지 않고 비탈면 3차원 모델을 작성하면 큰 오차가 발생하는 것을 확인하였다. 특히, 높이 값인 z좌표에 대한 오차가 크게 발생하였다. 따라서, 평면정보와 더불어 높이에 대한 정보도 중요한 비탈면 3차원 모델 작성을 위해서는 반드시 GCP를 적용해야 함을 확인할 수 있었다.

• 한국방사선학회논문지
• /
• 제13권1호
• /
• pp.1-8
• /
• 2019

본 연구의 목적은 ERCP 검사 시 테이블 보조 기구 사용의 유용성을 평가함에 있다. 이 연구를 위해 ERCP 검사를 시행한 15명의 환자(평균연령: $76.0{\pm}11.4$ 세)와 검사에 참여했던 6명의 의료진을 대상으로 하여 테이블 보조 기구 사용의 유용성 평가를 위해 설문조사를 실시하였고 안락한 정도, 심리적 안정성 및 만족도 항목에 대하여 최저 1점에서 최대 5점 범위로 집계하여 평가하였다. 안락한 정도에 관한 결과에 있어서는 테이블 보조 기구 없이 진행한 ERCP 검사에서 환자들이 $1.7{\pm}0.5$점으로 불편하다고 느꼈으며, 이와 반대로 테이블 보조 기구를 사용한 경우에는 $4.4{\pm}0.5$점(p-value${\leq}0.000$)으로 편안함을 느꼈다고 조사되었다. 심리적 안정성에 관한 결과에 있어서는 환자들이 테이블 보조기구 사용에 $4.8{\pm}0.4$점으로 안정감을 보였다. 추가적으로 테이블 보조 기구 사용에 대한 환자들의 만족도는 $4.9{\pm}0.3$점이었다. 본 결과를 고려할 때에 ERCP 검사에 있어 테이블 보조 기구의 사용은 그 유용성이 매우 높음을 알 수 있었다.

• 한국과학교육학회지
• /
• 제39권2호
• /
• pp.263-277
• /
• 2019

이 연구는 1989년 이후 30년간 국내 학술지에 발표된 과학 관련 정의적 영역 검사 도구 활용 현황과 이와 관련한 검사 도구의 수정 사례와 내용을 분석했다. 이로써 향후 검사 도구 개발과 개선 과정에 대한 실질적 정보를 제공하고, 타당한 검사 도구 개발을 위한 근거를 마련했다. 연구는 두 단계로 진행되었다. 정의적 영역 검사 도구를 중심으로 한 국내 과학 교육 연구 88편의 현황과 이들이 참고한 국내 외 원도구 57건의 현황을 분석했다. 그 후 원도구가 개정되었던 사례 5건의 특징과 구체적 문항 수정 사례를 비교했다. 연구 결과 국내 연구 현황에서는 지속적으로 나타난 주제와 최근에 출현하기 시작한 주제, 연구 목적과 평가 방법에 따른 연구 상황, 원도구 활용 현황 등이 분석되었다. 분석 대상 연구의 원도구 중 개정 과정이 공개된 5건의 검사 도구인 TOSRA, SAI, PISA 문항, STEBI-A/B, SMQ 등에 대해 개정 배경과 주요 사항을 분석했다. 개정 전후의 문항이 공개된 4개의 검사 문항을 비교해서 문항의 변천 과정을 분석했다. 분석 결과 문항 개선은 하위 구인의 변화에 따른 신설과 삭제, 가독성 향상, 의미를 명료화하는 방향으로 진행되고 있었다. 본 연구 결과의 시사점으로 여러 구인이 혼재된 검사 도구에서 얻은 결과 해석상 유의점, 연구의 지평을 넓혀주는 검사 도구의 가능성, 주관적 자기 보고에서 나타나는 오차 인식, 타학문에서 유래한 검사 도구를 과학과에 적용시킬 때 유의할 점 등을 제안했다.

• 대한지리학회:학술대회논문집
• /
• 대한지리학회 2006년도 연례 학술대회
• /
• pp.138-139
• /
• 2006

• 건강소식
• /
• 제11권4호통권101호
• /
• pp.48-50
• /
• 1987

주민집단검사는 영리를 목적으로 하지 않는다는 점을 부각시키며, 과대광고로 오인하는 사례가 발생되지 않도록 일선 행정기관을 최대한 활용하여 봉사하는 한국건강관리협회라는 이미지 부각에도 노력을 기우려 나가야 합니다.

• 한국콘텐츠학회논문지
• /
• 제21권2호
• /
• pp.707-717
• /
• 2021

본 연구는 디지털기기에서 앱을 활용한 그림검사가 가능한지를 탐색해보고자 게임 중독군을 대상으로 '나무에서 사과 따는 사람 그리기(Person Picking an Apple from a Tree: 이하 PPAT)' 그림 검사를 바탕으로 진단을 확인하여 미술치료에서의 그림검사 앱을 활용할 수 있는 근거를 마련할 수 있는지를 살펴보는데 목적이 있다. PPAT 그림검사는 사람이 사과를 어떤 식으로 따는지 문제해결력을 검증하는데 유용하고 이에 대한 신뢰도, 타당도가 높은 검사이다. 본 연구를 통해 살펴본 결과, 디지털 기기에서 앱을 활용한 PPAT 그림검사의 형식척도(Formal Elements Art Therapy Scale:이하 FEATS) 항목 14개 중 '문제해결력' 항목에서 인터넷 과몰입군이 일반사용자군 보다 낮은 점수를 받았는데, 과몰입군의 경우 사과를 향해 손을 뻗지 않고 있거나, 사과가 떨어지는 그림, 합리적인지지 기반 없이 사과를 따는 방법으로 사과를 따른 모습을 표현했다. 본 연구에서 발견한 내용은 디지털 기기에서 앱을 사용한 PPAT 그림 검사가 본래의 목적인 '문제해결력'을 유의미하게 드러내었다는 점은 앞으로 디지털 기기를 활용하여 인터넷 과몰입 대상자들을 위한 심리치료적 개입뿐만 아니라 디지털 기기를 익숙하게 활용하는 사용자들에게는 PPAT 그림검사 앱을 활용할 수 있다는 점에서 연구의 의의가 있다.

• 정보처리학회논문지A
• /
• 제13A권6호
• /
• pp.525-532
• /
• 2006

인과적 메시지 로깅을 위한 기존 회복 알고리즘들에 비해, Elnozahy가 제안한 회복 알고리즘은 안전한 저장소 접근횟수를 매우 줄이고, 회복과정을 수행하는 동안 살아있는 프로세스들이 자신의 계산을 계속해서 수행할 수 있도록 한다. 그러나, 인과적 메시지 로깅 기법이 비동기적 검사점 기록 기법과 함께 사용된다면, 동시적 고장들이 발생하는 경우 이 알고리즘 수행 후 전체 시스템 상태가 일관적이지 못하게 될 수 있다. 본 논문에서는 이러한 일관적이지 못한 경우들을 보여주고, 이러한 문제점을 해결하는 인과적 메시지 로깅을 위한 저 비용의 회복 알고리즘을 제안한다. 시스템 일관성을 보장하기 위해, 이 알고리즘은 회복 리더가 모든 살아있는 프로세스들뿐만 아니라 다른 회복 프로세스들로부터 회복정보를 얻을 수 있도록 한다. 또한, 제안된 알고리즘은 Elnozahy 회복 알고리즘에 비해 어떠한 부가적인 메시지도 요구하지 않으며, 메시지 피기백에 의해 발생되는 제안된 알고리즘의 부가적인 비용이 매우 낮다 이를 입증하기 위해, 시뮬레이션 결과는 제안된 알고리즘이 Elnozahy 알고리즘에 비해 회복정보 수집시간을 단지 1.0%$\sim$2.1% 정도로 증가시킴을 보여준다.