• Journal of Internet of Things and Convergence
• /
• v.2 no.1
• /
• pp.17-21
• /
• 2016

The rapid development of IoT leads new kinds of services which does not existed. And, it requires several changes on existing network. Software Defined Network is one of the future network technology which can deal with problems from these kinds of changes. The strong point of Software Defined Network is flexibility and scalability. However, In some cases, these factors could be the security vulnerabilities. In this paper, we present adaptation of F(I)MEA technique for the security analysis on Software Defined Network Technology for IoT services.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.319-321
• /
• 2004

제품 계열 공학(Product Line Engineering, PLE)는 패밀리 멤버들의 공통성과 가변성을 분석하여 만든 핵심 자산을 특화시켜 어플리케이션을 개발함으로써 재사용성과 이용가능성을 증대시키는 접근 방법이다. 핵심 자산은 제품 계열에 속하는 패밀리 멤버들이 어플리케이션을 만드는데 기초가 되는 모든 자산을 포함하며, 아키텍처, 컴포넌트 둥이 포함될 수 있다. 범용 아키텍처는 패밀리 멤버들이 공통적으로 사용할 수 있는 아키텍처로, 제품 계열에 속하는 제품들의 구조를 정의하고 컴포넌트의 인터페이스 명세를 제공하여 컴포넌트만큼 중요한 재사용 단위이다. 본 논문에서는 대표적인 PLE 방법론에서 정의한 제품 계열 아키텍처와 일반 소프트웨어 아키텍처를 비교하여 범용 아키텍처에 포함되는 요소들을 선정하고, 메타 모델을 이용하여 범용 아키텍처 구성요소와 구성요소간 관계를 명확히 정의함으로써, 개념적인 아키텍처를 보다 실용적으로 설계하는데 도움이 되게 하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.484-486
• /
• 2004

CMMI는 조직의 역량 성숙도를 향상시키기 위한 소프트웨어 프로세스 개선(SPI) 모델이다 CMMI의 단계적 형태(Staged Representation)의 2레벨을 획득하기 위해서 요구되는 요구사항 관리 프로세스 영역은 요구사항에 대한 협의 확정(Commitment) 활동을 포항하고 있다. 요구사항 관리 프로세스 영역은 이전에 협의 확정된 요구사항이 필요한 경우 변경이 가능하도록 허용하고 있는데, CMMI와 같이 프로세스 중심적인 모델에서 이러한 변경 가능성은 협의 확정 사항의 무한정 확대(Escalation of Commitment)와 같은 문제점을 야기할 수 있다. 본 논문에서는 SPI학계에서 사용되는 협의 확정에 대한 정의를 살펴보고, 이 정의를 CMMI에 적용함으로써 요구사항 관리 프로세스 영역의 협의 확정을 수행하는 활동에서 발생할 수 있는 문제점을 해결하기 위한 방안을 제시한다. 협의 확정의 개념은 Brown에 의해서 정의된 속성(1)과 Meyer에 의해서 제안된 형태(2)를 적용하여 정성적이고 정량적인 관리가 가능할 수 있다. 이를 통하여, 요구사항의 협의 확정에 대한 체계적인 관리가 가능해질 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06b
• /
• pp.144-147
• /
• 2011

최근 소프트웨어 개발에 리팩토링이 활성화되고 있다. 리팩토링에 대한 관심이 높아지면서 요소 리팩토링을 정의해서 이들의 조립을 통해 새로운 복합 리팩토링을 정의하려는 연구들이 많이 진행되고 있다. 그러나 이러한 연구들에서는 복합 리팩토링을 구성하고 있는 조립된 리팩토링의 종류가 요소 리팩토링으로 제한되어 있고, 조립 방법도 대부분 요소 리팩토링들의 순차적인 결합으로 되어 있는 경우에만 처리되고 있다. 이에 본 연구에서는 조립할 수 있는 리팩토링의 구성 요소를 요소 리팩토링뿐만 아니라 이미 정의되어 있는 복합 리팩토링도 가능하게 하고, 조건처리와 반복 등 다양한 방법으로 리팩토링들을 조립할 수 있는 메커니즘을 제안한다. 그리고 무순서반복 조립의 적용 가능성에 대한 증명 방법을 제안한다. 이를 통해 리팩토링들의 재사용성과 확장성을 향상시킬 수 있을 것이다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2001.11a
• /
• pp.602-606
• /
• 2001

