|
|
Dr.
Dianxiang Xu Madison, SD 57042 |
|
Research |
Interests: software security and safety, software testing, applied formal methods, computer forensics, aspect-oriented software development, software agents. |
|
Projects: Software Security: A Threat-Driven Approach
Verification and
Validation of Security Policies |
|
|
Teaching |
Fall: INFA 719 Software Security Spring: INFA 739 Software Quality Assurance |
|
Misc. |
[Vita]
|
Last update: January 2012