• Journal of the Korea Society of Computer and Information
• /
• v.6 no.4
• /
• pp.110-118
• /
• 2001

In this paper we designed the software copyright protection system using encryption technology. Recently most of the softwares have used a password instead of physical devices such as lock key for the software copyright protection. In this case if the password be disclosed. somebody will carl use the software illegally. Therefore if the legal user disclose the password intentionally, somebody will can use more than license numbers. If we use the system suggested in this paper it will not be permitted to use concurrently more than license numbers. As a result nobody can use any softwares illegally. All of the software developers can check a sale amount correctly And the users can get the service of software maintenance quickly.

• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06b
• /
• pp.132-135
• /
• 2010

클래스들 사이의 Circular Dependency는 결합도를 높이고 클래스의 독립적인 수정 및 재사용을 어렵게 만든다. 이러한 Circular Dependency는 더 나아가 전체적인 소프트웨어 디자인을 부패시키고, 소프트웨어의 유지보수를 더욱 어렵게 만든다. 또한, 소프트웨어 개발 과정에서는 새로운 요구 사항의 추가나 계획되지 않은 변경이 빈번하게 일어난다. 따라서, 소프트웨어 디자인이 부패하는 것을 방지하려면 클래스 사이에 존재하는 의존관계가 반드시 관리되어야 한다. 본 논문에서는 DSM을 이용하여 소프트웨어를 분석하고, 디자인 패턴을 적용하여 구조를 개선한 후 객체지향 설계원칙에 부합함을 보이고, DSM을 이용하여 개선된 결과를 나타낸다. 개선된 결과를 통하여 DSM이 소프트웨어 디자인 개선 및 유지보수에 있어서 효과적으로 이용될 수 있음을 보인다.

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

본 논문에서는 DRM 기술을 이용하여 소프트웨어의 저작권 및 라이센스의 관리를 위한 온라인 소프트웨어 유통시스템의 설계 및 구현에 관하여 기술한다. 제안된 방법에 있어서 평문 및 인증서 정보, 그리도 전자서명등은 AES 알고리즘을 사용하여 전송하지만, 라이센스는 사용자의 공개키 방식(RSA알고리즘)을 이용하여 전송되기 때문에 불법 사용자에 의한 라이센스 입수가 원천적으로 봉쇄된다. 또한, 라이센스의 지속적인 관리로 인해 소프트웨어 불법 사용 및 불법 배포에 노출된 소프트웨어의 저작권을 보호하는데 매우 유효하다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.466-468
• /
• 2001

객체지향형 소프트웨어가 개발되고 분산 시스템에 적용되면서 소프트웨어 시스템의 분석 및 안전상의 보장이 매우 어려워지고 있다. 정형 기법을 이용해서 소프트웨어 시스템의 안전성을 증명하는 연구가 진행되고 있지만 소스코드 레벨에서의 보장은 아직 어려운 상태이다. 본 연구에서는 이러한 소프트웨어 시스템의 소스코드 레벨에서의 안전성 보장을 위한 연구로 Bandera toolset 을 이용한 정형검증에 대해 논한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2020.05a
• /
• pp.320-322
• /
• 2020

기계학습은 인공지능의 한 클래스로 최근 이미지 및 음성인식, 지능적 웹 검색, 자율 주행 자동차 등의 영역에서 성공적 발전을 바탕으로 우리의 일상에 폭넓게 이용되고 있다. 본 논문에서는 Keras 오픈소스 라이브러리를 이용해 딥러닝을 이용한 기계학습 기반의 동전 인식 소프트웨어를 구현하였고, 이를 이용해 동전 자동분류 스마트 저금통을 설계하였다. 동작 검증을 위하여 스마트 저금통의 모든 발생 이벤트는 Parse-server와 mongoDB를 이용하여 시각화 및 어플리케이션 및 웹사이트를 연결하였다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.12 no.2
• /
• pp.141-148
• /
• 2006

This paper suggests method of safe security S/W by verifying and its result of formal verification tool. We will survey many formal verification tools and compare features of these tools. And we will suggest what tool is appropriate and methodogoly of developing safe security S/W. The Z/EVES is the most appropriate tool. This paper proposes formal verification of ACS by using RoZ tool which is formal verification tool to create UML model. The specification and verification are executed using Z/EVES tool. These procedures can find weak or wrong point of developed S/W.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.637-639
• /
• 2001

