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

본 연구에서는 리눅스 클러스터에서 효과적으로 병렬 MPI 프로그램을 실행시키기 위해, 메시지 전달 이벤트를 토대로 통신에 창설하는 프로세스들이 동시에 스케줄링되는 기법을 설계 구현하였다. 실제 병렬프로그램의 실행을 통해 측정한 결과에 따르면, 통신량이 높은 프로그램에서 33-56%의 실행 시간 감소효과를 보였다.

• Journal of KIISE
• /
• v.42 no.8
• /
• pp.1049-1056
• /
• 2015

Runtime Intrusion Prevention Evaluator (RIPE), published in 2011, is a benchmark suite for evaluating mitigation techniques against 850 attack patterns using only buffer overflow. Since RIPE is built as a single process, defense and attack routines cannot help sharing process states and address space layouts when RIPE is tested. As a result, attack routines can access the memory space for defense routines without restriction. We separate RIPE into two independent processes of defense and attacks so that mitigations based on confidentiality such as address space layout randomization are properly evaluated. In addition, we add an execution mode to test robustness against brute force attacks. Finally, we extend RIPE by adding 38 attack forms to perform format string attacks and virtual table (vtable) hijacking attacks. The revised RIPE contributes to the diversification of attack patterns and precise evaluation of the effectiveness of mitigations.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2004.05a
• /
• pp.722-725
• /
• 2004

기업의 비즈니스 프로세스는 날로 변화하여 다양해지고 있으며, 특히 e-비즈니스의 활성화로 인하여 더욱 복잡해지고 전문화되었다. 워크플로우 관리시스템은 이러한 비즈니스 프로세스를 실행, 운영, 통제하는 시스템으로서 발전해왔다. 이러한 워크플로우 관리 시스템의 장점을 이용하기 위해서는 반드시 프로세스의 분석과 모델링을 통하여 워크플로우 정의가 입력되어야 한다. 본 연구에서는 프로세스를 비교하는 척도를 개발함으로써 다수의 모델간의 차이를 분석할 수 있는 방법을 제시하며, 이를 통하여 협력적으로 워크플로우 정의를 설계하는 방법론을 제시한다. 즉, 프로세스의 속성을 분류하고 이 속성의 단계적 척도를 개발하여 다수 모델간의 차이를 분석함으로써, 워크플로우 정의를 설계할 때 다수의 모델간에 협의가 가능한 방법론을 제시하는 것을 목표로 한다. 본 연구에서 제시하는 방법론은 다음과 같은 장점이 있다. 먼저 프로세스 정의에 있어 그룹 다이나믹스 방법을 도입하여 보다 정확하고 비용이 적은 프로세스 설계 방법론을 제시하였다. 또한 비즈니스 프로세스간 차이를 비교할 수 있는 척도를 통하여 기존의 프로세스 모델간 또는 설계되는 프로세스 모델의 비교가 가능하다는 장점이 있다. 이러한 본 연구의 방법론을 통하여 워크플로우 관리 시스템에 보다 효율적이고 정확한 프로세스 정의가 가능할 것이다.

• KSCI Review
• /
• v.10 no.1
• /
• pp.9-15
• /
• 2003

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2010.05a
• /
• pp.425-429
• /
• 2010

최근 들어 단순 보관의 기능만을 가지고 있던 기존의 냉동창고가 보관뿐만 아니라, 규격화된 유통시스템을 갖추어 전체 물류 공급망 관리의 효율성과 경쟁력을 갖추고자 한다. 이를 위해 라디오 주파수를 이용하여 움직이는 물체를 인식, 추적, 분류할 수 있는 기술인 RFID (Radio Frequency Identification)를 적용할 수 있다. 그러나 RFID 기술을 도입하기 위해서는 여러 시나리오를 통해 최적의 실행 방안을 도출해 내야하며, 이를 바탕으로 자동화 프로세스를 지원해 줄 수 있는 RFID 애플리케이션을 개발할 수 있다. 본 논문에서는 RFID 기술을 적용하여 최적화된 비즈니스 프로세스를 지원하는 냉동창고 관리 시스템을 개발하고자 한다. 이를 위해 냉동창고 업무 프로세스를 분석하고 RFID 기술 도입에 따른 의사 결정이 필요한 설계요소들을 식별한다. 식별된 설계요소들은 RFID 배치 시뮬레이터를 이용하여 RFID 데이터가 비즈니스 프로세스에 통합되는 과정에 대하여 그 효율성을 판단할 수 있게 한다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2004.05a
• /
• pp.269-272
• /
• 2004

비즈니스 프로세스 관리(BPM)는 프로세스의 모델링, 분석, 실행에 이르는 비즈니스 프로세스 전 라이프 사이클을 지원하고자 하는 개념으로, 급변하는 경영 환경의 변화에서 기업의 경쟁력을 재고하기 위하여 필요로 되는 새로운 기업 컴퓨팅 패러다임이다. 비즈니스 프로세스 관리의 개념을 도입함으로써 기업들은 조직의 프로세스를 능동적이고 빠르게 (재)설계하고 수행할 수 있으며, 기업간 M&A 및 전략적 제휴를 효율적으로 수행할 수 있다. 기업간 협업이 이루어지기 위해서는 그들 간의 프로세스의 교류 및 통합이 필수적이다. 통합의 한 수단으로 여러 프로세스에 관련된 Data들을 Rule의 형태로 표현하여 관리할 수 있다. 본 연구에서는 워크플로, BPMS 등의 환경에서 비즈니스 Rule을 포함하는 비즈니스 프로세스 수행시에 관리해야 할 제약조건을 통합 관리할 수 있는 방법론을 제시한다. 비즈니스 프로세스를 수행하면서 체크해야 할 제약조건들을 규명한후 이들을 표현할 수 있는 프로세스 기반의 트리거 모델을 제시한다. 또한 본 방법론의 실현 가능성을 보여주기 위해 예제와 함께 프로토타입 시스템을 구현하였고 Performance 측면에서는 제한적이기는 하지만 DB에 기반한 제약조건 관리방법과의 비교를 통해서 본 연구에서 제안하고 있는 방법의 우수성을 보여준다. 본 연구에서 제안하는 방법론은 Workflow 및 BPMS와 같은 프로세스 관리 시스템에서 통합의 수단으로 사용되고 있는 EAI 등을 보완해 줄수 있는 툴로써 활용가능하리라 기대된다.

