UN/EDIFACT용 전자문서편집기 구현

염희운 同德女子大學校 1997 同大論叢 Vol.27 No.1

Electronic Data Interchange(EDI) is the electronic exchange of intercompany business documents in a publicly defined standard data format. It is the passing of business documents such as purchase orders and invoices from one company's computer application to another company's application without human intervention. The UN/EDIFACT document standards are United Nations rules for internationally agreed standards for the electronic interchage of structured data. In this paper, we propose a form eidtor which supports UN/EDIFACT documents. The form editor displays a document from to the user, and provides facilities to view, edit and save data elements in the document form.

PKI 운용개념

염희운 동덕여자대학교 1998 정보과학연구 Vol.2 No.-

Diameter에서의 EAP 구현

염희운,김영인 同德女子大學校 情報科學硏究所 2004 정보과학연구 Vol.8 No.-

Diameter는 AAA 프로토콜로서 네트웍을 접근하는 사용자의 신분을 확인하고 접근을 허용하고 사용자 행동을 추적하는 인증, 인가, 어카운팅 서비스를 제공한다. EAP은 다양한 인증 방법을 지원하는 인증구조이다. 본 논문에서는 EAP 에서 지원하는 MD5-Challenge 인증 프로토콜을 Diameter 환경에 적용하기 위한 구현 방법을 제안한다. Diameter is an AAA protocol which provides authentication, authorization and accounting services for verifying the identity of, granting access to and tracking the actions of users who require access to the network. EAP is an authentication framework that supports various authentication methods. This paper proposes an implementation method of MD5-Challenge authentication protocol, supported by EAP, in the Diameter environment.

접근제어 시스템에서의 인가 정책 정의

염희운,김낙훈 동덕여자대학교 2003 정보과학연구 Vol.7 No.-

접근제어 시스템은 안전하게 웹 사이트를 관리하기 위한 인증 및 인가 서비스를 제공하는 플랫폼이다. 인가는 사용자들이 접근할 권한이 있는 자원들을 접근할 수 있도록 허용하는 것이다. 보안 관리자들은 접근제어 시스템을 이용하여 웹 응용들과 자원들을 보호하는 보안 정책을 設定할 수 있다. 본 논문에서는 접근제어 시스템에서 사용될 수 있는 인가 정책을 제안한다. 제안된 인가 정책은 중앙집중 방식으로 인가 정책을 관리하며, boolean logic을 사용하여 웹 자원들에 대해 세밀하게 인가 정책을 정의하며, 인가 결정을 위해 다양한 종류의 데이터를 동적으로 사용하며, 관리자들이 그래픽 사용자 인터페이스만으로 쉽게 인가 정책을 설정할 수 있도록 한다 The access control system is a platform that provides authentication and authorization services for the secure management of web sites. Authorization allows users with access privileges to access protected resources. Administrators can configure security policies that protect web applications and resources using access control systems. This paper proposes a authorization policy in the access control system. The proposed authorization policy manages polices centrally in the directory server, defines fine-grained access control using boolean logic, uses various dynamic data for authorization decisions, and allows security administrators easily configure authorization policy using GUI tools.

키복구 정책동향 분석

염희운,김영인 동덕여자대학교 2001 정보과학연구 Vol.5 No.-

각국에서는 법 집행을 위한 정부의 암호화된 데이터에 대한 접근권 보장과 개인의 프라이버시 보호 및 전자 상거래 진흥이라는 상반되는 요구의 균형점을 찾기 위한 키복구 정책들이 활발히 추진되어 왔다. 본 논문에서는 키복구에 대한 국외의 정책동향을 분석한다. 키복구에 대한 국제 규범을 살펴보고 미국, 영국, 프랑스, 호주, 독일, 일본의 키복구 정책에 대해 분석한다.

SSO 시스템에서의 다중 도메인 지원

염희운,김낙훈 동덕여자대학교 2002 정보과학연구 Vol.6 No.-

다수의 웹 응용을 기업 내에서 사용하게 되면서 사용자들은 복수개의 아디와 패스워드를 관리하게 되었다. 이 문제를 해결하기 위해 한번 로그인으로 여러 응용에 접근할 수 있는 SSO(Single Sign-On) 시스템이 제안 되었다. SSO 처리를 위해 HTTP 쿠키를 사용할 수 있는데 쿠키는 같은 도메인 내의 웹 서버에게만 전달되는 제한점이 있다. 본 논문에서는 URL 리디렉션을 이용해 한번 로그인으로 다른 도메인의 웹 서버에도 접근할 수 있는 다중 도메인 SSO 처리 방법을 제안한다. The proliferation of web application forces users to manage multiple user IDs and passwords. Various SSO systems have been proposed to allow users to access multiple applications with a single login procedure. SSO in a web environment can be achieved using HTTP cookies. Cookies, however, have a limitation that they cannot be passed to web servers in a different domain. This paper proposes a SSO method that supports muti-domain using URL redirection.

OCSP 설계

염희운,김영인 동덕여자대학교 2000 정보과학연구 Vol.4 No.-

공개키 암호 알고리즘에 기반을 둔 보안서비스를 제공하는 응용은 공개키를 사용하기 전에 통신 상대자의 공개키 인증서가 정당한지 검증해야 한다. 검증 작업의 일부로 인증서 폐기상태를 검사하게 된다. 본 논문에서는 인증서 검증시 필요한 인증서 폐기정보를 분배하기 위한 다양한 메커니즘들을 살펴보고 최근에 제안된 OCSP(Online Certificate Status Protocol) 구현을 위해 OCSP 클라이언트와 OCSP 응답자를 설계한다. Applications, providing security services based on the public key cryptoalgorithm, must validate the authenticity of the public key certificate of the relying party. As a part of the validation process, the revocation status of a public key certificate is checked. In this paper, we analyses various revocation status checking mechanisms, and design the OCSP client and responder for the implementation of recently proposed OCSP protocol.

