Skip to main content
logo
Dianxiang Xu, Ph.D.

Contact 

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

dxu@umkc.edu

Powered byOpenScholar®Admin Login