• Electronics and Telecommunications Trends
• /
• v.32 no.1
• /
• pp.102-115
• /
• 2017

본고에서는 SW 개발 R&D 프로젝트에 개발 소스 품질 검증을 위한 정적분석 실행방안을 기술한다. 정적분석 실행 방안으로 소스 코드 품질 검증 대상 SW 개발 R&D 프로젝트 범위와 정적분석 검증 기준을 기술하고, 정적분석 검증을 위한 구체적 실행 방안과 검증 프로세스 그리고 정적분석 검증을 지원 환경 체계를 제시했다. 또 제시된 정적분석 검증 실행 방안에 근간하여 수행 중인 프로젝트에서 개발한 소스 코드에 대해 시범적으로 정적분석 검증을 수행하고 이를 바탕으로 정적분석 검증 실행의 안정적인 도입 및 운영 방향을 시사점으로 기술하였다. 제시된 정적분석 검증 실행 방안은 SW 개발 R&D 프로젝트에서 개발 소스 코드 품질 관리 및 유지를 위한 방안으로 고려해 볼 수 있을 것으로 기대한다.

• The KIPS Transactions:PartD
• /
• v.18D no.4
• /
• pp.245-260
• /
• 2011

Mobile Devices, which are developed with the fast growing of the Internet, have flexible internet accessibility and can access the network anywere so that they can execute software applications. However, it is very challenging to deploy highly complex applications on mobile devices since they have limited resources. To overcome the limitation, researches on applying a concept of services to mobile applications have been proposed. Android is one of the popular mobile platforms and is designed to effectively execute mobile applications on the mobile devices having limited resources. Since service-based Android applications, which adopt a concept of services and Android platform, invoke remote services and are built with Android-specific components, they are much different from traditional software applications. Consequently, it is not straightforward to apply object-oriented (OO) analysis and design methods to developing service-based Android applications, although they have been frequently applied to developing traditional applications. In this paper, we present a process to develop service-based Android mobile applications, which extends a traditional OO development process. First, we raise design issues to be considered in developing service-based Android applications. Then, to solve the issues, we present detailed guidelines for essential phases of OO-based development process that are customized to service-based Android applications. Finally, to show applicability of the process, we perform a case study. The proposed design process is effectively utilized as a set of guidelines to develop service-based Android applications more systematically and effectively.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.20 no.5
• /
• pp.69-79
• /
• 2010

In the current cloud environments, the applications are executed on the remote cloud server, and they also utilize computing resources of the remote cloud server such as physical memory and CPU. Therefore, if remote server is exposed to security threat, every applications in remote server can be victim by several security-attacks. Especially, despite many advantages, both individuals and businesses often have trouble to start the cloud services according to the malicious administrator of the cloud server. We propose a security-enhanced local process executing scheme resolving vulnerability of current cloud computing environments. Since secret data is stored in the local, we can protect secret data from security threats of the cloud server. By utilizing computing resource of local computer instead of remote server, high-secure processes can be set free from vulnerability of remote server.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2007.11a
• /
• pp.251-255
• /
• 2007

오늘날 세계화된 시장 환경은 기업간 협업 프로세스의 동적 구성을 요구하고 있으며, 웹 서비스 (Web services)와 비즈니스 프로세스 관리 (Business Process Management) 기술의 발전이 이의 구현을 뒷받침하고 있다. 임의의 기업과의 느슨한 구성(loosely-coupled)을 통한 동적 협업이 활성화됨에 따라, 프로세스의 서비스 품질 (Quality of Service)이 중요한 문제로 대두되고 있는데, 특히 단순한 단위 웹 서비스가 아닌 장기 실행 액티비티 (Long-termed activity)를 포함하는 협업 프로세스에서는 제한된 시간 내에 프로세스의 정상적 수행을 보장하는 것이 핵심적 요구사항이라 할 수 있다. 본 연구에서는 프로세스 수행 계획을 동적으로 생성, 관리함으로써 프로세스의 각 인스턴스들의 완료와 납기 준수를 보장할 수 있는 방법론을 제시한다. 본 방법론은 프로세스 인스턴스의 진행과정에 따라 중복(redundancy) 계획을 동적으로 수정함으로써 각 액티비티의 수행 시간과 신뢰성(reliability)을 독립적으로 관리한다. 본 방법론의 최적화 모델은 NP-hard로 증명되었으며, 본 연구에서는 최적화 모델을 위한 휴리스틱 알고리즘을 제시하고, 이를 실제 최적해와 비교하는 실험을 행하였다. 본 연구를 통해 보다 복잡한 기업간 협업환경에서의 수행 보장과 장애내감성 실현이 가능해 질 것으로 기대된다.