• 한국GIS학회:학술대회논문집
• /
• 한국GIS학회 2010년도 추계학술대회
• /
• pp.50-58
• /
• 2010

최근 무선 통신 기술의 발전과 모바일 단말기 사용의 보편화됨에 따라 GIS 서비스가 점차 모바일 환경으로 이동하는 추세이다. 그러나 기존의 모바일 GIS 응용 시스템들은 파일 시스템을 이용하거나 공간 데이타 처리 기능을 지원하지 않는 모바일 DBMS를 이용하고 있기 때문에 효율적인 GIS 응용 시스템을 개발하기 위해서는 OGC에서 제공하는 다양한 공간 데이타 타입 및 공간 연산자를 지원하는 공간 질의 처리 시스템이 필요한 형편이다. 따라서, 본 논문에서는 효율적인 공간 데이타 처리를 위해 기존 모바일 DBMS에 기반하여 공간 질의를 처리하는 시스템을 개발한다. 모바일 DBMS 기반의 공간 질의 처리 시스템은 효율적인 공간 질의 처리를 위해 공간 데이타 타입 및 공간 연산자를 제공하고, 공간 데이타 캐싱 기능, 인덱스 압축 기법을 지원하고, 그리고 공간 데이타 타입을 변환하여 모바일 DBMS에 저장하는 기능을 제공한다. 마지막으로, 본 논문에서는 모바일 DBMS 기반 공간 질의 처리 시스템을 부동산 정보 서비스에 적용해 봄으로써 효용성을 입증하였다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2000년도 춘계학술발표논문집
• /
• pp.292-295
• /
• 2000

XML은 메타언어로써 구조적인 문서를 생성할 수있게 하며 이러한 구조적인 문서는 내용 기반검색,질의등의 처리가 가능하다는 것이다. XML문서의 논리적 구조를 표현하는 방법은 사용자 정의 문서타입(DTD)과 XML Schema 의 두가지 방식이 있으며, XML Schema 는 사용자 정의문서타입(DTD)에 비해 다양한 데이터 타입, namespace, Open-ended 데이터 모델등을 지원하여 문서의 구조 정의를 훨씬 더 유연하고 명시적이게 하게 하는 장점이있다. 본 논문에서는 XML 문서 검색을 위해 XML Schemadp 기반하여 내용 검색과 구조 검색을 효율적으로 지원하는 인덱스 구조를 제안한다. 요소들의 정의에 따르면 계층관계를 표현하기위한 구조정보와 XML 문서 인스턴스에서 나타나는 각 요소들의 순서정보를 요소의 ID로 사용함으로써 임의의 요소를 효율적으로 접근할 수 있게 한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2018년도 춘계학술대회
• /
• pp.166-168
• /
• 2018

본 논문에서는 Whirlpool 해시 코어가 Cortex-M0의 슬레이브로 인터페이스된 보안 SoC 프로토타입 구현에 대해 기술한다. ISO/IEC에서 표준으로 채택된 경량 해시 알고리듬인 Whirlpool 해시 함수를 64-비트의 데이터 패스로 구현하였으며, 키 확장 연산과 암호화 연산을 수행하는 하드웨어를 공유하여 면적이 최소화되도록 설계하였다. 설계된 보안 SoC 프로토타입을 Cyclone-V FPGA에 구현한 후, ULINK2 어댑터와 Cortex 내부 디버거를 통해 Whirlpool 해시 코어에서 연산된 해시값을 확인함으로써 SoC 프로토타입의 동작을 확인했다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권12호
• /
• pp.1227-1237
• /
• 2000

Hindley/Milner let-다형성 타입체계(let-polymorphic type system)에는 두 가지 타입 유추(type-inference) 알고리즘이 있다. 하나는 표준으로 알려진 W 알고리즘으로 프로그램의 문맥에 상관없이 상향식으로 유추하는 알고리즘이고, 다른 하나는 프로그램의 문맥에 따라 하양식으로 유추하는 M 알고리즘이다. 본 연구에서는 함수 적용(application)이 중첩되는 경우, M 알고리즘에 병목현상이 발생함을 보이고, 이러한 병목현상이 발생하지 않는 혼성 알고리즘 H를 제시한다. H 알고리즘은 M 알고리즘을 함수 적용 부분만 W 알고리즘으로 변형한 알고리즘으로, W보다 일찍 M보다는 늦게 오류를 감지함을 보인다.

• 정보보호학회지
• /
• 제19권2호
• /
• pp.43-52
• /
• 2009

본 논문에서는 가장 대표적 인 보안 운영 체제인 SELinux를 보다 쉽게 이용할 수 있도록 하는 보안 정책 템플릿과 도구를 설명한다. 제안하는 방법론을 위해 먼저 SELinux를 보다 편리하게 이용할 수 있도록 하기 위해 연구된 기존에 도구들이 가지는 문제점을 분석하였다. 그리고 SELinux를 심도 깊게 분석하여 SELinux에서 이용하는 주체, 객체의 타입 그리고 권한을 객체 타입과 객체별, 권한별로 축약하였다. 이처럼 축약되어 간소화된 객체 타입과 권한을 바탕으로 리눅스 시스템이 이용하는 임의적인 접근통제 형태를 지원하는 보안 정책 템플릿 기술언어를 정의하여 SELinux보안 정책의 복잡성을 개선하도록 하였으며 이를 통해 기존 리눅스 시스템 관리자가 이용하기 편리하도록 하였다. 또한 자동으로 제안된 보안 정책 템플릿 언어로 작성된 보안 정책을 SELinux의 보안 정책으로 변환하는 변환기와 자동으로 정책을 생성하는 생성기를 개발하여 SELinux 이용의 편리성을 최대화 하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 추계학술발표논문집(상)
• /
• pp.365-368
• /
• 2004

