OpenScholar

Automated security test generation with formal threat models

Publication: Journal Article

Xu, Dianxiang, Manghui Tu, Michael Sanford, Lijo Thomas, Daniel Woodraska, and Weifeng Xu. 2012. “Automated Security Test Generation With Formal Threat Models”. IEEE Transactions on Dependable and Secure Computing 9 (4): 526-40.

Modeling security attacks with statecharts

Publication: Journal Article

Ariss, Omar El, and Dianxiang Xu. 2011. “Modeling Security Attacks With Statecharts”. Proceedings of the Joint ACM SIGSOFT Conference—QoSA and ACM SIGSOFT Symposium—ISARCS on Quality of Software Architectures—QoSA and Architecting Critical Systems&Mdash;ISARCS, 123-32.

Model checking of security properties in industrial control systems (ICS)

Publication: Journal Article

Shrestha, Roshan, Hoda Mehrpouyan, and Dianxiang Xu. 2018. “Model Checking of Security Properties in Industrial Control Systems (ICS)”. Proceedings of the Eighth ACM Conference on Data and Application Security and Privacy, 164-66.

SMT-Based Verification of NGAC Policies

Publication: Conference Paper

Dubrovenski, Vladislav, Erzhuo Chen, and Dianxiang Xu. 2023. “SMT-Based Verification of NGAC Policies”. In IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC’23).

An automated test generation technique for software quality assurance

Publication: Journal Article

Xu, Dianxiang, Weifeng Xu, Michael Kent, Lijo Thomas, and Linzhang Wang. 2014. “An Automated Test Generation Technique for Software Quality Assurance”. IEEE Transactions on Reliability 64 (1): 247-68.

Analysis of Healthcare Workflows in Accordance with Access Control Policies

Publication: Journal Article

Lakaraju, Sandeep, Dianxiang Xu, and Yong Wang. 2016. “Analysis of Healthcare Workflows in Accordance With Access Control Policies”. International Journal of Healthcare Information Systems and Informatics (IJHISI) 11 (1): 1-20.

UML-based modeling and analysis of security threats

Publication: Journal Article

Kong, Jun, Dianxiang Xu, and Xiaoqin Zeng. 2010. “UML-Based Modeling and Analysis of Security Threats”. International Journal of Software Engineering and Knowledge Engineering 20 (06): 875-97.

Resilience as a New System Engineering for Cloud Computing.

Publication: Journal Article

Tu, Manghui, and Dianxiang Xu. 2013. “Resilience As a New System Engineering for Cloud Computing.”. J. Commun. 8 (4): 267-74.

Automated model-based testing of role-based access control using predicate/transition nets

Publication: Journal Article

Xu, Dianxiang, Michael Kent, Lijo Thomas, Tejeddine Mouelhi, and Yves Le Traon. 2014. “Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets”. IEEE Transactions on Computers 64 (9): 2490-2505.

Security of software defined networks: A survey

Publication: Journal Article

Alsmadi, Izzat, and Dianxiang Xu. 2015. “Security of Software Defined Networks: A Survey”. Computers & Security 53: 79-108.

Search

Search results

Automated security test generation with formal threat models

Modeling security attacks with statecharts

Model checking of security properties in industrial control systems (ICS)

SMT-Based Verification of NGAC Policies

An automated test generation technique for software quality assurance

Analysis of Healthcare Workflows in Accordance with Access Control Policies

UML-based modeling and analysis of security threats

Resilience as a New System Engineering for Cloud Computing.

Automated model-based testing of role-based access control using predicate/transition nets

Security of software defined networks: A survey