• 한국학교수학회논문집
• /
• 제2권1호
• /
• pp.181-195
• /
• 1999

This research is produced as a applet of learning materials, and is made with the internet languages HTML, Java, and NamoWebeditor. It contains "Greatest Common Divisor and Least Common Multiple", "Parallel translation of function of second order", "Pythagoras Theorem", which is the current middle school mathmatics textbook for third graders. The keynote of this research is that the students can study individually through logging into the internet on their own computers; the program is made using graphics and animation on order to develop the learners′ interest in mathematics. I hope that this research can supplement our currently insufficient internet educational data.

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

본 논문에서는 자바 기반의 비디오 스트리밍을 위한 시스템의 설계와 구현에 대해 논한다. 웹 브라우저를 통해 수행되는 애플릿(applet) 형식의 클라이언트는 지역 디스크에 존재할 필요가 없고 플랫폼에 대한 독립성(independence)과 이식성(portability)을 가질수 있다. 본 논문에서는 실험을 통해서 이러한 비디오 스트리밍 시스템의 유용성을 검증했다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.626-628
• /
• 2000

Java는 간결하고 객체 지향적이며 플랫폼 독립적으로 실행 가능한 특성을 지니고 있어, 웹 상에서의 증대된 표현능력과 유연성을 제공해 왔다. 하지만 이렇게 개방적이고 넓은 수용 가능성은 보안에 있어 많은 위협 취약점을 발생시키게 한다. 특히 현재 네트웍을 통해 널리 사용되는 애플릿은 그 자체가 사용자의 시스템에 전송되어 실행되므로, 만일 악의의 사용자가 그 애플릿 파일을, 역 컴파일러를 사용해 소스 코드를 얻어낸다면, 애플릿 서비스를 하는 시스템 및 네트웍에 대한 보안 문제 및 경제적 피해는 물론이고, 애플릿 개발자 및 다른 사용자들에게 있어 많은 문제를 일으킬 수 있다. 따라서 본 논문에서는 현재 자바 애플릿 역컴파일에 의한 보안 취약성 및 문제점을 진단하고, 거기에 대처할 수 있는 대응 기법에 대한 연구를 통해 보다 나은 자바 애플릿 역컴파일 방지 기법을 제시하려고 한다. 본 논문에 제안된 방법은 역컴파일 방지를 위해 클래스 파일에 혼란 코드를 삽입하는 방법으로서, 그 기법 및 사용 방법을 제시하고 역컴파일 방지 도구의 모델을 제안한다. 또한 앞으로의 연구는 여기서 제안된 자바 애플릿 역컴파일 방지 도구 모델의 세부적 구현으로 진행되어야 하겠다.

• 한국공간정보시스템학회:학술대회논문집
• /
• 한국공간정보시스템학회 2002년도 춘계학술대회 논문집
• /
• pp.15-21
• /
• 2002

기존의 WebGIS는 구현방법에 따라서 서버중심과 클라이언트중심의 WebGIS모델로 구분할 수 있다. 서버중심의 WebGIS모델은 결과데이터가 이미지(JPG,GIF)로 클라이언트에 전송되므로 사용자는 기본적인 GIS 기능만을 처리할 수 있고, 데이터 확대 시 데이터가 손상되는 문제들이 있다. 클라이언트 중심의 WebGIS모델은 벡터데이터(Java-applet, ActiveCGM) 전송을 위해 고가의 특정 소프트웨어를 구입해야 하고, 플랫폼에 의존적이며, 표준화된 포맷이 아니므로 웹에서 데이터 상호 전송 및 호환의 문제가 있다. 본 논문에서는 기존의 WebGIS모델의 전반적인 분석을 통해서 각기 구축된 WebGIS의 구현방법과 문제점에 대해 고찰해 본다. 그리고 이런 문제점들이 대안인 XML(extensible Markup Language)으로 기술된 GML (Geographic Markup Language)과 SVG(Scalable Vector Graphics)를 이용한 WebGIS에 대한 연구와 향후 우리가 연구해야 할 방향에 대해 모색해 본다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.166-168
• /
• 2000

