• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.30 no.4
• /
• pp.573-582
• /
• 2020

Fuzzing is a method of testing software by randomly generating test cases. Since its introduction, a variety of fuzzing techniques have been studied. Among them, mutation-based fuzzing is an efficient method that finds real-world bugs even though it uses a simple approach such as probabilistic bit-flipping and character substitution. However, the interpreter fuzzing has difficulty in applying general mutation techniques because the interpreter requires grammar and semantic correctness input values. In this paper, we present a novel mutation-based fuzzing on JavaScript interpreters with a dynamic data flow analysis. To this end, we implement JMFuzzer that can generate various types of mutated test cases that operate normally without runtime errors in JavaScript interpreter considering syntax and semantics. As a result, we found numerous unknown vulnerabilities in the latest JavaScript interpreters. We reported all of them to the vendors.

• The KIPS Transactions:PartA
• /
• v.10A no.2
• /
• pp.101-110
• /
• 2003

ECMAScript can support VXML in utilizing the system information, analysis of complex equation, iterative execution, declaration of functions and their call, etc. However, since the ECMAScript is the standard script language for Internet, there is no way that the script lithely connects with VXML. In this paper, we presented the design and implemented the interpreter that meets the requirement of ECMAScript for its flexible connection with VXML. For connections, we added some functions in modified ECMAScript : management of VXML variables, execution of system functions, analysis of equations and function calls. From the result of connection, it is shown that new ECMAScript can handle the various algorithms of VXML.

• Journal of the Korea Society of Computer and Information
• /
• v.28 no.2
• /
• pp.111-119
• /
• 2023

In this paper, we investigate the feasibility of functional programming in the Scala language. The main issue is to what extent Scala is able to handle major properties of functional programming such as lambda expression, high-order functions, generic types, algebraic data types, and monads. For this purpose, we implement an interpreter of an imperative language. In this implementation, the same functional programming techniques are applied to both Haskell and Scala languages, and then these two versions of implementations are compared and analyzed. The abstract syntax tree of an imperative language is expressed as algebraic data types with generics and enum classes in Scala, and the state transition of imperative languages is implemented by using state monad. Extension and given, new features of Scala, are used as well.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11a
• /
• pp.22-24
• /
• 2005

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

• Journal of Korea Multimedia Society
• /
• v.6 no.7
• /
• pp.1245-1255
• /
• 2003

Request for network becomes complicated gradually and network traffic is increasing, To overcome this situation, the structure of network node should be changed to accept new service quickly and economically by executing program code in node itself. Active Network's research can use net resources more properly because of executing program within node itself. In this paper, we design a programming language, namely ASL, for Active Sensor to describe function and behavior of active sensor. We also design and implement the interpreter for proposed ASL.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2023.11a
• /
• pp.60-63
• /
• 2023

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

• 한국HCI학회:학술대회논문집
• /
• 2007.02b
• /
• pp.489-496
• /
• 2007

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

• 한국HCI학회:학술대회논문집
• /
• 2006.02b
• /
• pp.487-492
• /
• 2006

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

• Proceedings of the Korea Multimedia Society Conference
• /
• 2004.05a
• /
• pp.429-432
• /
• 2004

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

• Journal of KIISE:Software and Applications
• /
• v.37 no.5
• /
• pp.403-410
• /
• 2010

Monad in Haskell allows one to do imperative-style programming as well as pure functional programming. In this work, we characterize monadic abstraction and its programming technique by restructuring an assembly language interpreter coded in pure functional style into the one by the monadic style. Monad programming consists of two phases; the State monad is applied to a stack and a symbol table, and then a State Monad Transformer integrating these two monads is constructed. As a result, we can see that the program code by monad programming is much clearer and more intuitive than one written in the pure functional style.