Search

Search results

104 results found

Towards an enhanced design level security: integrating attack trees with statecharts

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.

Reach Availability Modeling of Replicated Services

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.

News Article Title 3

News: January 15, 2023

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Suspendisse varius enim in eros elementum tristique. Duis cursus, mi quis viverra ornare, eros dolor interdum nulla, ut commodo diam libero vitae erat. Aenean faucibus nibh et justo cursus id rutrum lorem imperdiet. Nunc ut sem vitae risus...

Rule-Based Test Input Generation from Bytecode

Publication: Journal Article

Xu, Weifeng, Tao Ding, and Dianxiang Xu. 2014. “Rule-Based Test Input Generation from Bytecode”. 2014 Eighth International Conference on Software Security and Reliability (SERE), 108-17.

Testing access control and obligation policies

Publication: Journal Article

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.

A systematic capture and replay strategy for testing complex gui based java applications

Publication: Journal Article

Ariss, Omar El, Dianxiang Xu, Santosh Dandey, Brad Vender, Phil McClean, and Brian Slator. 2010. “A Systematic Capture and Replay Strategy for Testing Complex Gui Based Java Applications”. 2010 Seventh International Conference on Information Technology: New Generations, 1038-43.

Search

Search results

Towards an enhanced design level security: integrating attack trees with statecharts

Reach Availability Modeling of Replicated Services

News Article Title 3

Rule-Based Test Input Generation from Bytecode

Testing access control and obligation policies

A systematic capture and replay strategy for testing complex gui based java applications

Prioritizing state-based aspect tests

Privacy and social capital in online social networks

Automated Coverage-Based Testing of XACML Policies

Towards Designing Shared Digital Forensics Instructional Materials