• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.116-118
• /
• 2000

분산 공유 메모리(Distributed Shared Memory)시스템은 사용자에게 간단한 공유메모리 개념을 제공하기 때문에 사용자는 노드 사이의 데이터 이동에 관여할 필요가 없다. DSM에서 일치서 유지를 위한 프로토콜을 선택하는 것은 통신부하를 줄이는데 중요한 역할을 한다. 본 논문은 DSM 프로토콜을 효과적으로 선택하기 위한 새로운 성능평가 모델을 제시한다. 본 연구에서 제안하는 성능평가 모델을 사용함으로써 무효화방식(invalidate protocol), 갱신 방식(update protocol) 그리고 이주방식(migratory protocol)의 성능예측이 가능하다. 본 성능평가모델은 노드들 사이의 데이터 일치성(consistency)유지를 위한 부담을 최소화하는 최적의 DSM 프로토콜을 결정하는데 사용된다.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1990년도 춘계공동학술대회논문집; 한국과학기술원; 28 Apr. 1990
• /
• pp.22-31
• /
• 1990

본 논문에서는 컴퓨터 통신 프로토콜의 모델링과 시뮬레이션에 관한 이론적 인 연구를 하였다. 먼저 통신 프로토콜의 정의와 기능을 설명하였고 통신 프 로토콜을 위한 모델을 분류하였다. 또한, 통신 프로토콜의 모델 중에 Timed Petri Net(TPN) 모델에 시간함수 .tau.를 부여함으로써 TPN을 구조적으로 정의하였으며 TPN Based 모델의 문제점을 보완하기 위하여 시스템 시뮬레 이션 분야의 이산사건 시스템 명세(DEVS:Discrete Event Simulation) 개념 을 도입하였다. 중요한 연구 결과로서 TPN모델이 DEVS모델이라는 정리를 제시하고 증명하였다. 이 정리에 따르면, TPN모델을 시뮬레이션 할 때 시뮬 레이션을 위해 모델을 설계할 필요없이 DEVS모델로 변환하여 사용함으로써 시뮬레이션을 수행할수 있다.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2006년도 춘계공동학술대회 논문집
• /
• pp.258-264
• /
• 2006

웹 서비스 기반의 비즈니스 프로세스 관리 시스템은 트랜잭션에 대한 신뢰도의 확보를 위하여 트랜잭션 관리가 필요하다. 트랜잭션 관리를 위한 여러 트랜잭션 프로토콜들이 제시되었지만, 다양한 프로토콜들은 서로간의 이질성으로 인해 비즈니스 프로세스 관리 시스템들 간의 상호호환을 저해한다. 이를 해결하기 위하여 본 연구에서는 시맨틱스 기반의 트랜잭션 프로토콜을 제안한다. 시맨틱스 기반의 트랜잭션 프로토콜은 상태와 메시지에 대한 정적 시맨틱스(Static Semantics)와 상태 전이에 관한 동작 시맨틱스(Operational Semantics)로 구성된다. 정적 시맨틱스는 프로토콜의 상태와 메시지를 Web Ontology Language(OWL)을 사용하여 온톨로지 기반으로 정의한 모델로서, 트랜잭션 프로토콜에 대한 상호 이해도를 높일 수 있을 것으로 기대된다. 동작 시맨틱스는 비즈니스 트랜잭션의 상태전이를 Abstract State Machine(ASM)으로 정의한 모델로서, 트랜잭션 실행에 대한 자동화와 체계적인 모니터링을 지원할 것으로 기대된다. 트랜잭션 프로토콜들간의 상호호환을 위하여 이러한 정적 시맨틱스와 동작 시맨틱스를 기반으로 하여 각 트랜잭션 프로토콜 및 중립 트랜잭션 프로토콜의 시맨틱스를 정의한다. 정의된 각 트랜잭션 프로토콜의 정적 시맨틱스는 중립 트랜잭션 프로토콜의 정적 시맨틱스와 온톨로지 기반의 매핑 관계를 형성한다. 중립 트랜잭션 프로토콜의 정적 시맨틱스를 매개로 한 온톨로지 매핑은 각 트랜잭션 프로토콜들 간의 상호호환을 지원할 것으로 기대된다.

• 한국통신학회논문지
• /
• 제36권7A호
• /
• pp.662-668
• /
• 2011

