• 정보처리학회논문지C
• /
• 제12C권2호
• /
• pp.267-280
• /
• 2005

본 논문에서는 다세션 소규모 멀티캐스트 통신을 위해 제안된 Explicit Multicast 전송방식과 IETF Mobile W를 효과적으로 결합한 XMIP 프로토콜을 구현하고 검증한다. Xcast 패킷 헤더 내에 목적지 주소들을 소스 노드가 명시하여 Xcast 네트워크로 전송하면 각 Xcast 라우터는 멀티캐스트 트리의 지원없이도 유니캐스트 라우팅 정보만을 기초로 목적지를 향해 경로설정과 전송을 수행한다. XMIP 프로토콜은 이러한 Explicit Multicast 프로토콜의 특징을 상속받아 상태유지의 필요없이 유니캐스트 라우팅 테이블을 기반으로 하므로 전송방식이 명확하고 단순하다. 본 연구에서는 Xcast 네트워크와 IETF Mobile IP의 연동을 함께 고려해서 Mobile IP의 이동 에이젼트인 HA/FA를 수정 보완하여 HA+/FA+로 각각 확장한다. HA+로 전송된 Xcast 패킷은 Mobile IP 바인딩 테이블을 참조하여 각 FA+로 향하는 X-in-X 터널 인터페이스를 통해 전송된다. 이 메커니즘으로 IETF Mobile IP 멀티캐스트 트래픽 집중 문제를 효과적으로 해결할 수 있다. 마지막으로 무선랜기반 실험망을 구축하고, Xcast 응용으로서 다중 사용자를 위한 인스턴트 메신져를 개발하고 실험하므로써 최종 개발한 XMIP/Xcast 프로토콜의 실효성을 검증한다.

• 한국정보처리학회논문지
• /
• 제6권7호
• /
• pp.1805-1816
• /
• 1999

본 논문에서는 클래스들간의 종속관계를 효율적으로 표현하기 위한 모듈클래스 종속그래프를 제안한다. 객체 지향언어는 설계시 독립적으로 개발되어지고, 클래스들간의 관계를 형성하여 구성되어진다. 따라서 이러한 독립적인 특성을 고려하고, 클래스 계층구조에 존재하는 클래스들간의 관계를 효율적으로 표현할 필요가 존재한다. 본 논문에서는 어플리케이션에 종속적인 기존의 시스템 종속그래프와 단위 클래스를 표현하는 클래스 종속그래프에서 제시되지 않고 있는 클래스들간의 관계를 표현하기 위해 객체지향시스템의 설계단위인 모듈의 개념을 이용하여 모듈클래스들 종속그래프를 제시하고, 객체지향의 특징인 객체의 생성자, 상속관계 및 동적 바인딩 효과를 적용시켜 효율성의 검증과 이를 절차간 슬라이싱에 적용시켜 슬라이싱의 관계를 고찰한다. 또한 모듈 클래스에 존재하는 클래스의 멤버데이터들간의 구별을 가능하게 하기 위한 파라메터의 표현법을 제시한다. 이러한 모듈클래스 종속 그래프를 통해 시스템 설계시 모듈 클래스간의 관계를 보다 정확하게 분석할 수 있고, 시스템 분석에 필요한 역공학, 테스팅, 시각화와 같은 다른 응용에 폭넓게 적용될 수 있다.

• 한국정보처리학회논문지
• /
• 제4권11호
• /
• pp.2721-2731
• /
• 1997

