Today, by the advance of science and technology, safety-critical systems have further improved and are used in all the technical fields including medical systems. Because any error or bug in medical systems can cause inevitable vital risks, the use of formal methods with mathematical base and capability of automatic analysis is suggested in modelling these systems. Also since a great deal of medical systems and monitoring devices are real-time systems, in which the role of time is undeniable, it is desirable to use instruments and tools with the capability of applying time constraints in modelling. Furthermore, considering the system behavior in controlling of patients and automated verification of model in medical systems is very important for the special sensitivity of these systems. This article presents a useful method for modelling safety management systems in E-medicine system by applying conception of Timed Automata. We choose Continuous infusion insulin Pump (CIIP) as a representative model to show our approach.
One of the most significant issues in information security today is monitoring users’ behavior while accessing software resources. This paper proposes a new access control model based principally on user behavior as a sequence of events regarding the processes within the software. The proposed model consists of three main components. The first component analyses system logs for events triggered by each user’s access to the system. The second component provides a policy engine to determine the risk of permitting the subsequent access requested by the user. According to the access history, the third component, which reflects the user’s behavior and the existing policies, determines the level of risk of any subsequent access of the user and acts accordingly. To generate the policies in the detection engine, a behavior-based risk management cycle is presented by applying the Ordered Weighted Averaging method to determine and rank the behavior-based risks. For modeling the behaviors, the BIZAGI Studio tool is utilized, and also for investigating all possible conditions. Kaggel and two random datasets are used to evaluate the accuracy of the proposed method. The results show an increase in the accuracy of the proposed method compared to recent research. Applying the proposed method creates more precise access control and enhances information confidentiality.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.