Xu, Dianxiang
105  results:
Search for persons X
?
3

Coverage-Based Testing of Obligations in NGAC Systems:

, In: Proceedings of the 28th ACM Symposium on Access Control Models and Technologies,
 
?
4

SMT-Based Verification of NGAC Policies:

, In: 2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC),
 
?
5

Dynamic Access Control with Administrative Obligations: A C..:

, In: 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion (QRS-C),
 
?
6

Towards Designing Shared Digital Forensics Instructional Ma..:

, In: 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC),
Xu, Weifeng ; Deng, Lin ; Xu, Dianxiang - p. 117-122 , 2022
 
?
7

Compact Abstract Graphs for Detecting Code Vulnerability wi..:

, In: Proceedings of the 38th Annual Computer Security Applications Conference,
Luo, Yu ; Xu, Weifeng ; Xu, Dianxiang - p. 497-507 , 2022
 
?
8

Towards a Theory on Testing XACML Policies:

, In: Proceedings of the 27th ACM on Symposium on Access Control Models and Technologies,
Xu, Dianxiang ; Shrestha, Roshan ; Shen, Ning. - p. 103-114 , 2022
 
?
9

Visualizing and Reasoning about Presentable Digital Forensi..:

, In: 2022 19th Annual International Conference on Privacy, Security & Trust (PST),
Xu, Weifeng ; Xu, Dianxiang - p. 1-10 , 2022
 
?
10

Session details: Session 3: Security Policy Testing and Enf..:

, In: Proceedings of the 26th ACM Symposium on Access Control Models and Technologies,
Xu, Dianxiang , 2021
 
?
11

Mutation Analysis of NGAC Policies:

, In: Proceedings of the 26th ACM Symposium on Access Control Models and Technologies,
 
?
13

Quantifying Event Impact on the Bitcoin Blockchain:

, In: 2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC),
Luo, Anthony ; Xu, Dianxiang - p. 268-273 , 2021
 
?
14

vSwitchGuard: Defending OpenFlow Switches Against Saturatio..:

, In: 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC),
 
?
15

LncRNA PCAT6 Regulated by YY1 Accelerates the Progression o..:

Liu, Peng ; Zhao, Peng ; Li, Bing..
Neurochemical Research.  45 (2020)  12 - p. 2894-2902 , 2020
 
1-15