• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.10a
• /
• pp.910-913
• /
• 2015

자바스크립트는 웹 페이지를 제어하기 위한 표준적인 스크립트 언어로 오랫동안 사용되어 왔다. 최근 웹 앱이나 서버사이드 응용 프로그램을 자바스크립트로 작성하게 되면서, 자바스크립트 프로그램을 더욱 빠르게 동작하도록 만드는 것이 중요한 이슈가 되었다. 본 논문에서는 암시적인 동적 타입 시스템을 사용하는 자바스크립트 언어에 Cartesian Product Algorithm을 적용하여 타입을 추론하고, 이 정보를 바탕으로 정적 타입 시스템인 C++ 코드로 변환하는 컴파일러의 구조와 알고리즘을 제시한다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 1998.12a
• /
• pp.483-493
• /
• 1998

본 논문에서 DES를 대체하기 위해 몇 년에 걸쳐 제안된 관용 암호알고리즘의 하나인 IDEA(International Data Encryption Algorithm)의 구현을 제안하고자 한다. IDEA의 암호화 수행시간의 개선을 위하여 VHDL(VHSIC Hardware Description Language)을 이용하여 하드웨어로 설계하였고 설계된 알고리즘은 EDA tool인 Synopsys를 사용하여 Synthesis하였으며, Xilinx의 FPGA XC4052XL을 이용하여 One Chip화 시켰다. 입력 클럭으로 30MHz를 사용하였을 때, data arrival time은 780.09ns였으며, 80.01 Mbps의 속도로 동작하였다. 본 논문은 설계 언어로서 VHDL을 사용하였고, FPGA Chip에 구현하여 동작 확인을 하였다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2001.06a
• /
• pp.488-491
• /
• 2001

사용자의 권한을 위임받아 다양한 네트워크 환경에서 원하는 작업을 수행하는 이동 에이전트 시스템이 현재 Java 언어를 기반으로 구축되고 있다. 본 논문에서는 악의적인 에이전트 동작으로부터 시스템을 보호하고 그 동작을 제한·추적하기 위한 이동 에이전트 실행 환경 보호 모델을 제안하고 구현 환경에 대하여 논의한다.

• Electronics and Telecommunications Trends
• /
• v.14 no.6 s.60
• /
• pp.38-50
• /
• 1999

적합성 시험(conformance test)은 통신 프로토콜 제품에 대해 그 제품이 프로토콜 표준에 따라 올바르게 구현되었는지를 검증하는 것이다. 그러므로 적합성 시험은 구현제품의 기능과 그 기능의 동작 행위가 프로토콜 표준에서 기술된 요구사항을 만족하는지를 조사하는 것을 요구하며 이를 시험규격으로 표현한다. 이때 프로토콜의 동작행위에 대한 시험 시나리오는 적합성 시험규격의 핵심을 이루는 것으로 시험을 기술하기 위한 국제표준 언어인 TTCN(Tree and Tabular Combined Notation)으로 기술한다. 본 논문에서는 적합성 시험 및 TTCN에 대하여 살펴보았다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10c
• /
• pp.131-133
• /
• 1999

유니뷰(uniview) 시스템은 이기종 분산환경에서 동작하는 프로그램을 디버깅하는 도구로서 시스템 종속적인 부분은 디버깅 서버로 분리시킴으로써 사용자 인터페이스의 이식성과 개발의 효율성을 증대시킨 클라이언트/서버 시스템이다. 현재 유니뷰 시스템은 GNU 디버거인 gdb를 기반으로 동작하며 C 및 C++언어를 지원한다. 본 논무에서는 자바 어플리케이션 디버깅을 지원하기 위한 유니뷰 jdb 서버와 서버 시스템 개발 과정 중 프로그램 수행 제어 명령에 대한 설계 및 구현에 대해 설명한다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 1995.11a
• /
• pp.341-364
• /
• 1995

본 고에서는 DAVIC 에서 권고 중인 VOD (video-on-demand) 시스템에 대한 액세스 제어 기법을 분석하고, 이를 바탕으로 국내 VOD 시스템에 적용 가능한 액세스 제어 기법을 제시한다. 이를 위하여 DAVIC 의 VOD 시스템에서의 보안 기법을 분석하고, 보안 시스템을 위한 참조 모델과 요구되는 서비스 및 보안 메카니즘을 분석한 후, 국내 VOD 시스템에 적용 가능한 액세스 제어 시스템 실현 방안과 정보보호 메카니즘을 제시한다. 그리고 방송용 서비스에 적용 가능한 ECM 채널을 DES, MD5, 그리고 RSA 알고리즘을 이용하여 C 언어로 구현하고 관련 동작을 시뮬레이션한다. 시뮬레이션 결과 ECM 채널이 정상 동작됨을 확인한다. 제시된 방안은 국내 VOD 시스템 실현시 유용하게 활용될 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.781-783
• /
• 2003

