Search

Detecting Incorrect Uses of Combining Algorithms in XACML 3.0 Policies

Publication: Journal Article

Xu, Dianxiang, Ning Shen, and Yunpeng Zhang. 2015. “Detecting Incorrect Uses of Combining Algorithms in XACML 3.0 Policies”. International Journal of Software Engineering and Knowledge Engineering 25 (09n10): 1551-71.

Testing aspect-oriented programs with finite state machines

Publication: Journal Article

Xu, Dianxiang, Omar El-Ariss, Weifeng Xu, and Linzhang Wang. 2012. “Testing Aspect-Oriented Programs With Finite State Machines”. Software Testing, Verification and Reliability 22 (4): 267-93.

Automated security test generation with formal threat models

Publication: Journal Article

Xu, Dianxiang, Manghui Tu, Michael Sanford, Lijo Thomas, Daniel Woodraska, and Weifeng Xu. 2012. “Automated Security Test Generation With Formal Threat Models”. IEEE Transactions on Dependable and Secure Computing 9 (4): 526-40.

Modeling security attacks with statecharts

Publication: Journal Article

Ariss, Omar El, and Dianxiang Xu. 2011. “Modeling Security Attacks With Statecharts”. Proceedings of the Joint ACM SIGSOFT Conference—QoSA and ACM SIGSOFT Symposium—ISARCS on Quality of Software Architectures—QoSA and Architecting Critical Systems&Mdash;ISARCS, 123-32.

Model checking of security properties in industrial control systems (ICS)

Publication: Journal Article

Shrestha, Roshan, Hoda Mehrpouyan, and Dianxiang Xu. 2018. “Model Checking of Security Properties in Industrial Control Systems (ICS)”. Proceedings of the Eighth ACM Conference on Data and Application Security and Privacy, 164-66.

Mauris felis ante montes rhoncus semper, iaculis nisl facilisis malesuada maecenas

Publication: Journal Article

Fames, Pulvinar, Hasellus Dignissim, Imperdiet Sociosqu, and Dictum Gravida. 2020. “Mauris Felis ante Montes Rhoncus Semper, Iaculis Nisl Facilisis Malesuada Maecenas”. Mauris Felis ante Montes Rhoncus Semper, Iaculis Nisl Facilisis Malesuada Maecenas.

Mauris felis ante montes rhoncus semper, iaculis nisl facilisis malesuada maecenas

Publication: Journal Article

Fames, Pulvinar, Hasellus Dignissim, Imperdiet Sociosqu, and Dictum Gravida. 2020. “Mauris Felis ante Montes Rhoncus Semper, Iaculis Nisl Facilisis Malesuada Maecenas”. Mauris Felis ante Montes Rhoncus Semper, Iaculis Nisl Facilisis Malesuada Maecenas.

Povutpat Egestas Erat Rhoncus Dapibus Senectus Fringippa.

Publication: Working Paper

Stone, J, P Priya, M. Wong, P Stanbrige, N Lee-Walsh, and A Li. 2020. “Povutpat Egestas Erat Rhoncus Dapibus Senectus Fringippa..”

Povutpat Egestas Erat Rhoncus Dapibus Senectus Fringippa.

Publication: Working Paper

Stone, J, P Priya, M. Wong, P Stanbrige, N Lee-Walsh, and A Li. 2020. “Povutpat Egestas Erat Rhoncus Dapibus Senectus Fringippa..”

Povutpat Egestas Erat Rhoncus Dapibus Congue Fringippa.

Publication: Journal

Porttitor, J., P. Priya, M. Dotor, P Pretium, N. Lee-Walsh, and A. Li. 2022. “Povutpat Egestas Erat Rhoncus Dapibus Congue Fringippa..”

Search

Search results