A survey on empirical security analysis of access-control systems: a real-world perspective

S Parkinson, S Khan - ACM Computing Surveys, 2022 - dl.acm.org
There any many different access-control systems, yet a commonality is that they provide
flexible mechanisms to enforce different access levels. Their importance in organisations to …

Simulation-based multi-objective optimization for enhanced safety of fire emergency response in metro stations

Q Liu, R He, L Zhang - Reliability Engineering & System Safety, 2022 - Elsevier
This study establishes a multi-objective optimization (MOO) model for fire emergency
response in the metro station using a simulation-based analysis, in which the emergency …

Simulation-based rescue plan modeling and performance assessment towards resilient metro systems under emergency

Q Liu, K Guo, X Wu, Z Xiao, L Zhang - Reliability Engineering & System …, 2024 - Elsevier
This paper proposes an intelligent fire emergency rescue analysis model in which the
Hierarchical Timed Colored Petri nets (HTCPN) are incorporated to realize process control …

Modeling and analysis of medical resource allocation based on Timed Colored Petri net

W Yu, M Jia, X Fang, Y Lu, J Xu - Future Generation Computer Systems, 2020 - Elsevier
Through the medical information integration system, the limited resources in the hospital can
be reasonably utilized. Meanwhile, optimizing the resource management and allocation …

An information security engineering framework for modeling packet filtering firewall using neutrosophic petri nets

JK Madhloom, ZH Noori, SK Ebis, OA Hassen… - Computers, 2023 - mdpi.com
Due to the Internet's explosive growth, network security is now a major concern; as a result,
tracking network traffic is essential for a variety of uses, including improving system …

A security and privacy validation methodology for e-health systems

F Amato, V Casola, G Cozzolino… - ACM Transactions on …, 2021 - dl.acm.org
e-Health applications enable one to acquire, process, and share patient medical data to
improve diagnosis, treatment, and patient monitoring. Despite the undeniable benefits …

A hierarchical formal method for performance evaluation of WSNs protocol

S Zroug, L Kahloul, S Benharzallah, K Djouani - Computing, 2021 - Springer
The design and the evaluation of communication protocols in WSNs is a crucial issue.
Generally, researchers use simulation methods to evaluate them. However, formal …

Towards performance evaluation prediction in WSNs using artificial neural network multi-perceptron

S Zroug, I Remadna, L Kahloul, SL Terrissa… - Cluster …, 2023 - Springer
The use of formal methods in specifying and verifying WSNs protocols attracts several
researchers. However, based practically on state-space exploration, these formal methods …

Security assessment and improvement of smart grid NIKE protocol

T Feng, W Jin, M Zhang, L Zheng - International Journal of Information …, 2024 - Springer
Advanced metering infrastructure (AMI) is a fundamental functional module of Smart Grid
that supports mutual communication between customers and electric companies. In order to …

A new formal approach for performance evaluation of green MAC protocol in energy harvesting WSNs

S Zroug, L Kahloul, S Tigane, N Hamani… - Telecommunication …, 2023 - Springer
Wireless sensor networks (WSNs) are intrinsically energy-constrained networks.
Researchers have proposed the integration of energy harvesting technologies into sensor …