분산 프로그래밍은 분산 커뮤니케이션에 대한 언어적 지원을 기반으로 상당히 단순화 될 수 있다. 현재, 많은 웹 브라우저들은 다양한 형태의 액티브 객체들을 제공하고 있으며, 그 수와 유형은 빠른 속도의 증가 추세에 있다. 자바애플릿은 널리 알려진 웹 브라우저 관련 액티브 객체중의 하나이다. 이 논문은 인터넷 상에 분산되어 있으면서 서로 정보를 교환할 수 있는 분산 액티브 객체의 구현에 관하여 기술한다. 분산 액티브 객체를 구현함에 있어서, 접근방식이 다르고 상호 호환성이 결여된 주요한 두 프로그래밍 환경은 RMI와 CORBA IDL 방식이다. 분산 액티브 객체의 구현상 쟁점들을 명확하게 하기 위해서, RMI 메커니즘을 채택한 HORB와 CORBA를 채택한 OrbixWeb2.0.1 환경 하에서 하나의 어플리케이션 프로그램을 각각 구현하였다. 부산 객체 사이의 바인딩, 상속성. 다형성, 객체의 전달, 콜백은 구현상 중요한 쟁점들이었다. 실험결과는 분산 액티브 객체를 구현하는데 있어서 작은 차이가 분산 어플리케이션의 구성에 상당한 영향을 미칠 수 있음을 보여 주었다. 두 프로그래밍 환경 하에서 구현된 어플리케이션 간의 비교는 각각의 환경에서 구현된 어플리케이션 사이의 상호 변환 시스템을 구축하기 위한 기초 연구가 될 것이다.

• 한국재료학회지
• /
• 제4권7호
• /
• pp.783-791
• /
• 1994

rf 마그네트론 스퍼터링법을 이용하여 7059 유리기판 위에 ZnO압전박막을 증착하고, 공정변수인 rf 인가전력, 반응기 압력, $O_{2}$/Ar의 조성비등이 증착되는 박막의 결정성 및 전기적 특성에 미치는 영향을 고찰하였다. 증착된 ZnO박막은 문헌에 보고된 증착속도보다 높은 값(200-1000$\AA$/min)을 가졌으며, XRD(002)피크의 rocking curve 표준편차가 SAW 필터로의 응용이 가능한 $6^{\circ}$미만의 값을 가졌다. $O_{2}$Ar 유입비가 25%이상의 경우에는 매우 높은 저항치를 가짐을 알 수 있었다. ZnO박막의 두께와 파장의 비, $\frac{h}{\lambda}$=0.25인 조건에서 필터를 제조하였다. 측정한 주파수 응답특성과 이론치에 의해 계산한 주파수응답특성은 비교적 잘 일치함을 알 수 있었다. 이때 중심주파수는 39.08MHz였으며, 상속도는 \ulcorner 2501m/sec, 삽입손실은 약 29dB였다.

• 한국정보과학회논문지:데이타베이스
• /
• 제34권3호
• /
• pp.206-216
• /
• 2007

현재 웹의 한계를 극복하기 위해 제안된 시맨틱 웹을 구축하기 위해서는 데이타에 잘 정의된 의미를 부여하는 온톨로지 언어를 사용해야 한다. W3C에서 제안한 OWL은 대표적인 온톨로지 언어이다. 시맨틱 웹 상에서 OWL 데이타를 효율적으로 검색하기 위해서는 잘 구성되어진 저장 스키마를 구축해야 한다. 본 논문에서는 효율적인 질의 처리를 위한 저장 스키마와 그에 적절한 질의 처리 기법을 제안하고자 한다. 또한 OWL 데이타는 클래스와 프로퍼티들의 상속 관계 정보를 포함한다. 따라서 질의 수행 시질의에서 나타나는 클래스와 프로퍼티들 뿐 아니라 그것들과 관련된 계층 구조에 대한 탐색이 필요하다. 본 논문은 계층 정보를 유지하는 XML 문서를 생성하여 XML 데이타베이스 시스템에 저장한다. 이때 부모/자식 관계 추출에 용이한 기존의 넘버링 기법을 기반으로 노드의 순서 정보를 XML 문서의 애트리뷰트로 유지함으로써 질의에서 나타나는 클래스와 프로퍼티의 하위 정보들을 효율적으로 추출하고자 한다. 마지막으로 실험을 통한 질의 처리 성능의 비교를 통해서 본 논문에서 제안하고자 하는 기법들이 효과적임을 보인다.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권7호
• /
• pp.767-777
• /
• 1999

