• 정보보호학회논문지
• /
• 제30권4호
• /
• pp.573-582
• /
• 2020

퍼징은 입력값을 무작위로 생성해 소프트웨어를 테스팅하는 방법으로, 처음 고안된 이래로 다양한 방식의 퍼징이 연구되고 있다. 그중 변이기법을 적용한 퍼징은 확률에 따른 비트 반전이나 특별 값 치환과 같이 비교적 간단한 접근법을 사용함에도, 많은 버그를 발견해온 만큼 효율적인 방법이라고 할 수 있다. 하지만 인터프리터는 문법, 시맨틱이 올바른 입력값을 요구하기 때문에 일반적인 변이기법을 적용하기에는 어려움이 있다. 이에 본 연구에서는 동적 데이터 흐름 분석을 통해 변이기법을 인터프리터 퍼징에 적용할 수 있는 방법에 대해 제시하고자 한다. 본 연구에서 제시하는 JMFuzzer는 문법, 시맨틱의 올바름을 고려해 자바스크립트 인터프리터에서 오류 없이 정상적으로 동작하는 다양한 유형의 테스트케이스를 생성할 수 있다. 최종적으로 본 연구에서는 최신 버전의 자바스크립트 인터프리터에서 알려지지 않은 취약점들을 찾았으며, 이를 각 회사에 제보했다.

• 정보처리학회논문지A
• /
• 제10A권2호
• /
• pp.101-110
• /
• 2003

VXML에서는 시스템에 관련된 정보의 이용, 복잡한 수식의 해석, 반복적인 기능의 수행, 함수의 선언과 호출 등을 위하여 ECMAScript를 사용한다. 그러나 ECMAScript는 인터넷을 위한 표준 스크립트 언어이기 때문에 VXML과의 유기적 연동이 어렵다는 단점이 존재한다. 본 연구에서는 ECMASciipt와 VXML의 유기적 연동을 위하여 ECMAScript의 요구사항을 만족시키는 인터프리터를 설계하고 구현하였다. VXML과의 연동을 위하여 VXML변수의 관리, 시스템 함수의 수행, 수식의 해석 및 함수의 호출 등의 인터페이스를 추가하여, VXML과 연동을 시도하였다. 연동 결과 VXML의 다양한 알고리즘을 처리할 수 있어 VXML의 응용 범위를 넓힐 수 있는 가능성을 얻었다.

• 한국컴퓨터정보학회논문지
• /
• 제28권2호
• /
• pp.111-119
• /
• 2023

본 논문에서는 스칼라 언어의 함수형 프로그래밍 기능의 타당성에 대해서 검토한다. 주된 관심사는 스칼라가 어느 정도까지 람다 식, 고차 함수, 제너릭 타입, 대수적 타입, 모나드 등 함수형 프로그래밍의 주요 특성을 표현할 수 있는 가에 있다. 이 목적을 위하여 명령형 프로그래밍 언어의 인터프리터를 구현한다. 동일한 함수형 프로그래밍 기법을 적용하여 인터프리터를 하스켈과 스칼라로 구현한 다음, 이 두 버전의 구현을 비교 분석한다. 명령형 프로그래밍 언어의 추상 구문트리는 스칼라의 제너릭스를 갖는 대수적 타입과 enum 클래스로서 표현되고, 명령형 프로그래밍의 상태 변환은 상태 모나드를 이용하여 구현된다. 또한 스칼라의 새로운 기능인 extension과 given도 사용된다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (1)
• /
• pp.22-24
• /
• 2005

조직의 네트워크를 관리하기 위해 기관이나 단체에서는 다양한 보안관리 시스템을 운용하고 있다. 그러나 보안관리 시스템기능과 설정방법등이 서로 달라 외부의 공격에 대하기에는 어려움이 많다. 이한 문제점을 해결하기 위해 본 논문에서는 여러 보안관리 시스템 정책이 일관되고, 신속하게 적용될 수 있는 인터프리터를 제안한다. 안한 시스템을 네트워크 관리에 적용할 경우 관리자가 보안관리 시스템의 특별한 설정방법을 숙지하지 않고도 정책을 신속하고 일관되게 적용할 수 있어 외부의 공격으로부터 내부 네트워크를 보다 안전하게 보호할 수 있을 것이다.

• 한국멀티미디어학회논문지
• /
• 제6권7호
• /
• pp.1245-1255
• /
• 2003

