OpenScholar

Search results

104 results found

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.

Dianxiang Xu PhD

Coverage-Based Testing of Obligations in NGAC Systems

Publication: Conference Paper

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).

Compact Abstract Graphs for Detecting Code Vulnerability with GNN Models

Publication: Conference Paper

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).

CS 483/5583 Software Security

Class

Publications

Page

News + Updates

Page

Automated test code generation from class state models

Publication: Journal Article

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.

Forensic Evidence Identification and Modeling for Attacks against a Simulated Online Business Information System

Publication: Journal Article

Tu, Manghui, Dianxiang Xu, Eugene Butler, and Amanda Schwartz. 2012. “Forensic Evidence Identification and Modeling for Attacks Against a Simulated Online Business Information System”. Journal of Digital Forensics, Security and Law 7 (4): 4.