Search

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.

Towards better fault localization: A crosstab-based statistical approach

Publication: Journal Article

Wong, Eric, Vidroha Debroy, and Dianxiang Xu. 2011. “Towards Better Fault Localization: A Crosstab-Based Statistical Approach”. IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews) 42 (3): 378-96.

Secure system modeling: Integrating security attacks with statecharts

Publication: Journal Article

Ariss, Omar El, and Dianxiang Xu. 2012. “Secure System Modeling: Integrating Security Attacks With Statecharts”. International Journal of Software and Informatics 6 (2): 271-306.

Bharath K bavikati, W. Eric Wong,“Mining Executable Specifications of Web Applications from Selenium IDE Tests” proc. IEEE 6th International Conference on Software Security and Reliability (SERE 12)

Publication: Miscellaneous

Xu, Dianxiang, and Weifeng Xu. 2012. “Bharath K Bavikati, W. Eric Wong,‘Mining Executable Specifications of Web Applications from Selenium IDE Tests’ Proc. IEEE 6th International Conference on Software Security and Reliability (SERE 12).”

Undergraduate Research Experience in Cybersecurity for Underrepresented Students and Students with Limited Research Opportunities

Publication: Journal Article

Yang, Dazhi, Dianxiang Xu, Jyh-Haw Yeh, and Yibo Fan. 2019. “Undergraduate Research Experience in Cybersecurity for Underrepresented Students and Students With Limited Research Opportunities”. Journal of STEM Education.

MINING DECISION TREES AS TEST ORACLES FOR JAVA BYTECODE.

Publication: Journal Article

Xu, Weifeng, Tao Ding, Dianxiang Xu, and Omar El Ariss. 2016. “MINING DECISION TREES AS TEST ORACLES FOR JAVA BYTECODE.”. International Journal for Computers & Their Applications 23 (3).

XPA: An Open Source IDE for XACML Policies

Publication: Journal Article

Shrestha, Roshan, Shuai Peng, Turner Lehmbecker, and Dianxiang Xu. 2018. “XPA: An Open Source IDE for XACML Policies.”

Forensic Analysis of Bitcoin Transactions

Publication: Journal Article

Wu, Yan, Anthony Luo, and Dianxiang Xu. 2019. “Forensic Analysis of Bitcoin Transactions”. 2019 IEEE International Conference on Intelligence and Security Informatics (ISI), 167-69.

Search

Search results

Modeling security attacks with statecharts

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

Dianxiang Xu PhD

Towards better fault localization: A crosstab-based statistical approach

Secure system modeling: Integrating security attacks with statecharts

Bharath K bavikati, W. Eric Wong,“Mining Executable Specifications of Web Applications from Selenium IDE Tests” proc. IEEE 6th International Conference on Software Security and Reliability (SERE 12)

Undergraduate Research Experience in Cybersecurity for Underrepresented Students and Students with Limited Research Opportunities

MINING DECISION TREES AS TEST ORACLES FOR JAVA BYTECODE.

XPA: An Open Source IDE for XACML Policies

Forensic Analysis of Bitcoin Transactions