Michael Sanford

Publication Activity (10 Years)

Years Active: 2010-2013
Publications (10 Years): 0

Top Topics

Database Security

Role Based Access Control Model

Top Venues

IEEE Trans. Dependable Secur. Comput.

Publications

Dianxiang Xu, Michael Sanford, Zhaoliang Liu, Spencer Johnson, Mark Emry, Brad Brockmueller, Michael To
Testing access control and obligation policies. ICNC (2013)
Dianxiang Xu, Manghui Tu, Michael Sanford, Lijo Thomas, Daniel Woodraska, Weifeng Xu
Automated Security Test Generation with Formal Threat Models. IEEE Trans. Dependable Secur. Comput. 9 (4) (2012)
Daniel Woodraska, Michael Sanford, Dianxiang Xu
Security mutation testing of the FileZilla FTP server. SAC (2011)
Michael Sanford, Daniel Woodraska, Dianxiang Xu
Security Analysis of FileZilla Server Using Threat Models. SEKE (2011)
Michael Sanford
Computer viruses and malware by John Aycock. SIGACT News 41 (1) (2010)