Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2002.04b
  • /
  • Pages.355-357
  • /
  • 2002
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Information Flow Centre1 using Abstract Interpretation

요약해석을 인용한 정보흐름 제어

  • 신승철 (동양대학교 컴퓨터공학부) ;
  • 도경구 (한양대학교 컴퓨터공학과) ;
  • 이수호 (동양대학교 컴퓨터공학부)
  • Published : 2002.04.01
Download PDF
⟨ Previous Next ⟩

Abstract

정보 흐름 보안성은 프로그램 보안성 검증 문제의 하나로서 주어진 프로그램이 각 변수들에 미리 정해진 보안수준이 허용하는 범위 내에서만 정보가 교환되는지를 검증하는 것이다. 프로그램 정적 분석을 위한 여러 가지 방법들 중에서 요약 해석법은 프로그램 분석의 기조를 마련할 뿐 아니라 저장기반 데이터흐름 분석 문제를 간략하게 해주는 장점을 가지고 있다. 본 논문에서는 요약해석을 이용하여 정보흐름 보안성을 검증하는 방법을 설명하고 이를 이용하여 프로그램 개발 시에 유용한 디버깅 정보를 제공하는 방법을 제시한다.

Keywords