XPA: An Open Source IDE for XACML Policies
Shrestha, Roshan, Shuai Peng, Turner Lehmbecker, and Dianxiang Xu. 2018. “XPA: An Open Source IDE for XACML Policies.”
Search
Search results
91 results found
Forensic Analysis of Bitcoin Transactions
Wu, Yan, Anthony Luo, and Dianxiang Xu. 2019. “Forensic Analysis of Bitcoin Transactions”. 2019 IEEE International Conference on Intelligence and Security Informatics (ISI), 167-69.
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.
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.