소프트웨어 신뢰성을 보장하기 위한 Eiffel의 Design by Contract[1,2] 기법은 프로그램 코드 안에 코드가 뜻하는 바를 함께 기술하는 것으로 소프트웨어가 명세의 주어진 조건에 따라 정확히 동작하도록 하고 있다. 그것은 재사용성이 높은 콤포넌트를 기반으로 하는 콤포넌트 기반 소프트웨어 개발방법에 있어서 중요한 특징이다. 본 논문에서는 C++언어의 타입 상속에서 올바른 의미적 타입 계층구조를 유지할 수 있도록 Design by Contract 기법을 적용하고, 기능을 활용할 수 있는 방안을 제시하였다. 또한, 객체지향 프로그래밍에 있어서 올바른 타입 구조를 형성할 수 있도록 하여, 견고한 소프트웨어 콤포넌트를 제작할 수 있도록 유도하였다.

• 정보처리학회논문지C
• /
• 제9C권6호
• /
• pp.961-968
• /
• 2002

본 논문에서는 웹상의 높은 가변성을 고려하여 웹 캐시 공간을 관리하는 새로운 접근 방법을 제안한다. 모든 문서를 저장하는데 하나의 캐시를 사용하는 것 대신에, 캐시를 분할하여 파일 타입에 따라 저장한다. 제안된 방법은 LFU, LRU와 SIZE 기반 알고리즘을 사용하여 현재의 캐시 관리 정책과 비교한다. 2가지의 서로 다른 실제 작업부하를 사용하며, 시뮬레이션을 통해 파일 타입별 캐싱이 적중률과 바이트적중률을 개선시킴을 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.550-552
• /
• 2001

최근 인터넷상에서 DTD 기반의 XML 문서가 문서의 교환의 목적으로 사용되어 B2B 상에서 XML문서의 사용이 증가하고 있다. 그러나 DTD는 데이터 타입이 제한적이고 사용자가 원하는 형태를 정의하여 사용할 수 없기 때문에 좀더 유연하고, 재사용이 가능만 스키마를 B2B 상에서 표준으로 이용을 하게 되었다. 스키마는 객체 지향적이기 때문에 새로운 타입을 선언 시 기존의 데이터와 타입을 이용하여 확장 또는 제한을 하여 재사용성이 뛰어나다. 그러나 기존의 스키마 자동 생성기는 사용자가 바라는 최적화 코드가 아니고 스키마의 장점인 모듈화가 전혀 되어 있지 않아, 재사용을 할 수가 없다. 따라서 본 논문에서는 기존 자동 생성기의 단점을 극복하여 문서를 XML 스키마로 변환할 때 모듈화가 되고, 재사용이 가능만 코드를 만들 수 있도록 자동 변환기를 설계하며, 기존의 변환기가 사용자 시점에서 사용하기가 어렵고, 복잡만 인터페이스를 가지고 있기 때문에 이를 사용하기 쉽게 단순화하고 DTD와 스키마를 다양만 외양으로 볼 수 있는 스타일(Style) 에디터를 첨가하여 변환기를 구성한다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2019년도 제60차 하계학술대회논문집 27권2호
• /
• pp.391-392
• /
• 2019

본 논문에서는 타임스탬프의 위변조를 위한 안티포렌식의 도구로 사용되는 타임스탬프 변경도구들에 기능에 대하여 디지털 포렌식 관점에서 분석을 수행한다. 타임스탬프 변경도구들로써 수행할 수 있는 타임스탬프 변경작업의 범위와 특징을 찾아본다. NTFS파일시스템에서 사용하는 타임스탬프 변경도구들의 기능상의 분류는 그것들이 변경할 수 있는 타임스탬프 종류와 정밀도를 기준으로 정하고 그 도구들을 사용한 후에 기록된 타임스탬프의 특징들을 디지털 포렌식 관점에서 분석을 수행하기로 한다. 이 연구에서의 분류 형태 중 타입 I은 FileTouch.exe, SKTimeStamp, BulkFileChanger류의 도구들과 타입 II는 timestomp, 타입 III은 SetMACE로 분류하고 각 도구들을 사용한 후에 변경된 타임스탬프들의 특징을 살펴보기로 한다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2021년도 제64차 하계학술대회논문집 29권2호
• /
• pp.575-576
• /
• 2021

프로토타이핑은 게임의 방향성을 정하고 향후 완성된 게임의 모습을 예상케 해 제작 프로세스를 줄이고 제작 비용을 최소화 시키는 가장 효과적인 방법이다. 본 연구에서는 게임 제작 프로젝트에서 프로토타입을 개발 방법론을 기본으로 하여 게임기획, 게임 QA, 게임 사용자의 피드백을 파이프라인으로 연결하여 게임성을 향상 시키는 개발 방법에 대하여 살펴본다. 게임 개발에 있어 위 3가지 단계는 게임을 개발하는데 있어 게임성을 확보하기 위한 효율적인 방법임을 확인한다.