CPN을 이용한 무선원격제어시스템의 안전성 검증

Vol. 13, No. 5, pp. 81-90, 10월. 2003
10.13089/JKIISC.2003.13.5.81, Full Text:
Keywords:
Abstract

기존 웹 기반인 시스템 관리 소프트웨어 솔루션들은 시간적, 공간적 제약을 갖는다. 그리고 오류 메시지에 대한 불확실한 통보와 실시간 지원요구 및 긴급조치가 어렵다는 문제점들을 갖는다. 이러한 문제들을 해결하기 위해서 모바일 통신기기를 이용하여 원격시스템을 관리 및 모니터링하고 즉각적으로 원격지의 시스템을 제어할 수 있는 무선 원격제어 시스템을 설계 및 구현하였다. 구현된 무선 원격제어 시스템은 이러한 문제의 해결뿐만 아니라 보안의 문제도 갖고 있다. 그러므로 본 논문에서는, 무선 원격제어 시스템을 위한 보안 문제에 초점을 맞추어 진행하였으며, 설계한 보안기능은 사용자에 대한 모바일장비 사용자 인증과 대상 시스템 접근제어 기능을 갖도록 하였다. 이러한 보안 기능에 대한 안전성 검증을 위하여 각 단계에 대한 모든 가능한 상태를 표현할 수 있는 CPN(Coloured Petri Nets)을 도입하였다. 그리고 본 논문에서는 CPN 기반의 상태 불변식으로 안전성을 검증하였다. 제안한 보안 기능의 CPN 표현과 분석방법은 차후에 다른 서비스 모델의 설계와 검증에 유용한 방법이 될 수 있다.

Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from December 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
이문구, "Security Verification of Wireless Remote Control System Using CPN," Journal of The Korea Institute of Information Security and Cryptology, vol. 13, no. 5, pp. 81-90, 2003. DOI: 10.13089/JKIISC.2003.13.5.81.

[ACM Style]
이문구. 2003. Security Verification of Wireless Remote Control System Using CPN. Journal of The Korea Institute of Information Security and Cryptology, 13, 5, (2003), 81-90. DOI: 10.13089/JKIISC.2003.13.5.81.