Search

Analysis of Healthcare Workflows in Accordance with Access Control Policies

Publication: Journal Article

Lakaraju, Sandeep, Dianxiang Xu, and Yong Wang. 2016. “Analysis of Healthcare Workflows in Accordance With Access Control Policies”. International Journal of Healthcare Information Systems and Informatics (IJHISI) 11 (1): 1-20.

Publication: Journal Article

Kong, Jun, Dianxiang Xu, and Xiaoqin Zeng. 2010. “UML-Based Modeling and Analysis of Security Threats”. International Journal of Software Engineering and Knowledge Engineering 20 (06): 875-97.

Publication: Journal Article

Tu, Manghui, and Dianxiang Xu. 2013. “Resilience As a New System Engineering for Cloud Computing.”. J. Commun. 8 (4): 267-74.

Publication: Journal Article

Xu, Dianxiang, Michael Kent, Lijo Thomas, Tejeddine Mouelhi, and Yves Le Traon. 2014. “Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets”. IEEE Transactions on Computers 64 (9): 2490-2505.

Publication: Journal Article

Alsmadi, Izzat, and Dianxiang Xu. 2015. “Security of Software Defined Networks: A Survey”. Computers & Security 53: 79-108.

Publication: Book

Wang, Jiacun. 2012. Handbook of Finite State Based Models and Applications. CRC press.

Publication: Journal Article

Wu, Yan, Anthony Luo, and Dianxiang Xu. 2019. “Identifying Suspicious Addresses in Bitcoin Thefts”. Digital Investigation 31: 200895.

Publication: Journal Article

Xu, Dianxiang, Yunpeng Zhang, and Ning Shen. 2015. “Formalizing Semantic Differences Between Combining Algorithms in XACML 3.0 Policies”. 2015 IEEE International Conference on Software Quality, Reliability and Security, 163-72.

Publication: Journal Article

Ariss, Omar El, Jianfei Wu, and Dianxiang Xu. 2011. “Towards an Enhanced Design Level Security: Integrating Attack Trees With Statecharts”. 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement, 1-10.

Publication: Journal Article

Tu, Manghui, Dianxiang Xu, Zhonghang Xia, and Jicheng Fu. 2011. “Reach Availability Modeling of Replicated Services”. 2011 IEEE 35th Annual Computer Software and Applications Conference, 688-93.