Analyzing Call Initiation Intrusion in Mobile Phones

摘要

In this paper we aim to analyze intrusion 'phone call initiation' in mobile phones committed by some mobile hacker. First, we state characteristics of such an intrusion and then we model it using Colored Petri-Nets. To show correctness of our model, we verify its properties, consisting of liveness, fairness, and boundness and then we mine the model.