네트워크에 대한 요구는 점차적으로 복잡해지고 그 수가 증가하고 있는 상태이다. 이를 극복하기 위해 현존하는 네트워크 노드의 구조를 프로그래밍이 가능하도록 하는 능동 네트워크 기술이 등장하게 되었다. 이것은 사용자 요구 기능을 수행할 수 있는 프로그램 코드를 전송 및 실행함으로써 통신망에 새로운 서비스를 신속하고 경제적으로 도입하여 망 자원들을 보다 적절하게 활용할 수 있도록 하는 기술 분야이다. 본 논문에서는 능동 네트워크 상에서 능동센서의 기능 및 동작 방식을 기술하기 위한 프로그래밍 언어를 제안하고 이러한 언어를 기반으로 능동센서를 용이하게 다룰 수 있는 능동센서 인터프리터를 설계 및 구현한다.

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

프로그래밍 모바일 앱은 장소에의 제약성 해소와 장비의 경량화가 가능하다. 프로그래밍 실습을 위한 환경으로 PC나 서버 연결 온라인 환경 등이 주로 사용되나 모바일 앱은 거의 사용되지 않는다. 이 연구에서는 모바일 앱을 활용하여 프로그래밍할 수 있는 환경을 설계하고 구현한다. 프로그래밍 언어로는 LISP의 파생어인 Scheme을 사용하였다. Scheme 언어는 다중 패러다임 언어로서 프로그래밍 교육에서 다양한 관점으로 문제 해결 방식을 제공할 수 있다. 이를 통해 Scheme 언어에 대한 인터프리터를 서버리스 프로그래밍 앱으로 설계하고 구현하는 과정을 기술한다. 구현 결과에 대한 인터프리터 처리 성능 실험으로 재귀 함수로 피보나치 수열을 계산하였을 때 PC 수행 시간에 대한 모바일 버전 수행 시간 백분율 기하 평균은 0.96으로 모바일 환경에서도 일반 컴퓨터 환경에 버금가는 처리 성능을 얻음을 확인하였다.

• 한국HCI학회:학술대회논문집
• /
• 한국HCI학회 2007년도 학술대회 2부
• /
• pp.489-496
• /
• 2007

u-러닝(u-learning) 체제의 도입은, 다양한 형태의 원격교육을 지원하기 위한 교수-학습 시스템 및 모형을 요구하며, 이에 따라 유무선 인터넷을 이용한 u-러닝 시스템이 지속적으로 개발 적용되어 왔다. 하지만, 현재 운영되고 있는 대부분의 원격교육시스템은 교수자와 학습자간의 지속적인 쌍방향 상호작용 유지의 어려움, 시스템 구축을 위한 경제적 부담, 시스템 운영에 투입되는 교수자의 기술적 소양 부족 등의 문제점을 안고 있다. 이러한 문제점을 해결하기 위해서는 다음 항목에 대한 제고가 필요하다. 첫째, 효율적인 쌍방향 상호작용은 학습자 행동에 대한 지속적인 모니터링 및 피드백, 그리고 교수자의 상시 접속 상태 유지를 전제로 한다. 이는 사이버 교사(cyber tutor)를 이용하는 지능형 학습에 대한 논의로 이어진다. 둘째, 구현될 시스템은 경제성과 재사용성 측면이 고려되어야 하며, 이는 기존의 학교 현장의 인프라를 활용하는 u-러닝 개념의 학습 환경, 즉 이동성 네트워크 구조에 대한 설계가 요구된다. 셋째, 시스템의 직접적인 운영 주체인 일선 교사들의 기술적 소양을 고려할 때, 시스템 구축 및 사용상의 편리성, 학습 진행을 위한 보조적 지원 장치 등이 충분히 전제되어야 한다. 이에 본 연구에서는, 이동성과 내재성의 u-러닝 개념을 포함하고, 지능형 가상 교수자(cyber tutor)에 의한 블랜디드 학습(blended learning)을 도입하며, 사용자의 기술적, 경제적 부담의 제거가 가능한 지능형 u-러닝시스템을 개발하였다. 본 연구에 의해 개발된 시스템은 기존의 네트워크 인프라와 u-러닝의 개념을 통합하는 네트워크 구조, 원격학습을 지원하는 네트워크 화이트보드, 학습 과정의 저장과 해석을 지원하는 스크립트 인터프리터, 학습자 반응에 대한 피드백을 자동 제공할 수 있는 지능형 인터프리터로 구성되었다.

