Annual Conference of KIPS (한국정보처리학회:학술대회논문집)
- 2007.11a
- /
- Pages.831-834
- /
- 2007
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
DOI QR Code
Access Control Rules and Adaptation Rules Safety Check for Ubiquitous Computing
유비쿼터스 컴퓨팅을 위한 접근 제어 규칙과 상황적응 규칙의 안전성 검사
- Jeong, Hye-Ryeong (Dept of Computer Science and Engineering, Hanyang University) ;
- Choi, Ki-Hwan (Dept of Computer Science and Engineering, Hanyang University) ;
- Doh, Kyung-Goo (Dept of Computer Science and Engineering, Hanyang University) ;
- Ahn, Joonseon (Dept of Information & Telecommunication, Hankuk Aviation University) ;
- Chang, Byeong-Mo (Dept of Computer Science, Sookmyung Women's University)
- 정혜령 (한양대학교 컴퓨터공학과) ;
- 최기환 (한양대학교 컴퓨터공학과) ;
- 도경구 (한양대학교 컴퓨터공학과) ;
- 안준선 (한국항공대학교 정보통신공학과) ;
- 창병모 (숙명여자대학교 컴퓨터과학과)
- Published : 2007.11.09
Abstract
유비쿼터스 환경에 대한 관심이 높아짐에 따라 모바일에 관련된 하드웨어 개발은 물론 소프트웨어에 대한 관심도 마찬가지로 높아지고 있다. 소프트웨어에 대해 높아지고 있는 관심 중에서도 자원의 공유 혹은 접근에 대한 보안은 매우 중요한 이슈로 떠오르고 있다. 본 논문에서는 유비쿼터스 소프트웨어를 개발하기 위한 더 나은 프로그래밍 환경을 제공할 수 있는 정책 기술 언어로 작성된 정책 명세에 포함되는 권한의 제어를 위한 접근 제어 규칙(Access Control Rule)과 변화되는 상황을 감지하기 위한 상황 적응 규칙(Adaptation Rule)을 검사하여 규칙 사이의 안전성을 검사하기 위한 방법을 제시한다. 또한 규칙 사이의 안전성을 말하기 위해 사용되는 타입 시스템에 대해서도 설명한다.
Keywords