PDA를 이용한 무선통신 단말의 구성은 이동성, 편리성이 강조되어야 하며, 언제 어디서나 사용자가 원하는 정보를 받아 볼 수 있어야 한다. 이러한 필요성에 의해 정보를 자동으로 다운로드(download)한다면 사용자의 편리성은 더욱 증대될 것이다. 따라서 PDA용 소프트웨어를 개발할 때 필요한 구성요소로서 무선 에이전트(wireless agent)개념을 추가하여 소프트웨어 계층을 구성하면 별도의 소프트웨어 개발단계 없이 무선 에이전트가 추가된 소프트웨어를 쉽게 구성할 수 있다. 본 논문에서는 PDA를 위한 소프트웨어의 에이전트개념을 도입하고 무선이동단말기의 이용효율과 편리성을 극대화하고자 무선 에이전트 클래스를 설계하고 구현하였다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2023.01a
• /
• pp.263-264
• /
• 2023

오늘날 출산율 감소와 의료기술 등의 발달에 따라 고령화 사회 현상이 급부상하고 있으며, 이 비율은 계속 증가할 것이다. 또한 노인 인구가 많아지는 만큼 노안을 가진 사람들도 많아진다. 고령화 사회가 지속되는 만큼 고령층이 이용할 수 있는 디지털 기기 또한 많아져야 하지만 그렇지 않다. 그중에 하나인 ATM은 고령층을 제외한 고객들은 모바일뱅킹과 같은 서비스를 이용하고 고령층이 주로 ATM을 이용한다. 주요 고객인 고령층이 사용하는 ATM이지만 고령층을 배려한 ATM은 찾아보기 힘들다. 이에 본 논문에서는 딥러닝 모델을 이용하여 노안을 갖고 있거나 고령층이라는 것을 나이로 판단하여 고령층과 일반적인 노안을 갖는 연령층이 보다 쉽게 ATM을 이용 할 수 있는 선택적 ATM UI 간편화 시스템을 구축하였다.

• Review of KIISC
• /
• v.26 no.1
• /
• pp.34-41
• /
• 2016

최근 사이버 공격은 분야와 대상을 막론하지 않고 곳곳에서 발생하고 있으며 소프트웨어의 보안 취약점을 이용한 지능적인 수법으로 지속적인 공격을 수행하는 APT 공격 또한 확산하고 있다. 이와 같은 공격을 예방하기 위해서는 공격에 직접 이용되는 소프트웨어 보안 취약점을 사전에 제거해야 한다. 소프트웨어 보안 취약점(vulnerability)의 원천 원인은 소프트웨어 허점, 결점, 오류와 같은 보안 약점(weakness)이다. 그러므로 소프트웨어에서 보안 약점은 개발 단계에서 완전히 제거하는 것이 가장 좋다. 이를 위해 소프트웨어 개발 생명주기(SDLC:Software Development Life Cycle) 전반에 걸쳐 보안성을 강화하는 활동을 수행한다. 이는 소프트웨어 배포 이후에 발생할 수 있는 보안 취약점에 대한 보안 업데이트 및 패치에 대한 비용을 효과적으로 감소시키는 방안이기도 한다. 본 논문에서는 소프트웨어 개발 단계 보안을 강화한 소프트웨어 개발 생명주기로서 시큐어 SDLC에 대한 주요 사례를 소개한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.694-696
• /
• 2001

근래의 소프트웨어 관련업계에서는 소프트웨어 개발 및 관리에 있어 소프트웨어구조를 중심으로 생산성 및 품질의 극대화를 추구하고 있다. 또한 소프트웨어 컴포넌트 관련 기술 및 컴포넌트 기반 소프트웨어 개발 방법론에 대한 연구도 활발히 진행중이며, 많은 응용기술들이 나오고 있다. 소프트웨어 구조는 소프트웨어를 컴포넌트로 구성하고 그 사이의 상호작용을 커넥터를 이용해 기술함으로서 전체적인 구조를 분석하고 유지하는데 필수적인 요소로 고려된다. 본 연구에서는 우리가 개발한 HappyWork라는 모델링 도구를 사용하여 소프트웨어 구조를 설계하는 기법을 설명한다. HappyWork를 이용한 소프트웨어 구조 설계 과정에는 System Context Diagram, Component Diagram, Component Sequence Diagram과 같이 세 가지 다이어그램이 사용되며, 이 Diagram들을 User, System, Component, Connector와 같은 네 가지 element들로 구성된다.