Tiny IML에서 보안 정보 흐름의 분석/

Title
Tiny IML에서 보안 정보 흐름의 분석/
Authors
김제민
Issue Date
2008
Publisher
인하대학교
Abstract
인터넷의 발달과 프로그램 개발환경의 발전으로 인해 우리는 많은 소프트웨어를 다운로드 받거나 구입하여 사용한다. 그러므로 소프트웨어의 보안 문제는 매우 중요하다. 소프트웨어의 보안 문제를 해결하기 위한 방법으로 바이러스 백신, 방화벽, 암호화, 보안 정보 흐름 분석 등이 많이 연구되고 있다. 그 중 본 논문에서는 보안 정보 흐름 분석에 대해 논의한다. 프로그램의 변수 중, 사용자의 개인 정보와 같은 보안이 요구되는 값을 갖고 있는 변수로부터 다른 악의적인
Description
제1장 서론 = 1 제2장 이론적 배경 = 4 2.1. 보안 정보 흐름 분석 = 4 2.2. 어셈블리 언어에서 보안 정보 흐름 분석 = 6 2.3. 요약해석 = 7 제3장 Tiny IML = 9 3.1. 머신 모델 = 9 3.2. Tiny IML 문법 구조 = 10 3.3. Tiny IML의 의미 구조 = 11 제4장 보안 정보 흐름 분석 = 18 4.1. 정보의 누출 = 18 4.2. 요약 도메인 = 21 4.3. 보안 정보 흐름 분석의 수행 = 23
URI
http://dspace.inha.ac.kr/handle/10505/20008
Appears in Collections:
College of Engineering(공과대학) > Computer Engineering (컴퓨터공학) > Theses(컴퓨터정보공학 석박사 학위논문)
Files in This Item:
19598.pdfDownload

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Browse