• Nuclear Engineering and Technology
• /
• v.27 no.3
• /
• pp.385-392
• /
• 1995

A software engineering process has been developed for the design of safety critical software for Wolsong 2/3/4 project to satisfy the requirement of the regulatory body. Among the process, this paper described the detail process of validation testing peformed to ensure that the software with its hardware, developed by the design group, satisfies the requirements of the functional specification prepared by the independent functional group. To perform the test, test facility and test software ore developed and actual safety system computer was connected. Three kinds of test cases, i.e., functional test performance test and self-check test were programmed and run to verify each functional specifications. Test failures ore fedback to the design group to revise the software and test result were analyzed and documented in the report to submit to the regulatory body. The test methodology and procedure were very efficient and satisfactory to perform the systematic and automatic test. The test results were also acceptable and successful to verify the software acts as specified in the program functional specification. This methodology can be applied to the validation of other safety-critical software.

• Proceedings of the Korea Database Society Conference
• /
• 1998.09a
• /
• pp.433-447
• /
• 1998

데이터 웨어하우스는 일상업무 처리를 위한 운영 데이터(Operational Data)의 관리를 목적으로 구현되는 전통적인 데이터베이스 시스템에 대응하는 새로운 개념으로서, 업무분석 및 의사결정을 위한 '정보 데이터(Informational Data)'를 효과적으로 제공하는 것을 목적으로 하고 있다. 최근 가트너그룹의 조사에 의하면, 데이터베이스 보유기업중 대부분이 향후 5년 이내에 데이터 웨어하우스를 구축할 것으로 전망하고 있어 국내외적으로 급격한 수요증가가 예상되고 있다. 데이터 웨어하우스에 대한 수요 증대와 더불어, 국내 연구 기관에서도 독자적인 데이터 웨어하우스 관리 시스템 또는 구현 도구들을 개발하기 시작하고 있으나, 주로 UNIX 시스템을 대상으로 하고 있다.(중략)

• Review of KIISC
• /
• v.32 no.3
• /
• pp.41-47
• /
• 2022

랜섬웨어는 2005년부터 알려지면서 지금까지도 전 세계적으로 큰 피해를 입히며, 사회적으로 심각한 문제를 야기하고 있다. 또한, 랜섬웨어 공격 그룹은 개인보다는 금전적 이익을 크게 얻을 수 있는 기업들을 주로 공격하고 있으며, 이에 대응하기 위해 각 국에서는 랜섬웨어에 대한 대응하는 방법과 정보를 제공하고 있다. 따라서 본 고에서는 많은 비중을 차지하고 있는 블록암호 기반 랜섬웨어에 대한 분석 사례 동향을 살펴보고자 한다.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.1
• /
• pp.127-143
• /
• 1996

Advanced countries are very active in deploying the National Information I infrastructure which provides universal service to promise fruitful quality of futuree life. Even in the distributed environment, we can closely converse, work together, and share information in a very convenient way. This is actually enabled with the help of groupware technology, which are currently focused and researched in a larger popularity. The aim of this study is to design a portable pack for group communications management to support the development of groupware application. In the paper we begin with technical survey, continue to build our own model for group communications man agement, and design its architecture and procedure. We also suggest group addressing mechanism under Internet environment such as how to create IP multicast address and IP port number dynamically and as a globally unique value for the communication session, with the help of the hierarchical and distributed address managers. We also indicate the reliable data transmission services to remedy the unreliable feature of the UDP multicast services, and finally the architecture/ applied to support the practical applications is briefly discussed for verification of the designed concept.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10c
• /
• pp.543-545
• /
• 2000

분산 이기종 시스템간에 어플리케이션을 개발하기에 적합한 미들웨어로 OMG가 제안한 CORBA가 많이 사용되고 있는데, CORBA는 객체들 간에 멀티캐스트 통신을 지원하지는 못한다. 따라서 멀티캐스트 통신을 지원하기 위해 기존의 분산시스템에서 그룹서비스를 CORBA에 통합하기 위해 많은 연구가 진행되고 있다. 본 논문에서는 CORBA를 기반으로 한 그룹서비스와 그룹서비스의 관리로서 뷰의 관리와 시퀸스 객체를 통한 메시지 순서성 보장을 위한 방법을 제안한다.

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

IEEE 802.11 표준에 포함되어 있는 WEP 방식의 무선 랜 보안이 취약한 것으로 알려진 후 WEP을 대치할 새로운 표준이 802.1li 워킹그룹에 의하여 작성되고 있다. Wi-Fi는 중간단계로서 802.1li의 일부만을 구현하는 WPA 규격을 만들었다. 이 규격은 기존의 하드웨어를 그대로 사용하면서 소프트웨어와 펌웨어 갱신만으로 기존의 무선랜 취약점을 제거할 수 있게 한다. WPA규격을 준수하는 무선 랜 액세스포인트의 개발을 위하여 기존의 액세스포인트 디바이스 드라이버를 WPA를 지원하도록 수정하였으며, 사용자 인증 및 키 교환을 수행하는 소프트웨어를 설계 및 개발하였다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2019.01a
• /
• pp.359-360
• /
• 2019