본 논문에서는 MANET (Mobile Ad hoc Network)를 위한 가장 대표적인 라우팅 프로토콜인 AODV (Ad hoc On-demand Distance Vector)와 OLSR (Optimized Link State Routing)의 성능을 노드 이동성 모델에 따라 분석한다. 노드의 이동성은 망 토폴로지의 변화를 일으키므로 라우팅 프로토콜의 성능에 많은 영향을 미친다. 따라서, MANET 라우팅 프로토콜의 성능을 정확하게 평가하기 위해서는 노드의 이동 패턴에 가장 적합한 이동성 모델을 사용하는 것이 무엇보다 중요하다. 본 논문에서는 기존 MANET 라우팅 프로토콜 성능분석에 가장 많이 사용되고 있는 random way point 모델과 최근에 실제 인간의 이동 패턴과 가창 유사하다고 발표된 Levy walk 모델을 기반으로 AODV와 OLSR의 성능을 ns-2 시뮬레이션을 통해 비교 분석한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (1)
• /
• pp.430-432
• /
• 2004

무선 센서 네트워크는 특정 관심 대상이나 환경으로부터 데이터를 수집하여 사용자에게 전달해 줌으로써 결정수단이나 연구를 목적으로 이용되어 지기 때문에 효과적인 보안이 요구되어 진다. 기존의 존재하는 많은 네트워크 보안은 센서 노드의 특성상 센서 네트워크에 적용될 수 없다 본 논문은 이런 센서 네트워크의 특성을 감안하여 대칭 키(symmetric key)를 기반으로 한 키(key) 관리 프로토콜을 제안한다. 제안 프로토콜은 키의 직접적인 이동 없이 마스터 키(Master Key), 의사 난수 생성기(Pseudo Random Number Generator:PRNG), 난수(Random Number:RN)의 조합을 통해 임의의 키를 생성함으로써 보안성을 강화함과 동시에, 다양한 통신 모델에서 사용되어지는 키들을 생성하고, 또한 통신 모델의 따라 프로토콜 축소와 확장이 가능하며, 다양한 네트워크 모델에 안도록 변형이 용이하게 설계되었다. 그리고 센서 노드의 에너지 소비를 감안하여 프로토콜 수행에 필요한 통신회수를 최소화하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (3)
• /
• pp.220-222
• /
• 2002

인터넷에서 멀티미디어 서비스 및 고품질의 서비스를 제공하기 위한 다양한 모델들이 제시되고 있다. 기존의 통합화 서비스 (Intserv)나 차별화 서비스 (Diffserv)가 확장성과 종단간의 QoS 보장 측면에서 문제점을 보이면서 최근에는 이들을 통합하려는 시도가 나오고 있다. 그러나 각 모델의 기본 구조가 다르기 때문에 자연스럽게 연결되는 (Seamless) 통합 네트워크을 제시하는데 상당한 어려움이 있다. 본 논문에서는 인터넷에서 종단간의 QoS을 보장하기 위해 통합 모델의 형태를 보이고, 이를 구현하기 위한 프로토콜 변환기를 제안한다. 프로토콜 변환기는 리눅스 기반으로 구현되었다. 프로토콜 변환기를 포함하는 통합 모델에서 패킷 손실율, 데이터 전송율과 같은 네트워크 성능이 향상되었음을 실험을 통해서 보여진다.

• 한국정보처리학회논문지
• /
• 제4권10호
• /
• pp.2544-2552
• /
• 1997

본 논문은 병렬 프로토콜 구현을 위해서 (1)채널통신 모델, (2)포크-조인 모델, (3)사건조회 모델이라 부르는 3 가지 유형의 다중 프로세스 모델을 제시한다. 각 모델에 대한 병렬화 사양을 위해서 병렬 프로그래밍 언어인 Par. C System을 사용한다. 제안한 다중 프로세스 모델의 성능을 측정하기 위하여 인터넷 프로토콜 스택의 Internet Protocol (IP)을 Transputer상에서 구현한다. IP 프로토콜 기능은 송신측과 수신측으로 분리하고 양측의 병렬화는 Multiple Instruction Single Data(MISD) 구조를 이용한다. 제안한 모델들은 다양한 실행시간 과부하에 대하여 성능 평가와 비교 분석을 한다. 즉, 채널통신 모델에서는 채널을 경유한 사건 송신, 포크-조인 모델에서는 프로세스 생성, 그리고 사건조회 모델에서는 프로세스간 문맥전환시에 발생하는 과부하를 송신측과 수신측에 대하여 성능을 분석한다. 송신측의 성능 측정 결과, 사건조회 모델이 채널통신 모델과 포크-조인 모델과 비교하여 77%와 9%의 빠른 처리 시간을 보였다. 수신측에서는 포크-조인 모델이 채널통신 모델과 사건조회 모델과 비교하여 55%와 107%의 빠른 처리 시간을 보였다.