전자책은 기존 종이 문서에 비하여 다양한 기능 및 장점을 제공할 수 있기 때문에 현재 다양한 연구 및 서비스가 제공되고 있다. 또한 전자책 환경에서의 정보 공유 및 검색과 같은 다양한 활용을 위해서는 반드시 Annotation 지원이 가능하여야 하며 이에 대한 정확한 Annotation 정의가 요구된다. Annotation이란 일반적으로 문서의 주제 및 내용에 관한 해설, 설명, 그리고 강조를 목적으로 추가되는 문장 또는 텍스트를 의미한다. 그러나 기존 전자책 환경에서의 Annotation과 관련된 연구에서는 이에 대한 심도있는 연구 결과가 미비한 실정이다. 이에 본 연구에서는 전자책 환경을 위한 Context 기반 Annotation Modeling을 정의하고 이를 활용한 인터페이스를 제안한다. 현재 전자책 환경은 대부분 XML에 기반하고 있으며 이에 본 논문에서는 구조정보와 컨텐츠, 그리고 Annotation간의 관계 및 이를 활용하기 위한 모델링을 제시한다. 또한 모델링 정보를 이용한 다양한 장점 및 환용이 가능한 시스템을 구현하였다. 그 결과 본 연구에서는 기존 연구와는 달리 Context 기반 Annotation의 정확한 정의가 가능하며 이를 활용한 다양한 기능을 제공하는 동시에 앞으로의 응용 가능성을 제시하고 있다.

• Proceedings of the Optical Society of Korea Conference
• /
• 2000.02a
• /
• pp.264-265
• /
• 2000

1차원 반도체 구조인 양자 줄(Quantum Wire)은 새로운 물리 현상의 가능성을 보여줄 것으로 기대된다.$^{(1)(2)}$ 이 구조에서 운반자는 2차원 퍼텐셜에 가두어지므로 1차원 퍼텐셜인 양자 우물에 갇힌 운반자 보다 더 많이 양자화가 이루어져 이 운반자의 상태 에너지는 더 쪼개지며, 양자 줄의 상태 밀도는 에너지 준위에 대해 계단 함수가 아닌 변형된 Dirac $\delta$ 함수꼴을 가진다.$^{(3)}$ 그러나, 1차원 반도체 구조인 양자 줄이 나노(nano) 크기 내에서 만들어져야 하므로, 잘 정의된 양자 줄을 만드는 일은 기술상 매우 어려운 일이다. 양자 우물 구조에서 운반자는 결정을 키우는 방향을 따라 나노 크기의 활성 영역 안에 가두어지게 된다. 양자 줄 구조에서의 운반자는 결정 성장 방향뿐만 아니라 수직인 한 방향에서 각각 나노 크기를 갖는 활성 영역에 가두어져야 한다. 여기에서, 결정 성장 방향과 수직으로 활성 영역을 정의하는 것은, 결정 성장 방향과 평행하게 활성 영역을 정의하는 것보다 어려운 일이다. (중략)

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.552-554
• /
• 2000

