• 한국학교수학회논문집
• /
• 제23권1호
• /
• pp.67-88
• /
• 2020

여러 국외 연구는 SMK의 주요 특징을 HCK와 관련하여 설명하면서 수학 교사 교육의 핵심 목표 중 하나로 HCK의 개발을 강조하였다. 그러나 국내에는 SMK의 하위 요소로서 HCK의 구체적인 의미를 살피거나 우리나라 교사들이 지닌 HCK의 특징을 본격적으로 분석한 연구가 거의 없다. 이에 이 연구는 Ball & Bass(2009)의 관점에서 HCK를 다룬 국외 연구를 검토하여 대학 수학을 통해 개발될 필요가 있는 HCK의 특징을 구체적으로 확인하였다. 또한 대학 수학의 목표가 AMT 개발에 있음을 강조한 Zazkis & Leikin(2010)에 따라 AMT 관련 선행 연구를 분석하여 HCK 개발의 기반이 되는 AMT의 핵심 특징을 구체화하였다. 이를 토대로 예비교사들의 HCK를 역함수 기호에 대한 이해에 주목하여 분석하기 위한 지필 검사 도구를 개발하였으며, 이를 예비교사 57명에게 적용하여 얻은 답변 자료를 검사 도구 개발 의도 및 함수 개념 수준에 비추어 분석하였다. 이로부터 역함수 및 역함수 기호와 관련하여 예비교사들이 지닌 HCK의 특징을 4가지로 추출하였으며, 각각의 특징이 지닌 시사점을 수학 교사 전문성 신장을 위한 HCK 개발의 측면에서 기술하였다.

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

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