자바가상기계(JVM : Java Virtual Machine)는 실행전에 바이트코드를 확인하는 바이트코드 검증기와 실행환경에서 점검하는 바이트코드 인터프리터를 포함한다. 자바 애플릿은 서비스 거부 공격이나, 사용자를 속이기 위한 조작한 링크 정보를 상태바에 보인다거나, 전자메일을 위조하여 보내는 등의 사용자에 유해한 행위를 할 수 있다. 웹브라우저를 통해 유해한 행동을 하는 클래스에 대해 사전에 바이트코드 수정을 통하여 안전한 클래스로 대체한다. 바이트코드 수정에는 클래스 수준 수정과 메소드 수준 수정이 있다. 클래스 수준 수정은 자바의 상속성을 이용하고. final 클래스나 인터페이스처럼 상속되지 않는 클래스는 메소드 수준에서 바이트 코드 수정을 한다. 메소드 수준 수정은 바이트코드 명령과 Constant Pool을 수정한다. 바이트 코드 수정을 적용하면 웹서버, 클라이언트, 브라우저에 대해 어떠한 별도의 작업도 필요없이 프락시 서버에서 유해클래스를 Safe 클래스로 수정한 후 브라우저에 보인다.

• 디지털산업정보학회논문지
• /
• 제7권2호
• /
• pp.29-37
• /
• 2011

Java bytecode verification is a critical process to guarantee the safety of transmitted Java applet on the web or contemporary embedded devices. We propose a design of framework which enables to analyze and verify java bytecode. The designed framework translates from a java bytecode into the intermediate representation which can specify a properties of program without using an operand stack. Using the framework is able to produce automatically error specifications that could be occurred in a program and express specifications annotated in intermediate representation by a user. Furthermore we design a verification condition generator which converts from an intermediate representation to a verification condition, a verification engine which verifies verification conditions from verification condition generator, and a result reporter which displays results of verification.

• 공학교육연구
• /
• 제3권2호
• /
• pp.38-43
• /
• 2000

인터넷을 통한 WWW(World-Wide Web)는 사이버 교육을 위해 새로운 기회를 제공한다. 웹은 다른 네트워크 툴과 조합되어 학습자에게 유용한 교육적 정보를 제공한다. 본 논문에서는 인터넷상에서 전자회로 원리 이해용 애플릿을 개발하여 몇 가지 예제 애플릿을 제시하였다. 이 논문에서 제시된 방식을 가상대학 교육에 적극 활용한다면 가상대학 강좌의 효율성을 크게 증진시킬 수 있으리라 생각된다.

• 한국공간구조학회논문집
• /
• 제1권1호
• /
• pp.135-142
• /
• 2001

This paper proposes structural analysis on the World Wide Web to form a part of the architectural design project. It purposes modeling space frames and a structural analysis program on the internet only by inputting basic data for forming a shape in the whole phase of space frame analysis. The analysis data is conducted by Oracle DBMS(DataBase Management System), GUI(Graphic User Internet) by Java Applet and connection with server and database by Java Servlet respectively. The result from modeling and analysis is provided as graphic and text file forms by web browsers. Programs can be executed irrespective of user's OS by using internet and highly-secured system is constructed taking advantage of Java. Of great efficiency is maintaining and recycling data as the whole is dealt by database from the beginning to the end of program.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2002년도 하계학술대회 논문집 D
• /
• pp.2834-2836
• /
• 2002

인터넷 서비스의 확대에 따라 이를 이용하는 사용자와 다양한 웹사이트들이 생겨나게 되었다. 이와 함께 사용자의 정보와 웹사이트들의 컨텐츠를 보호하기 위한 목적으로 인터넷 보안에 대한 인식도 커지게 되었다. 본 논문에서는 패스워드 기반 사용자 인증 시스템에 대해 연구하였다. 사용자는 시스템 자원을 활용하기 위해서 시스템으로부터 사용자 인증을 받아야한다. 일반적으로 패스워드 기반 인증 방식에서는 사용자가 시스템에 등록한 ID, 패스워드를 통해 인중을 받는다. 그러나 현재 숫자나 문자로 이루어진 패스워드 입력 값은 인증 받지 않은 사용자에게 도용될 가능성이 높다. 따라서 본 논문에서는 숫자, 문자로 이루어진 패스워드에 입력 시간 값을 적용해서 패스워드를 암호화하는 방법에 대해 제시한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 춘계학술발표논문집 (상)
• /
• pp.489-492
• /
• 2002

자바카드 상에 탑재된 응용 애플릿의 풀질을 측정하는 것은 중요하다. 이는 애플릿 테스트 베드를 구축하기 위해 필수적인 과정으로, 본 연구에서는 자바 카프용으로 개발되는 응용 애플릿의 풀질을 분석하고 검증하는 방법이 필요하다. 애플릿과 호스트간의 커뮤니케이션 시에 발생되는 이벤트들을 케이스 별로 구분하여, 자바카드 런타임 환경(JCRE)을 통하여 작동되는 Command APDU 와 Response APDU들의 커뮤니케이션 테스트 케이스를 검증하는데 정형 검증 방법 이용이 가능하다.