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.

Woodraska, Daniel, Michael Sanford, and Dianxiang Xu. 2011. “Security Mutation Testing of the FileZilla FTP Server”. Proceedings of the 2011 ACM Symposium on Applied Computing, 1425-30.

Xu, Dianxiang. 2011. “A Tool for Automated Test Code Generation from High-Level Petri Nets”. International Conference on Application and Theory of Petri Nets and Concurrency, 308-17.

Xu, Dianxiang. 2013. “Software Security Testing of an Online Banking System: A Unique Research Experience for Undergraduates and Computer Teachers”. Proceeding of the 44th ACM Technical Symposium on Computer Science Education, 705-10.