172
0
바이트코드 정보흐름 분석기의 구현
- Title
- 바이트코드 정보흐름 분석기의 구현
- Other Titles
- An Implementation of Information-Flow Analyzer for Bytecode
- Author
- 도경구
- Issue Date
- 2002-10
- Publisher
- 한국정보과학회 프로그래밍언어연구회
- Citation
- 프로그래밍언어논문지, v. 16, no. 3, page. 55-62
- Abstract
- 프로그램은 실행을 통해서 작성자가 알아채지 못하는 사이에 정보의 누출이 발생할 수 있는데, 정보의 누출이 없는 프로그램을 정보흐름이 안전한 프로그램이라고 한다. 본 논문에서는 프로그램에서의 정보누출 여부를 검증하기 위해, 실험대상이 되는 While 프로그램을 바이트코드 JVML0로 바꾸고, 이것을 요약해석을 통하여 프로그램의 정보흐름이 안전한 지를 검사한다.
- URI
- http://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE01068457?https://repository.hanyang.ac.kr/handle/20.500.11754/157744
- ISSN
- 1975-5961
- Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
