시스템 명세화 기법 기반의 개인정보보호 모바일 알람 시스템 설계 및 구현
System Specification-based Design of Mobile Alarm System for Privacy Protection
1
조회
0
다운로드
1
인용
0
참고문헌
키워드
초록
The system specification is a system theory based formal representation method for systems' structure and behavior modeling. When we make use of the system specification method in each step of software development, we can derive a hierarchical and modularized system design which enables us to manage the software development process flexibly. This research presents system specification based design of a mobile alarm system which sends alerts about illegal usage of private information and manages the response against the each alert. In our design of mobile alarm system, there are formal definition of alert message overcoming the functional limitation of mobile device and hierarchical modularized modeling of alarm processing using system specification. The efficiency of making use of the system specification is shown by applying the specification method to implementation of mobile alarm system. The contribution of this work is in design and implementation of mobile alarm system which enables us to handle the private information leakage situation more flexible way using system specification based software designing method.
Abstract
The system specification is a system theory based formal representation method for systems' structure and behavior modeling. When we make use of the system specification method in each step of software development, we can derive a hierarchical and modularized system design which enables us to manage the software development process flexibly. This research presents system specification based design of a mobile alarm system which sends alerts about illegal usage of private information and manages the response against the each alert. In our design of mobile alarm system, there are formal definition of alert message overcoming the functional limitation of mobile device and hierarchical modularized modeling of alarm processing using system specification. The efficiency of making use of the system specification is shown by applying the specification method to implementation of mobile alarm system. The contribution of this work is in design and implementation of mobile alarm system which enables us to handle the private information leakage situation more flexible way using system specification based software designing method.
참고문헌 (11)
- 장은영, "개인정보관리를 위한 메시지 트리 기반의 모바일 알람 시스템 구축", 정보보호학회논문지, 19(3), pp.153~162 (2009), 한국정보보호학회
- B.P. Zeigler, "Theory of Modeling and Simulation, 2th Ed." (2000), Academic Press
- 김은하, "시스템 형식론에 의한 사용자 인터페이스 시스템 표현과 DEVS 모델링", 한국시뮬레이션학회논문지, 8(4), pp.137~154 (1999)
- S.P.Hong, "Prototyping the Privacy-Based Policy Management System for Securely Using Privacy Information", WISA 2009, pp.121~129 (2009)
- J.Niinimäki, "Security Development of a Pocket-Sized Teleradiology Consultation System", Studies in Health Technology and Informatics, pp.1266~1270 (2001)
- N.M. Karnik, "Security in the Ajanta Mobile agent system", Software—Practice & Experience archive, pp.301~329 (1999)
- I.Mavridis, "Security Issues in a Mobile Computing Paradigm", Informatics 97 security issues, pp.61~76 (1997)
- J.Burkhadrdt, "Pervasive computing:Technology and Architecture of mobile internet applications" (2001), Addison-Wesley Longman Publishing Co.
- B.Lee, "Users‘ Perspective on Regulation to Protect Privacy on the Web", The International Information & Library Review, pp.379~402 (2000)
- R. Sekar, "Synthesizing Fast Intrusion Prevention", Detection Systems from High-Level Specifications, 1999, 12~15
- 한영태, "이벤트 알림 서비스의 구조설계와 성능분석", 한국시뮬레이션학회 추계학술대회논문집, pp.95~103 (2003)