한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)
- 한국정보처리학회 2007년도 추계학술발표대회
- /
- Pages.831-834
- /
- 2007
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
유비쿼터스 컴퓨팅을 위한 접근 제어 규칙과 상황적응 규칙의 안전성 검사
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)
- 발행 : 2007.11.09
초록
유비쿼터스 환경에 대한 관심이 높아짐에 따라 모바일에 관련된 하드웨어 개발은 물론 소프트웨어에 대한 관심도 마찬가지로 높아지고 있다. 소프트웨어에 대해 높아지고 있는 관심 중에서도 자원의 공유 혹은 접근에 대한 보안은 매우 중요한 이슈로 떠오르고 있다. 본 논문에서는 유비쿼터스 소프트웨어를 개발하기 위한 더 나은 프로그래밍 환경을 제공할 수 있는 정책 기술 언어로 작성된 정책 명세에 포함되는 권한의 제어를 위한 접근 제어 규칙(Access Control Rule)과 변화되는 상황을 감지하기 위한 상황 적응 규칙(Adaptation Rule)을 검사하여 규칙 사이의 안전성을 검사하기 위한 방법을 제시한다. 또한 규칙 사이의 안전성을 말하기 위해 사용되는 타입 시스템에 대해서도 설명한다.
키워드