본 논문에서는 2018년에 성횡한 악성코드에 대한 피해 사례를 살펴본 후 이를 적극적으로 대응하기 위한 방안을 살펴본다. 특히 가상통화 거래소에 대한 해킹 사고 및 가상화폐에 대한 지속적인 해킹 시도가 탐지되면서 관련 소식들이 언론에 지속적으로 보도되었다. 또한 이와 관련하여 PC 및 서버 자원을 몰래 훔쳐 가상통화 채굴에 사용하는 크립토재킹 공격기법도 함께 주목받았다. 랜섬웨어 부문은 갠드크랩 관련 보도가 대부분을 차지할 정도로 국내에서 지속적으로 이슈가 되었다. 또한 미국 법무부에서 최초로 북한 해커조직의 일원을 재판에 넘기면서 해커 그룹에 대한 관심이 집중되기도 했다. 2018년 전반적으로 이러한 가상통화 거래소 해킹, 크립토재킹, 랜섬웨어, 해커 그룹의 4가지 키워드를 도출하였으며, 이 중 해커 그룹은 북한과 중국의 경우를 나누어 총 5가지 주제를 통해 악성코드에 대한 주요 이슈들을 살펴본다. 본 논문에서는 이러한 악성코드의 공격을 근본적으로 해결할 수 있는 방안으로 클라이언트 측에 USB형태의 BBS(Big Bad Stick) 하드웨어를 통하여 제안하는 환경을 제안하고 안전한 서비스가 제공됨을 증명하여 본 연구가 새로운 보안성을 갖춘 시스템임을 보인다.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.1
• /
• pp.234-246
• /
• 1999

As an application software in distributed computing environment becomes large, the number of objects to be created increases drastically and the interfaces among them become very complex, The concept of group object resolves this problem to some extent by grouping a set of related objects, encapsulating them and controlling their interfaces systematically. In this paper, we propose an implementation model f the group object concept in CORBA, which is a standard middle ware for developing distributed application software on heterogeneous networks. To support group objects we extends CORBA ORB without modifying its internal structure for the compatibility with existing CORBA applications. And we devise an interface definition language by extending CORBA IDL to describe group objects in a language-independent style, which is one of the most important characteristics in CORBA. Finally, we experiment the implementation model on a CORBA ORB compliant product which supports the Java language.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11b
• /
• pp.1563-1566
• /
• 2002

차세대 기술 기반의 네트워크에서는 불필요한 트래픽을 줄여 인프라를 효율적으로 사용할 수 있는 멀티캐스트 기술이 널리 사용될 것이다. 연구 시험망 단계에 머물고 있는 현 시점에서 멀티캐스트 네트워크에 대한 성능 분석 소프트웨어가 부족하다. 본 논문에서는 멀티캐스트 기반 그룹간 회의를 위한 AccessGrid를 위해 개발된 NLANR Beacon을 바탕으로 타임시리즈 데이터를 보여주는 성능 분석 소프트웨어를 개발하여 차세대 초고속 연구망인 KREONet2에 적용한 사례를 기술하고 측정된 결과를 분석하여 개발된 소프트웨어의 발진 가능성을 보여 주었다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1995.09a
• /
• pp.70-83
• /
• 1995

정보기술과 커뮤니케이션 네트워크의 발전은 개인 컴퓨팅(personal computing)에서 그룹 컴퓨팅(group computing)으로의 전환을 촉진하고 있 다. 이러한 경영환경에서 컴퓨터를 매개체로 한 커뮤니케이션에 관한 연구는 중요한 연구과제가 되고 있다. 이 연구의 목적은 컴퓨터를 매개체로 한 다양 한 회의양식과 과업유형의 차이가 그룹 결과에 어떤 영향을 미치며, 그룹의 상호작용 과정의 변화가 그룹 결과에 미치는 영향을 조사하는데 있다. 세가 지 서로 다른 회의양식과 세가지 과업유형이 실험실 실험으로 수행된다. 적 응구조화 이론에 기초한 연구 모델이 정립되었으며, 연구 모델의 정확한 검 증을 위해 종단 연구(longitudinal study)가 행해진다. 적응구조화 이론은 정 보기술, 사회구조, 그리고 인간 상호작용간의 관계를 설명해 주며, 이 연구를 위한 이론적 기반을 제공하고 있다. 그룹 커뮤니케이션 과정의 정확한 분석 을 위해 SYMLOG를 이용해 그룹 구성원의 커뮤니케이션을 코딩하여 조사 한다. 실험 환경의 구축은 표준 그룹웨어인 Lotus Notes를 이용한다.