• 전자공학회논문지CI
• /
• 제39권3호
• /
• pp.1-17
• /
• 2002

본 논문은 심볼릭 모델 체커 SMV(Symbolic Model Verifier)를 이용하여, 한국전자통신연구원 (Electronics and Communications Research Institute)에서 개발한 캐쉬 일관성 프로토콜인 RACE(Remote Access Cache coherency Enforcement) 프로토콜의 몇 가지 특성(property)들을 검증함으로써, RACE 프로토콜이 중요 요구사항(requirement)들을 만족함을 보인다. 본 검증에서는 RACE 프로토콜의 모델을 SMV 입력 언어로 명세하며, 검증할 특성들을 CTL(Computational Tree Logic)을 이용하여 나타낸다. 본 검증을 통해서 RACE 프로토콜은 4개의 노드로 구성된 시스템에서 비정상적인 state/input 조합이 발생하지 않으며, liveness와 safety를 만족한다는 것을 검증하였다. 또한, 프로토콜 개발자들이 예상하지 못한 명세서 상의 모호성(ambiguity) 및 기아현상(starvation)을 발견하였으며, 본 검증 사례를 통하여 모델 체킹 기법이 하드웨어 프로토콜 검증에 효과적으로 이용될 수 있다는 것을 제안한다. 그리고, 검증시에 구현된 모델을 이용하여 시뮬레이션 및 테스팅에 유용하게 사용될 수 있는 테스트 케이스를 자동적으로 생성할 수 있는 새로운 방법을 제안한다.

• 한국정보과학회논문지:정보통신
• /
• 제34권2호
• /
• pp.134-142
• /
• 2007

OSI 참조 모델에 따라 각 계층에 여러 개의 이동성 지원 프로토콜들이 제안 되어 왔다. 각 프로토콜이 작동하는 계층의 특징은 핸드오버 지연시간에 영향을 끼친다. 본 논문은 MN의 이동 패턴에 따른 각 계층에서 작동하는 대표적인 프로토콜들(MIPv6, mSCTP, SIP)의 핸드오버 성능을 비교 분석한다. 성능 분석을 위해 Markovian 모델에 기반한 서브넷 모델과 한 세션 동안 MN의 이동 모델을 사용하였다. 분석 결과 DAD도 핸드오버에 중요한 요인이지만 프로토콜간의 차이는 보안과 움직임을 감지하기 위한 시간, 메시지의 처리 시간 등에 의해 유발됐음을 알 수 있었다.

• 정보처리학회논문지C
• /
• 제10C권6호
• /
• pp.769-778
• /
• 2003

XML 보안 명세 중 하나인 XML 키 관리 명세(XKMS)는 다양하고 복잡한 기능의 웹 서비스 애플리케이션에서 XML 문서의 서명을 검증하거나 암호화하는 공개키의 관리를 위한 프로토콜을 정의한다. 본 논문에서는 XML 표준 명세를 준수하는 XML 키 정보 프로토콜 서비스 모델을 제시하고, 표준에 근거한 프로토콜 컴포넌트의 참조 모델을 구현하였다. 또한 XML 기반 보안서비스 특성에 착안하여 안전한 XML 웹서비스를 위한 키 정보 서비스에 대한 분석과 보안 방안에 대해 기술한다. 프로토콜 컴포넌트는 식별정보가 주어졌을 때, 필요로 하는 공개키 위치와 식별자 정보, 공개키 연결 기능을 제공한다. 구현된 참조 모델은 향후 국내 e-비즈니스 프레임워크 구성 시 표준적인 보안 모델을 구현할 수 있는 지침을 제공할 것이다.