• 한국HCI학회:학술대회논문집
• /
• 한국HCI학회 2006년도 학술대회 2부
• /
• pp.487-492
• /
• 2006

컴퓨터 네트워크의 발전에 의해 학습 공간의 시공간적인 확대와 교육 현장에서 교수-학습 과정에 대한 새로운 교수방법을 요구되었고, 유무선 방송, 인터넷 등을 이용하여 다양한 형태의 원격교육이 구체화되어 왔다. 하지만, 현재 운영되는 대부분의 원격교육시스템은 실질적인 학습 상황에서 단방향적인 개별 학습 형태를 보이고 있고, 사용자간의 쌍방향 상호작용을 위해서는 교수자나 학습자에게 일정 수준이상의 기술적 소양과 경제적 부담을 요구한다. 또한 교수자에게는 교수-학습 상황에서 발생하는 학습자 행동에 대한 실시간적인 모니터링과 학습자의 학습과정에 대한 평가의 어려움을, 학습자에게는 자기 반성의 기회를 제대로 제공하지 못하는 문제점을 안고 있다. 이에 본 연구에서는 원격교육에서의 협동학습 지원, 사용자의 기술적, 경제적 부담의 제거, 학습 전(全) 과정에 대한 원활한 모니터링과 피드백 기회의 제공을 목적으로 원격협동학습 시스템을 설계하고, 이를 개발하였다. 본 연구에 의해 개발된 원격협동학습 시스템은 원격협동학습을 지원하는 네트워크 화이트보드, 학습 과정 및 결과를 자연어로 저장하는 저장 모듈, 그리고 저장된 학습 스크립트 파일을 해석하여 재생하는 스크립트 인터프리터로 구성되었다. 네트워크 화이트보드는 소프트웨어적으로 구현되어 부가적인 장치가 불필요하고, 통신 서버를 분산하여 서버 구축에 대한 부담을 제거하였고, 학습 내용 화면을 대화창으로 사용하여 사용자의 사용 편리성을 제고하였다. 또한 원격학습의 장(場)에 교수자가 참여하여 실시간적 모니터링이 가능하고, 학습의 전(全) 과정 및 결과를 저장한 자연어 스크립트 파일에 의해서도 학습자 행동에 대한 모니터링이 가능하다. 저장된 자연어 스크립트 파일은 구현된 인터프리터를 이용한 재생뿐 아니라, 파일 자체만으로도 학습과정을 판독할 수 있고, 스크립트 파일에 대한 해석은 교수자에게는 학습자의 학습 과정에 대한 평가 및 피드백의 근거를, 학습자에게는 자신의 학습 행동에 대한 반성의 기회를 제공한다. 본 시스템은 기존의 원격교육시스템에 비해 장비 및 인터페이스 측면에서 간소화되었고, 원격교육에 면대면 학습 개념을 근사적으로 접목시킨 교수 모델로서의 충분한 가치를 제공하나, 실제적인 학습 적용과 효과에 있어서의 타당성은 차후 검증이 있어야 하고, 또한, 이에 따른 시스템에 대한 지속적인 보완도 필요하다.

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

능동 네트워크에 관한 연구들은 능동 패킷 정의와 능동 센서 프로그램 언어, 능동 노드의 구성, 경로 설정에 관한 것이다. 본 논문에서는 정보처리가 가능하고 원격에서 제어 가능한 능동 라우터 시스템의 구축 방향을 제시하고 능동 라우터 시스템에 전달되는 능동 패킷에 대한 정의와 능동 센서 프로그램 언어 및 인터프리터도 설계 및 구현한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권5호
• /
• pp.403-410
• /
• 2010

하스켈의 모나드는 순수 함수형 프로그래밍뿐만 아니라 명령형 형태의 프로그래밍도 가능케 하고 있다. 본 연구에서는 순수 함수형 프로그래밍 방식으로 코딩된 어셈블리 언어 인터프리터 구현을 모나드 방식으로 재 구성함으로써 모나드 추상화와 프로그래밍 기법의 특성을 부각시킨다. 모나드 프로그래밍은 스택과 심볼 테이블에 상태 모나드를 적용하는 것과, 이 모나드들을 상태 모나드 트랜스포머를 이용하여 통합 구성하는 두 단계로 이루어진다. 결과적으로, 모나드 프로그래밍에 의한 코드는 순수 함수형 스타일의 코드보다 훨씬 더 간결하고 직관적임을 볼 수 있다.