• Proceedings of the Korea Information Processing Society Conference
• /
• 2023.11a
• /
• pp.212-213
• /
• 2023

최근 네트워크 환경에서 통신되는 데이터의 신뢰성을 제공하기 위해 서명기술이 필요하다. 다양한 서명기술들 중 속성기반서명은 사용자들이 가지고 있는 속성을 기반으로 서명을 수행하기 때문에, 각 서명자들의 익명성을 보장할 수 있는 서명기술이다. 하지만 속성기반서명을 수행시 익명성을 악용하는 사용자들이 존재하는데, 이들은 잡히는 위험이 없이 일부 목적(금전, 이익)을 위해 의도적으로 자신의 서명비밀키와 속성을 공개할 수 있다. 서명권한이 없는 제 3자는 이를 이용해 서명을 수행할 수 있다. 본 논문에서는 적절한 수준의 익명성과 추적성이 제공되는 속성기반서명 기법을 제안한다. 본 제안방식은 검증자가 서명 검증시 문제가 생긴 서명에 관해 AA에게 서명을 보낸 서명자의 신원을 요청하여 확인할 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.04a
• /
• pp.313-316
• /
• 2009

관계형 데이터베이스를 사용하는 응용시스템들은 어플리케이션 소스 코드에 내재된 SQL을 통하여 데이터를 액세스하게 되며, SQL을 통한 데이터베이스 액세스 성능은 응용시스템의 성능에 결정적인 영향을 미치기 때문에, 관계형 데이터베이스시스템의 튜닝에 대해서는 많은 연구가 이루어져 왔다. 그러나 데이터베이스시스템 튜닝을 통해 얻은 성능 수준은 응용시스템의 변경이나 데이터 저장량 증가 등 여러 요인에 의해 다시 저하될 수 있으며, 이와 같은 성능 수준의 변화를 정량적으로 관리하면서 최소 비용으로 성능 수준을 유지할 수 있도록 튜닝 시점을 결정하는 방법에 대한 연구는 현재까지 연구된 바가 없다. 이 논문에서 제시하는 DB 성능지수와 이를 이용한 데이터베이스시스템의 성능관리 모델은 특정 벤더에 종속되지 않고 성능수준을 정량화함으로써 이해관계자들에게 성능 수준의 변화를 가시적으로 보이고 데이터베이스 관리자의 성능관리 및 튜닝 시점 판단을 지원하여 일정 수준의 성능을 유지할 수 있는 방법으로 활용될 수 있다.

• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.21 no.4
• /
• pp.13-20
• /
• 2003

지금까지 본 원고에서는 한국과학기술원의 SPIC에 대해 연구의 배경과 필요성, 설립목적과 구성, 연구목표 및 과제의 추진체계 그리고 추진전략 및 산업화 계획에 대해 설명하였다. SPIC는 최근 신설된 센터이기 때문에 지속적인 조직의 정비도 필요한 상황이나 활발한 연구활동을 통해 최근 SPIC 워크샵을 개최하여 세부과제별 1차년도 상반기 연구성과를 발표하고 연구내용에 대한 토론 및 공유하는 시간을 마련하는 등 연구에 끊임없는 박차를 가하고 있다. SPIC의 설립은 소프트웨어 공학 분야에서 프로세스 개선을 위한 장기간의 연구를 위한 기반을 마련했다는 큰 의의를 지니고 있으므로 보다 많은 학계와 산업체의 관심과 높은 수준의 연구가 필요한 것으로 보이며 앞으로 국내외 프로세스 분야의 발절에 기여를 할 것으로 기대된다.

• Journal of the Institute of Electronics Engineers of Korea TE
• /
• v.39 no.3
• /
• pp.71-82
• /
• 2002

The software pattern is knowledge representation derived from the verified solutions or the experience of the experts. On account of the design varieties of software development, however, it is not the facilitated task to discover the best proper software pattern. This situation requires that software patterns be categorized in terms of their innate concepts. This paper proposes software pattern ontology(SPO) for the systematic categorization of software patterns by means of conceptual properties of patterns after the comparative analysis of association between software pattern and ontology. The SPO presented in this paper can establish the basis for the software pattern management system at the conceptual level. This paper also shows an idea for the application by unifying conceptual properties of software pattern and ontology. 

• Journal of the Institute of Electronics and Information Engineers
• /
• v.54 no.8
• /
• pp.45-52
• /
• 2017

This paper presents a high-performance software-hardware dehazing system based on a dedicated hardware accelerator for the haze removal. In the proposed system, the dedicated hardware accelerator performs the dark-channel-prior-based dehazing process, and the software performs the other control processes. For this purpose, the dehazing process is realized as an OpenCL kernel by finding the inherent parallelism in the algorithm and is synthesized into a hardware by employing a high-level-synthesis technique. The proposed system executes the dehazing process much faster than the previous software-only dehazing system: the performance improvement is up to 96.3% in terms of the execution time.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.22 no.4
• /
• pp.185-194
• /
• 2022