인과적 메시지 로깅 기법은 정상프로세스를 역전(roll-back)시키거나 메시지의 저장을 위해 프로세스의 수행을 중단시키지 않는 장점을 지니고 있지만, 메시지의 크기가 지나치게 커진다는 단점을 지니고 있다. 본 논문에서는 인과적 메시지 로깅 기법의 이러한 문제점을 해결하기 위하여 로그 상속의 개념을 정의하고 로그 연혁을 이용하여 로그 비용, 특히 로그 크기 면에서 효율적인 로깅 기법을 제안한다. 또한 이 로깅 알고리즘을 이용하여 복구시 메시지의 수와 크기를 줄여 복구시간을 줄이는 효율적인 복구 알고리즘을 제안하고, 제안한 알고리즘이 메시지 로그 크기 면에서 효율적임을 증명한다. 또 제안한 알고리즘의 성능을 검증하기 위하여 두 가지 종류의 모의 실험을 수행하여 기존의 로깅 프로토콜과 메시지 크기 면에서의 성능을 비교한 결과를 제시하였다.Abstract Causal message logging has many good properties such as nonblocking message logging and no rollback propagation. However, it requires a large amount of information to be piggybacked on each message, which may incur severe performance degradation. This paper presents an efficient causal logging algorithm based on the new message log structure, LogOn, which represents the causal inter-process dependency relation with much smaller overhead compared to the existing algorithms. The proposed algorithm is efficient in the sense that it entails no additional information other than LogOn to be carried in each message, while other existing algorithms require extra information other than the message logs. This paper also presents an efficient recovery algorithm to solve the problem of a large amount of data exchanges during the recovery. To verify the performance of our algorithm, we give an analysis of the algorithm and perform two simulations and compare the log size with other causal logging protocols.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2015년도 학술발표회
• /
• pp.515-515
• /
• 2015

토양유실량을 산정하기 위한 모델로 Universsal Soil Loss Equation(USLE)가 전 세계적으로 가장 많이 사용되고 있다. USLE 모형은 농경지에서 면상침식(Sheet erosion)과 세류침식(Rill erosion)을 모의할 수 있는 시험포단위 모형(Field-scale)으로 농경지에서 유실된 토양이 하류 하천으로 얼마나 흘러 들어가 하류 수계의 탁수발생과 이에 따른 수질악화에 얼마나 기여하는지, 즉, 유역단위의 토양유실량을 평가하는데 이용될 수 없다. 이러한 단점을 극복하기 위하여 Sediment Assessment Tool for Effective Erosion Control (SATEEC) ArcView 시스템이 개발되어 사용되고 있다. SATEEC ArcView 시스템은 USLE모형의 입력자료와 DEM만으로 유역면적에 따른 유달률을 산정하여 유역에서 유실된 토양이 얼마만큼 하류로 유달되는지를 모의할 수 있으며, 유역 경사도에 의한 유달률도 산정할 수 있어 지형적인 특성을 좀 더 다양하게 분석 할 수 있게 개발 되었다. 그러나 ArcView는 출시한지 오래되어 사용자가 많지 않고, 프로그램상의 오류가 많고, 대용량의 데이터 처리가 가능한 64비트 운영체제에서는 설치가 불가능한 단점이 있다. 또한, ArcView의 프로그래밍 언어인 Avenue는 클래스를 정의한다거나 상속을 한다거나 하는 문법을 제공하지 않기 때문에 객체지향 언어로 보기에는 부족하다고 할 수 있다. 또한, 최근의 ArcGIS 기반의 많은 모델들이 서로 연계하여 사용하고 있으나, Avenue는 기타 다른 프로그래밍 언어와 연계하여 사용하기가 쉽지 않은 단점이 있다. 그러나 최근 ArcGIS 버전들의 프로그래밍 언어인 Python은 간결하고 확장성이 좋으며, 다른 언어와의 연계가 쉽다. 또한, ArcGIS 10.x버전부터 제공되는 arcpy 모듈은 사용자와의 접근성이 매우 향상되었다. 따라서 SATEEC ArcView 버전을 ArcGIS 10.1 기반의 Python 으로 재개발하여 기존의 불편한 접근성과 대용량 데이터의 처리가 불가능했던 부분을 개선하였다.

• 한국컴퓨터정보학회논문지
• /
• 제11권4호
• /
• pp.87-96
• /
• 2006

