지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2010.2
- 수록면
- 113 - 121 (9page)
이용수
초록· 키워드
오류제보하기
시스템 명세 기법은 시스템의 구조와 행위특성을 형식적인 표현을 통해 제시하기위해 사용되는 시스템 이론 기반의 정형화된 표현 기법이다. 시스템 명세 기법을 시스템의 설계 단계에서 활용할 경우, 계층적이고 모듈화된 시스템에 대한 정의와 유지보수의 용이성 확보가 가능하여 합리적인 개발이 가능하게 된다. 본 연구에서는 개인정보 사용의 위험상황을 모바일 장치를 이용하여 정보의 소유자에게 알려주고, 이에 대한 응답을 관리하는 기술을 제시하고 있다. 특히, 모바일 장치가 갖는 제약사항을 해결하기 위한 메시지의 형식을 정의하여 제시하였다. 본 기술이 적용된 알람 시스템은 계층적이고 모듈화된 형태로 모델링하기 위해 시스템명세를 기반으로 하였다. 또한, 시스템 명세화 기법 기반의 설계를 통해 알람시스템을 개발하고 본 시스템의 효율성을 검증 하였다. 본 논문의 기여도는 시스템명세기법을 사용한 개인정보 유출상황의 유연성 있는 표현과 관리를 가능하게 한 시스템의 설계 및 구현에 있다.
목차
요약
ABSTRACT
Ⅰ. 서론
Ⅱ. 관련연구
Ⅲ. 시스템 명세 기법 기반의 알람 시스템 모델링
Ⅳ. 시스템 구현
Ⅴ. 결론
참고문헌
〈著者紹介〉
참고문헌 (11)
참고문헌 신청
2. [단행본] - B.P. Zeigler / 2000 / Theory of Modeling and Simulation, 2th Ed. / Academic Press
4. [학술대회논문] - S.P.Hong / 2009 / Prototyping the Privacy-Based Policy Management System for Securely Using Privacy Information / WISA 2009 : 121 ~ 129
5. [학술지(정기간행물)] - J.Niinimäki / 2001 / Security Development of a Pocket-Sized Teleradiology Consultation System / Studies in Health Technology and Informatics : 1266 ~ 1270
6. [학술지(정기간행물)] - N.M. Karnik / 1999 / Security in the Ajanta Mobile agent system / Software—Practice & Experience archive : 301 ~ 329
7. [학술지(정기간행물)] - I.Mavridis / 1997 / Security Issues in a Mobile Computing Paradigm / Informatics 97 security issues : 61 ~ 76
4. [학술대회논문] - S.P.Hong / 2009 / Prototyping the Privacy-Based Policy Management System for Securely Using Privacy Information / WISA 2009 : 121 ~ 129
5. [학술지(정기간행물)] - J.Niinimäki / 2001 / Security Development of a Pocket-Sized Teleradiology Consultation System / Studies in Health Technology and Informatics : 1266 ~ 1270
6. [학술지(정기간행물)] - N.M. Karnik / 1999 / Security in the Ajanta Mobile agent system / Software—Practice & Experience archive : 301 ~ 329
7. [학술지(정기간행물)] - I.Mavridis / 1997 / Security Issues in a Mobile Computing Paradigm / Informatics 97 security issues : 61 ~ 76
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
소프트웨어 요구명세와 설계 명세간의 부합성 검사
한국정보과학회 학술발표논문집
2004 .10
-
네트워크 기반 시스템 명세 및 검증을 위한 Z 프레임워크
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2012 .02
-
개인정보관리를 위한 메시지 트리 기반의 모바일 알람 시스템 구축
정보보호학회논문지
2009 .06
-
객체 지향 명세화 시스템 설계에 관한 연구 ( A Study on Object-Oriented Specification System Design )
한국통신학회 학술대회논문집
1994 .01
-
객체 지향 명세화 시스템 설계에 관한 연구
한국통신학회 학술대회논문집
1994 .11
-
네트워크 시스템 명세를 위한 Z 기반 프레임워크
한국정보과학회 학술발표논문집
2011 .06
-
통신 소프트웨어의 정형적 명세 방안
한국통신학회 학술대회 및 강연회
1997 .01
-
실시간 객체를 위한 명세 및 분석 방법
한국정보과학회 학술발표논문집
1995 .10
-
요구명세언어 및 요구분석 지원시스템 개발 ( Development of Software Specification Language and Software Requirements Analysis System )
특정연구 결과 발표회 논문집
1990 .01
-
Towards Better Specifications
TENCON 87 - Computers and Communications Technology Toward 2000
1997 .01
-
객체지향 설계에서 정형명세를 이용한 컴포넌트 설계로의 변환 기법
정보과학회논문지 : 소프트웨어 및 응용
2004 .07
-
Z 정형적 명세의 객체 지향 애니메이션
정보과학회논문지(B)
1996 .12
-
상황 인식 시스템의 서비스 명세를 시제 논리로 표현하기
한국정보과학회 학술발표논문집
2012 .06
-
역공학을 이용한 GUI 테스트 케이스 경로 확장 방법
한국정보기술학회논문지
2012 .04
-
계층형 명세 언어의 정의 및 검사
프로그래밍언어논문지
2002 .06
-
안전 필수 철도 시스템 개발을 위한 요구 사항의 정형 명세 작성
정보과학회논문지 : 소프트웨어 및 응용
2008 .12
-
도시 교통관제 시스템의 정형 명세
한국정보과학회 학술발표논문집
1998 .04
-
효과적인 Alarm System 개발
대한전기학회 학술대회 논문집
2005 .07
-
정형적 방법을 이용하는 사용자 인터페이스 명세 시스템의 설계
한국정보과학회 학술발표논문집
1992 .10
-
대수명세의 단계적 구현과 증분식 테스팅
(구)정보과학회논문지
1991 .02
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2010-569-002581654