The software industry makes it possible to converge science and Information and Communication Technologies (ICT), create new markets, and create jobs. It is a key industry in the 21^st century knowledge and information age, which is growing very rapidly. This study uses Input-output analysis to derive Linkage effect of the software industry in Korea and the United States (US), and compares the result with CO₂ inducement effect to verify whether the industry meets the low carbon emission development strategy. As the result of this study, first, the software industries in Korea and the US are confirmed to have large influences on the national economy. Second, the Korean software industry has a low Forward linkage effect, so it is less affected by the output of other industries. On the other hand, in the US, it has a high Forward linkage effect and can induce a lot of output in others. Third, CO₂ inducement effects of the industry in Korea and the US are both low, confirming that the industry is suitable for a sustainable future.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.11a
• /
• pp.1609-1611
• /
• 2013

녹색 도시 조성의 주요 요소인 수목(tree)을 대상으로 도시 대기오염 개선수준을 평가하는 연구가 활발하다. 그러나 측정을 통해 수집된 데이터는 수목의 종류와 밀도에 따라 실시간으로 직관적인 도시 대기오염 개선 정도를 판단하는 데 애로가 있다. 본 연구는 이 문제를 해결하는 데 일조하는 소프트웨어 도구를 제시한다. 본 연구에서 개발한 소프트웨어 도구는 대기환경을 개선할 지역별 대기환경측정 정보를 이용하여 3 차원 모델링과 Google Map 서비스를 매쉬업(mash-up)하여 가상으로 수목을 심고 이에 따른 도시 대기오염 개선효과를 시각화한다. 본 연구결과는 도시대기환경 개선을 위한 정책개발과 예산수립에 일조할 것이다.

• Journal of KIISE:Software and Applications
• /
• v.33 no.6
• /
• pp.550-563
• /
• 2006

Software product line engineering is a method that prepares for the future reuse and supports to seamless reuse in application development process. Commonality and variability play central roles in all product line development processes. Reusable assets will become core assets by explicitly representing C&V. Indeed, the variabilities that art identified at each phase of core assets development have different levels of abstraction. In the past, these variabilities have been handled in an implicit manner and without distinguishing the characteristics of each core assets. In addition, previous approaches have depended on the experience and intuition of a domain expert to recognize commonality and variability. In this paper, we suggest a 2-dimensional analyzing method that analyzes the variabilities of core assets in software product line. In horizontal analysis process, the variation types are analyzed in requirements, architecture, and component that are produced at each phase of development process. In vertical analysis process, variations are analyzed in different abstract levels, in which the region of commonality is identified and the variation points are refined. By this method, the traceability of variations between core assets will be possible and core assets can be reused seamlessly.

• Journal of Software Engineering Society
• /
• v.26 no.2
• /
• pp.45-52
• /
• 2013

A cloud computing service provider must assure Service Level Agreement (SLA) to provide reliable and consistent quality of service to a user. The SLA is a contract between the user and the service provider that connects to assure constant level such as availability to target provided service. The cloud computing is classified into IaaS, PaaS, and SaaS according to IT resources of the various cloud service. The existing SLA is difficult to reflect quality factors of service because it only considers factors about the physical Network environment. In this paper, we suggest the UDDI-based interchange process with the architecture and the specification language having a XML schema for the SLA specification. The quality requirements of SaaS are defined by a proposed specification language in the cloud environment. It is stored in the repository of a quality specification and exchanged on during the service binding time based on the exchange architecture.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.36 no.4B
• /
• pp.332-345
• /
• 2011

As weapon systems are evolving into more advanced and complex ones, the role of the software is becoming heavily significant in their developments. Particularly in the war field of today as represented by the network centric warfare(NCW), the reliability of weapon systems is definitely crucial. In this context, it is inevitable to develop software reliably enough to make the weapon systems operate robustly in the combat field. The reliability engineering activities performed to develop software in the domestic area seem to be limited to the software reliability estimations for some projects. To ensure that the target reliability of software be maintained through the system's development period, a more systematic approach to performing software reliability engineering activities are necessary from the beginning of the development period. In this paper, we consider the software reliability in terms of the development of a weapon system as a whole. Thus, from the systems engineering point of view, we analyze the models and methods that are related to software reliability and a variety of associated activities. As a result, a process is developed, which can be called the software reliability engineering process for weapon systems (SREP-WS), The developed SREP-WS can be used in the development of a weapon system to meet a target reliability throughout its life-cycle. Based on the SREP-WS, the software reliability could also be managed quantitatively.