184
0
집합 제한식을 이용한 프로시저-내 정보흐름 안전성 분석
- Title
- 집합 제한식을 이용한 프로시저-내 정보흐름 안전성 분석
- Other Titles
- Set Constraints Based Intra-procedural Analysis of Secure Information Flow
- Author
- 도경구
- Issue Date
- 2003-11
- Publisher
- 한국정보과학회 프로그래밍언어연구회
- Citation
- 프로그래밍언어논문지. v. 17, no. 3, page. 60-69
- Abstract
- 이 논문은 명령형 프로그램의 프로시저 내부에 대한 정보흐름의 안전성을 집합 제한식 분석법을 사용하여 예측하는 방법을 제시한다. 지금까지 제안된 분석 기법은 정보흐름이 안전한 프로그램을 안전하지 않다고 보수적으로 판정한다는 점에서 정밀도가 떨어지는 경우가 많이 있다. 본 논문에서는 이전의 타입시스템을 이용한 접근 방법보다는 분석 결과가 더 정밀한 새로운 분석법을 제안한다.
- URI
- http://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE01072066https://repository.hanyang.ac.kr/handle/20.500.11754/156423
- 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.
