Search

Lakkaraju, Sandeep, and Dianxiang Xu. 2014. “Integrated Modeling and Analysis of Attribute Based Access Control Policies and Workflows in Healthcare”. 2014 International Conference on Trustworthy Systems and Their Applications, 36-43.

Tu, Manghui, and Dianxiang Xu. 2013. “System Resilience Modeling and Enhancement for the Cloud”. 2013 International Conference on Computing, Networking and Communications (ICNC), 1021-25.

Xu, Dianxiang, Lijo Thomas, Michael Kent, Tejeddine Mouelhi, and Yves Le Traon. 2012. “A Model-Based Approach to Automated Testing of Access Control Policies”. Proceedings of the 17th ACM Symposium on Access Control Models and Technologies, 209-18.

Tu, Manghui, Liangliang Xiao, and Dianxiang Xu. 2013. “Maximizing the Availability of Replicated Services in Widely Distributed Systems Considering Network Availability”. 2013 IEEE 7th International Conference on Software Security and Reliability, 178-87.

Wang, Jiacun. 2012. Handbook of Finite State Based Models and Applications. CRC press.

Li, Zhiyuan, Weijia Xing, and Dianxiang Xu. 2018. “Detecting Saturation Attacks in Software-Defined Networks”. 2018 IEEE International Conference on Intelligence and Security Informatics (ISI), 163-68.

Xu, Dianxiang, Michael Sanford, Zhaoliang Liu, Spencer Johnson, Mark Emry, Brad Brockmueller, and Michael To. 2013. “Testing Access Control and Obligation Policies”. 2013 International Conference on Computing, Networking and Communications (ICNC), 540-44.

Chen, Erzhuo, Vladislav Dubrovenski, and Dianxiang Xu. 2023. “Coverage-Based Testing of Obligations in NGAC Systems”. In 28th ACM Symposium on Access Control Models and Technologies (SACMAT’23).

Luo, Yu, Weifeng Xu, and Dianxiang Xu. 2022. “Compact Abstract Graphs for Detecting Code Vulnerability With GNN Models”. In Annual Computer Security Applications Conference (ACSAC’22).

Xu, Dianxiang, Weifeng Xu, and Eric Wong. 2009. “Automated Test Code Generation from Class State Models”. International Journal of Software Engineering and Knowledge Engineering 19 (04): 599-623.