Skip to main content

Dianxiang Xu, Ph.D.

Division of Computing, Analytics and Mathematics

Primary menu

Research
Publications
Teaching
GenCyber Camps

Specification and analysis of attribute-based access control policies: An overview

Xu, Dianxiang, and Yunpeng Zhang. 2014. “Specification and Analysis of Attribute-Based Access Control Policies: An Overview”. 2014 IEEE Eighth International Conference on Software Security and Reliability-Companion, 41-49.

Last updated on 07/19/2023

Recent Publications

SMT-Based Verification of NGAC Policies
Coverage-Based Testing of Obligations in NGAC Systems
Compact Abstract Graphs for Detecting Code Vulnerability with GNN Models
Compact Abstract Graphs for Detecting Code Vulnerability with GNN Models
Towards Designing Shared Digital Forensics Instructional Materials
Visualizing and Reasoning about Presentable Digital Forensic Evidence with Knowledge Graphs

Dianxiang Xu, Ph.D.

Professor and Director

Division of Computing, Analytics and Mathematics

Instagram
Twitter
Youtube

Secondary menu

Home
Publications
Research

352H Flarsheim Hall, 5110 Rockhill

Kansas City, MO 64110

Powered byOpenScholar^®Admin Login