4 papers
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…