2 citations · 4 across the 6 of their papers we have counts for
6 papers
On Yukawa Potential Centrality for Identification of Influential Spreaders in Complex Networks
Pouria Bazyarrezaei, Mohammad Abdollahi Azgomi
Identifying influential nodes in complex networks is a fundamental challenge for understanding how information, influence, and contagion propagate through interconnected systems. C…
Anomaly Detection in XML-Structured SOAP Messages Using Tree-Based Association Rule Mining
Reyhaneh Ghassem Esfahani, Mohammad Abadollahi Azgomi, Reza Fathi
Web services are software systems designed for supporting interoperable dynamic cross-enterprise interactions. The result of attacks to Web services can be catastrophic and causing…
DSCMC: Distributed Stateless Code Model Checker
Elaheh Ghassabani, Mohammad Abdollahi Azgomi
Stateless code model checking is an effective verification technique, which is more applicable than stateful model checking to the software world. Existing stateless model checkers…
A New Approach to Stateless Model Checking of LTL Properties
Elaheh Ghassabani, Mohammad Abdollahi Azgomi
Verification of large and complicated concurrent programs is an important issue in the software world. Stateless model checking is an appropriate method for systematically and auto…
Stateless Code Model Checking of Information Flow Security
Elaheh Ghassabani, Mohammad Abdollahi Azgomi
Observational determinism is a security property that characterizes secure information flow for multithreaded programs. Most of the methods that have been used to verify observatio…
An Extension for Combination of Duty Constraints in Role-Based Access Control
Ali Hosseini, Mohammad Abdollahi Azgomi
Among access control models, Role Based Access Control (RBAC) is very useful and is used in many computer systems. Static Combination of Duty (SCD) and Dynamic Combination of Duty…