그룹 키는 어플리케이션 계층에서 많이 사용하고 있으며, 이는 각자 다른 환경에서 동작하는 사례가 많다. 따라서, 이기종간의 환경에서 동작하는 그룹 키를 언어 중립적이고 플랫폼 독립적인 XML을 사용하여 통합 가능한 환경의 구성을 위해 그룹 키 프로토콜을 설계하고자 한다. 이는, XML의 특성상 어떠한 환경에서도 영향을 받지 않으므로 어느 플랫폼이나 적용이 용이한 이점을 가진다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 1997.11a
• /
• pp.23-32
• /
• 1997

사실감 있는 모델의 생성과 동작제어 기술은 컴퓨터 그래픽스와 가상 현실감 등의 다양한 응용 분야에서 이용되고 있다. 컴퓨터 애니메이션에 동작 제어의 대상이 되는 물체는 다관절체(articulated body)이며, 이 다관절체를 뼈대(link)와 관절(joint) 그리고 이를 둘러싸고 있는 피부로 모델링하고, 운동학(Kinematics), 동역학(Dynamics)를 적용하여 동작을 생성한다. 본 논문은 컴퓨터 애니메이션에서 사용할 수 있는 3차원 다관절체의 생성과 애니메이션을 위한 다관절체 오브젝트 편집 시스템에 관한 것이다. 다관절체를 관리하기 위한 다관절체의 데이터 구조를 설계하고, 사용자 인터페이스를 추가하여 대화식으로 다관절체의 골격을 정의한다. 정의된 다관절체의 골격과 물체의 모양을 나타내는 기하 데이터를 접합하여 애니메이션에 적합한 물체를 모델링하기 위한 스킨-스켈레턴 알고리즘을 제안한다. 모델링된 물체의 관절을 조작하여 키프레임 애니메이션으로 동작을 제어한다. SGI 워크스테이션에서 Open Inventor와 X/Motif를 이용하여 C++ 언어로 구현하였으며, 인체 모델을 대상으로 실험하였다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 1999.11a
• /
• pp.294-299
• /
• 1999

CCSR은 CCS에 시간적인 개념이 추가된 실시간 명세 언어로 실시간 프로세스의 정적 분석에 이용되고 있다. CCSR은 프로세스 전이 규칙을 이용하여 프로세스 동작의 관심 부분만 하여 분석하기 때문에 전체 태스크(task)의 동작을 분석하는데 적용하기 어렵고, 전이규칙에 따른 상태 변화를 이해하기 어렵다. E-TCPN은 시간 요소가 첨가된 Petri Net의 변형된 형태로 실시간 시스템의 분석과 모델링을 위한 형식적(formal) 방법을 제공한다. 본 논문에서는 CCSR로 표현된 프로세스 동작을 E-TCPN 모델에 적용함으로써 실시간 시스템을 중요한 사건을 중심으로 전체 태스크의 동작 과정을 표현하고 프로세스의 수행 과정을 이해하기 쉽도록 CCSR을 변형하여, E-TCPN 명세 모델에 적용하고, 적용된 E-TCPN으로 스케줄링가능성 분석 알고리즘을 제안하고 구현하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10b
• /
• pp.185-187
• /
• 2000

일본어에서 "てぃる"형태는 동작진행과 상태진행을 모두 나타내지만 한국어에서는 "고 있다"와 "어 있다"로 나누어 표기한다. 양 언어간의 상적인 의미 대응은 간단하지 않지만, 술부의 의미정보, 부사와 부사어의 의미정보 등을 이용하여 "てぃる"형태의 상적인 의미를 결정하는 것이 가능하다. "てぃる"형태의 적절한 대역어 선정을 위하여, 사전 속의 모든 일본어 술어에 다섯 종류의 의미코드를 입력한다. 즉, "1:동작진행만으로 사용되는 술어", "2:일반적으로는 동작진행으로 사용되지만, 수동인 경우에는 상태진행의 형태로도 사용되는 술어", "3:상태진행으로만 사용되는 술어", "4:동작진행, 상태진행의 구별이 애매한 술어", "5:기타"등의 상적인 의미분류코드를 술어별로 입력한다. 그리고 "2", "4" 형태의 술어로부터 진행형을 구별하기 위하여 부사와 부사어를 사용하는 방법을 제안한다.uot;5:기타"등의 상적인 의미분류코드를 술어별로 입력한다. 그리고 "2", "4" 형태의 술어로부터 진행형을 구별하기 위하여 부사와 부사어를 사용하는 방법을 제안한다.여 부사와 부사어를 사용하는 방법을 제안한다.