XOM API를 이용한 X.400 사용자처리기(UA) 구현

염희운(Heewoon Yum) 한국정보과학회 1994 한국정보과학회 학술발표논문집 Vol.21 No.2B

X.400 메시지처리시스템(MHS)은 국제적으로 표준화되고 통용되는 전자우편시스템이다. X.400 MHS 서비스를 이용하는 응용프로그램을 구현하는데 있어 특성 X.400 MHS 제품의 구현에 종속되지 않고 X.400 메시지에서 사용되는 복잡한 ASN.1 데이타 구조를 직접 처리하지 않는 응용프로그램 개발의 필요성이 대두된다. X/Open에서는 이를 위하여 표준 API인 XOM API, X.400 Application 개발을 가능하게 하였다. 본 논문에서는 X.400 서비스를 사용하는 사용자처리기(UA) 구현에 대하여 XOM API 및 X.400 Application API를 중심으로 서술한다.

e-learning을 위한 LMS module 설계

김영인,염희운 同德女子大學校 情報科學硏究所 2004 정보과학연구 Vol.8 No.-

지식사회의 교육환경이 급격하게 변화하고 있다. 아직 지식사회에서의 교육형태가 어떻게 될 것인지에 대하여서는 많은 연구가 필요하지만 분명한 것은 원격교육이 커다란 비중을 가질 것이라는 것에 대해서는 이론의 여지가 없다. 불행하게도 많은 교육관련자들은 단순하게 internet을 통한 교육매체가 바뀌어진 것으로 인식하고 있는 현실이다. 사회환경이 변화하였으므로 교육 형식도 변화해야 함에도 불구하고 근본적인 접근보다는 교육 매체중심으로 교육환경을 생각하고 있는 우를 범하고 있다. 학습단계별 원격 교육의 필요성이 서로 다르다. 원격교육이 가지는 장점을 고려하여 학습자에게 적합한 학습으로 지원을 해야한다. 교수자는 학습자에게 internet을 통하여 학습자료를 제공하는 차원이다. 이들의 학습환경을 고려하지 못하고 있는 것이다. 우리가 기대하는 원격교육의 완성도에 미치지 못하고 있는 것은 이 때문이다. 따라서 현재의 원격교육방법으로는 교육효율을 얻기가 어렵다. 반면 교수자가 직접 상호주의를 주도하면 교육효과 면에서 좋은 결과를 얻을 수 있다. 그러나 현재의 교육체계에서 상호주의 교육방법은 교수자에게 시간과 부담이 증대할뿐 만 아니라 현실적 여러문제가 발생한다. 비록 교육효율을 높이는 방법이라고 하더러도 교수자의 역할의 한계 및 교육원가에 대한 것을 고려하면 좋은 방법이라고 할 수 없을 것이다. 따라서 상호주의에 따른 부작용을 해결하면서 교수자의 교육에 대한 각자의 기능을 최대한으로 구현하며 교수자와 학습자가 편리하고 간편하며 효율적으로 진행하는 learning 시스템 구축을 본 연구에서 제안한다. 이를 구현하기 위하여 contents database를 기본으로 feedback 시스템과 knowledge based 시스템을 결합하여 새로운 형태의 자율학습시스템을 제안한다. Recently, we say next society that is a knowledge based society. Many university try to open e-learning for several positive reasons. So, e-learning mode is very widely spread most kind of class substitute and supporting. But they do not correctly have the definitions e-learning models. In this paper introduce one kind of design model to bulit for e-learning : content frame, learning management system with intelligent and implement lms module which are structured by database system. Content frame is based on database system as a e-learning has been studied in the field for educational technology and some company like us west are taken by this methods by knowledge management business for officer education. The concept of contents with database system is increased effective learning ability for self-studies e-education. Then, this study are designed a new contents frame structure with database along with all kind of functions. The teachers have too much the load and times. It is not good for e-learning system. This studies are presented the e-learning for effectively model with strong interaction between teacher and students. This model is built by contents database system, feedback system and knowledge based management system.

Structural Semantics for Second-Order Recursion Theory

배민오,염희운 동덕여자대학교 2001 정보과학연구 Vol.5 No.-

함수나 연산에 적용할 수 있는 이차 함수를 펑셔널이라고 한다. 계산기능성이론에서는 오래 전부터 램다 계산법을 계산을 분석하기 위해 사용했다. 본 논문에서는 이차 순환을 구축하기 위해 확장된 램다 계산법을 이용하였다. 이 계산법이 함수적 순환의 적용영역을 넓히고 또한 원 정의에서는 제의된 중첩과 순환을 허용한다. 확장된 램다 계산법은 엄격한 정형적 방법에 의해 제시하였고, 이를 위한 의미론으로 평가 연산자를 제시하였다. A functional is a second-order function or operation which can be applied to objects which are also functions or operations. The use of the lambda calculus to analyze computations has a long tradition in computability theory. Here we consider an extended calculus that includes a construction for recursion. Our calculus enlarges the original formalism of functional recursion and allows for a number of nested recursions that were excluded in the original definition. We deal with the extended lambda calculus in a strict formal manner and give the semantics via an evaluation operator.