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

  • 2006.06b
  • /
  • Pages.403-405
  • /
  • 2006
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Static Permission Check Analysis System for Java Stack Inspection

Java 스택 인스펙션을 위한 권한 검사 분석 시스템

  • Kim Yun-Kyung (Department of Computer Science, Sookmyung Women's University) ;
  • Chang Byeong-Mo (Department of Computer Science, Sookmyung Women's University)
  • Published : 2006.06.01
Download PDF
⟨ Previous Next ⟩

Abstract

Java 2에서는 자원의 접근관리를 위하여 정책파일에 근거한 스택 인스펙션(stack Inspection)기법을 제공하고 있다. 본 논문에서는 스택 인스펙션에 자연스럽게 접근하여 불필요한 권한검사 집합을 구하기 위해 역방향 흐름분석(backward flow analysis) 기법을 사용한 권한검사 시스템을 구현하였다. 이를 통해 정책파일의 내용에 근거하여 각 메소드에서 항상 성공하거나 실패하는 권한검사를 결정하여 보여준다. 또한 권한검사에 대해서 스택 인스펙션하는 과정을 추적해볼 수 있다. 본 시스템을 이용하는 사용자는 불필요한 권한검사를 제거하여 스택 인스펙션을 최적화하거나, 자신의 프로그램에 적절한 보안정책을 세우기 위해 정책파일을 수정하는데 이 분석결과를 활용할 수 있다.

Keywords