Interaction-based Reputation Model in Online Social Networks.
Alsmadi, Izzat, Dianxiang Xu, and Jin-Hee Cho. 2016. “Interaction-Based Reputation Model in Online Social Networks.”. ICISSP, 265-72.
Search
Search results
104 results found
Model-Based Metamorphic Testing: A Case Study.
Ding, Junhua, and Dianxiang Xu. 2012. “Model-Based Metamorphic Testing: A Case Study.”. SEKE, 363-68.
An Approach for Analyzing Software Specifications in Petri Nets.
Ding, Junhua, Dianxiang Xu, and Jidong Ge. 2013. “An Approach for Analyzing Software Specifications in Petri Nets.”. SEKE, 411-16.
Integrated modeling and analysis of attribute based access control policies and workflows in healthcare
Lakkaraju, Sandeep, and Dianxiang Xu. 2014. “Integrated Modeling and Analysis of Attribute Based Access Control Policies and Workflows in Healthcare”. 2014 International Conference on Trustworthy Systems and Their Applications, 36-43.
System resilience modeling and enhancement for the cloud
Tu, Manghui, and Dianxiang Xu. 2013. “System Resilience Modeling and Enhancement for the Cloud”. 2013 International Conference on Computing, Networking and Communications (ICNC), 1021-25.
A model-based approach to automated testing of access control policies
Xu, Dianxiang, Lijo Thomas, Michael Kent, Tejeddine Mouelhi, and Yves Le Traon. 2012. “A Model-Based Approach to Automated Testing of Access Control Policies”. Proceedings of the 17th ACM Symposium on Access Control Models and Technologies, 209-18.
Maximizing the availability of replicated services in widely distributed systems considering network availability
Tu, Manghui, Liangliang Xiao, and Dianxiang Xu. 2013. “Maximizing the Availability of Replicated Services in Widely Distributed Systems Considering Network Availability”. 2013 IEEE 7th International Conference on Software Security and Reliability, 178-87.
Handbook of Finite State Based Models and Applications
Wang, Jiacun. 2012. Handbook of Finite State Based Models and Applications. CRC press.
Detecting Saturation Attacks in Software-Defined Networks
Li, Zhiyuan, Weijia Xing, and Dianxiang Xu. 2018. “Detecting Saturation Attacks in Software-Defined Networks”. 2018 IEEE International Conference on Intelligence and Security Informatics (ISI), 163-68.
Testing access control and obligation policies
Xu, Dianxiang, Michael Sanford, Zhaoliang Liu, Spencer Johnson, Mark Emry, Brad Brockmueller, and Michael To. 2013. “Testing Access Control and Obligation Policies”. 2013 International Conference on Computing, Networking and Communications (ICNC), 540-44.