Towards a Theory on Testing XACML Policies
Xu, Dianxiang, Roshan Shrestha, Ning Shen, and Yunpeng Zhang. 2022. “Towards a Theory on Testing XACML Policies”. Proceedings of the 27th ACM on Symposium on Access Control Models and Technologies, 103-14.
Search
Search results
104 results found
Visualizing and Reasoning about Presentable Digital Forensic Evidence with Knowledge Graphs
Xu, Weifeng, and Dianxiang Xu. 2022. “Visualizing and Reasoning about Presentable Digital Forensic Evidence With Knowledge Graphs”. 2022 19th Annual International Conference on Privacy, Security & Trust (PST), 1-10.
Aspect-oriented modeling and verification with finite state machines
Xu, Dian-Xiang, Omar El-Ariss, Wei-Feng Xu, and Lin-Zhang Wang. 2009. “Aspect-Oriented Modeling and Verification With Finite State Machines”. Journal of Computer Science and Technology 24 (5): 949-61.
On the development of a digital forensics curriculum
Tu, Manghui, Dianxiang Xu, Samsuddin Wira, Cristian Balan, and Kyle Cronin. 2012. “On the Development of a Digital Forensics Curriculum”. Journal of Digital Forensics, Security and Law 7 (3): 2.
Network slicing to improve multicasting in HPC clusters
Alsmadi, Izzat, Abdallah Khreishah, and Dianxiang Xu. 2018. “Network Slicing to Improve Multicasting in HPC Clusters”. Cluster Computing 21 (3): 1493-1506.
Automated integration testing using logical contracts
Xu, Dianxiang, Weifeng Xu, Manghui Tu, Ning Shen, William Chu, and Chih-Hung Chang. 2015. “Automated Integration Testing Using Logical Contracts”. IEEE Transactions on Reliability 65 (3): 1205-22.
Detecting saturation attacks based on self-similarity of OpenFlow traffic
Li, Zhiyuan, Weijia Xing, Samer Khamaiseh, and Dianxiang Xu. 2019. “Detecting Saturation Attacks Based on Self-Similarity of OpenFlow Traffic”. IEEE Transactions on Network and Service Management 17 (1): 607-21.
Bayesian Unigram-Based Inference for Expanding Abbreviations in Source Code
Alatawi, Abdulrahman, Weifeng Xu, and Dianxiang Xu. 2017. “Bayesian Unigram-Based Inference for Expanding Abbreviations in Source Code”. 2017 IEEE 29th International Conference on Tools With Artificial Intelligence (ICTAI), 543-50.
Predicting friendship strength for privacy preserving: a case study on Facebook
Dhakal, Nitish, Francesca Spezzano, and Dianxiang Xu. 2017. “Predicting Friendship Strength for Privacy Preserving: A Case Study on Facebook”. Proceedings of the 2017 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining 2017, 1096-1103.
Automated Generation of Integration Test Sequences from Logical Contracts
Xu, Dianxiang, Weifeng Xu, and Manghui Tu. 2014. “Automated Generation of Integration Test Sequences from Logical Contracts”. 2014 IEEE 38th International Computer Software and Applications Conference Workshops, 632-37.