바이트코드는 많은 장점을 가지고 있으나 수행 속도가 느리고 프로그램의 분석과 최적화에 알맞은 표현은 아니다. 분석과 최적화를 위하여 바이트코드를 정적 단일 배정문(SSA Form)으로 변환이 수행되어야 한다. 그러나 바이트코드에서 SSA Form으로 변환 시 어떤 변수는 타입 정보를 상실한다. 이를 해결하기 위하여 본 논문에서는 바이트코드에 대한 확장된 제어 흐름 그래프를 생성한다. 또한 정적으로 분석하기 위해 제어 흐름 그래프를 SSA Form으로 변환한다. SSA Form으로 변환을 위하여 지배자. 직접 지배자. 지배자 경계. ${\phi}$-함수, 재명명 등 많은 정보에 대한 계산을 수행한다. 생성된 SSA Form에 알맞은 타입을 선언하기 위해서 다음과 같은 동작들을 수행한다. 먼저 클래스의 호출그래프와 상속 그래프를 생성한다. 그리고 각 노드에 대한 정보를 수집한다. 수집된 정보를 기반으로 동등한 타입의 노드를 찾고 강 결합 요소로 설정한 후 각 노드에 타입을 효율적으로 설정하는 방법을 제안하였다.

• 한국전자거래학회지
• /
• 제24권2호
• /
• pp.15-27
• /
• 2019

과거의 제어 시스템은 외부 네트워크와 연결되지 않은 폐쇄망이라 그 자체로 보안성을 보장 받을 수 있었으나 최근에는 관리의 편이성 등을 위해 외부로 연결시켜 놓은 사례가 많으며, 폐쇄망이라고 주장을 하나 어느 한 접점은 인터넷과 연결되어 있어 운영 중인 제어시스템이 점점 늘어나는 추세이다. 이에 따라 외부 연결로 인해 해커들이 제어시스템을 목표로 다양한 공격 시도를 할 수 있게 되었으며 다양한 보안 위협에 노출되어 공격의 타겟이 되고 있는 실정은 당연한 것이다. 외부에 연결되어 있는 산업제어시스템은 웹서비스 또는 원격 관리를 위한 원격관리 포트가 대부분 연결되어 있으며 웹 프로그램을 통한 웹 서비스의 확대는 제어시스템도 예외는 아니므로 일반적인 웹 취약점을 그대로 상속하고 있다. 본 연구에서는 공격자 입장에서 제어시스템을 대상으로 가장 많이 시도되는 웹 해킹 공격을 도출하기 위해 기존의 웹 취약점 항목을 분류 및 비교하였으며 이를 통해 제어시스템 필수 웹 취약점을 선별하였으며 또한 누락된 취약점이 있는지 검토하고 확인하고 자 하였다.

• 정보보호학회논문지
• /
• 제21권1호
• /
• pp.177-186
• /
• 2011

스마트 폰의 보급이 확장되면서 데스크톱의 성능과 모바일 특성이 적용된 다양한 모바일 서비스가 증가하고 있다. 모바일 서비스는 모바일 단말의 메모리, 컴퓨팅 파워, 저장 공간 부족과 모바일 단말의 플랫폼에 종속되는 한계를 갖는데 이를 극복할 수 있는 클라우드 컴퓨팅 서비스가 적용된 모바일 클라우드 컴퓨팅 서비스가 최근 각광받고 있다. 모바일 클라우드 서비스는 모바일 서비스와 무선네트워크, 클라우드 서비스가 융합된 서비스로 다양하고 확장된 서비스를 제공하지만, 보안 위협요소가 복합적으로 상속되는 위험이 잠재되어 있다. 그러므로 보안위협이 제거된 안전한 서비스를 배포하고 위협 발생 시 적절하게 대응하기 위한 방안이 필요하다. 본 연구에서는 모바일 단말, 무선네트워크, 클라우드 컴퓨팅 서비스의 위협을 분석하여 모바일 클라우드 서비스의 위협과 위협에 대응하기 위한 방안을 정의하였으며, 위협시나리오를 기반으로 잠재된 위협을 예상하고 대응할 수 있는 방안을 제시하였다.