잘 정의된 인터페이스를 통해서 의미있는 서비스를 유도하거나 기술하는 소프트웨어의 식별가능한 조각인 컴포넌트를 개발하기 위한 방법론은 최근에 주목받고 있는 부분이다. 컴포넌트 기반 개발은 컴포넌트를 개발하기위한 단계와 이를 바탕으로 하나의 애플리케이션이나 시스템을 구축하는 과정이 병렬적으로 진행되는 프로세스가 특징적이다. 이러한, 단위 기능의 요소로써 컴포넌트는 새로운 요구사항에 대한 대치가능성이나 서로의 계약을 통한 조합이 가능한 것은 통합(integration)에 대한 개념이 기반이 되고 있다. 본 논문에서는 상이하게 개발된 컴포넌트 통합의 전반적인 개념을 소개하고, 단일한 컴포넌트의 통합과 통합된 컴포넌트 군을 재 통합하는 메커니즘을 정의한다. 또한, 이에 따른 컴포넌트 기반 개발의 전반적인 프로세스와 통합에 관련된 로직을 정의함으로써 체계적으로 컴포넌트를 개발할 수 있도록 도움을 주고, 컴포넌트 통합에 의한 재사용성과 효율성을 높이고자 한다.

• Korean Journal of Logic
• /
• v.10 no.2
• /
• pp.47-107
• /
• 2007

나는 이 글에서 프레게 제한에 대한 라이트의 해석이 옳지 않다는 것을 보인다. 우선 나는 그가 산수 개념의 적용에 대한 반성을 통해 그 개념에 대한 선천적 지식을 얻을 수 있다고 여긴 사례를 검토한다. 이 검토를 기초로 나는 산수 개념의 적용을 지배하는 원리가 있고, 프레게 제한은 바로 그런 원리가 성립하도록 해당 개념을 정의하라는 요구임을 보인다. 둘째로 나는 라이트의 해석은 수학의 적용에 대한 아주 좁은 견해에 의존한다는 것을 보인다. 나는 산수의 적용에 대한 프레게의 견해를 살펴본 후에 실수가 적용될 수 있는 양을 산수량, 순수 공간량 및 물리량 세 부류로 나눈다. 나는 실수 적용 원리는 순수 공간량만 아니라 물리량에 대해서도 성립한다는 것을 보인다. 이에 근거해서 나는 실수 이론을 확립하는 데에도 여전히 프레게 제한은 유효하다고 결론짓는다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.753-756
• /
• 2008

최근 인터넷의 생활화로 이를 기반으로 수익을 창출하는 새로운 형태의 거래가 확산되고 있다. 이러한 형태는 포털사이트를 기반으로 커뮤니티를 형성하고, 이를 통하여 확보된 회원들을 대상으로 광고수익이나 판매가 이루어지는 형태의 비즈니스 모델들이다. 하나 기존 오프라인 중심으로 정의된 인터넷 비즈니스 모델들을 적용하여 이러한 포털사이트 기반의 비즈니스들을 분류할 경우 여러 범주에 포함 되어서 이들을 분류하기 어려운 문제점이 있다. 이로 인하여 새로 생성되는 인터넷 비즈니스 모델들을 활용한 사업의 가능성과 이들이 기술적으로 실현이 가능한지 여부, 이들에게 요구되는 요소들에 대한 분석에 어려움이 많다. 본 논문에서는 이러한 문제점을 해결하기위하여 현재 가장 많이 사용되는 포털사이트들을 기존 인터넷 비즈니스 모델을 적용하여 비교 분석하고, 여기서 새로운 모델 정의에 필요한 요소들을 추출하여 이를 반영한 새로운 인터넷 비즈니스 모델들을 설계한다. 이를 통하여 변화하는 환경에 적응이 가능한 포털사이트 기반의 인터넷 비즈니스 모델의 정의와 분석이 가능하다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 1998.04a
• /
• pp.133-137
• /
• 1998

MPEG-7의 Standard Description을 위한 여러 가지 요소에 대한 정의가 여러 연구에서 약간의 차이를 주고 있지만 전체적인 방향은 형성되어 지고 있는 실정이다. 본 연구에서는 그 요소들에서 지능형 멀티미디어 탐색엔진에서 high level linguistic query를 처리할 수 있는 fuzzy interenced database 기능을 MPEG-7과 연계할 수 있는가를 연구하였다.