Concepedia

Michael Sanford

MS

1

Publications

98

Citations

1

H-Index

2012

Active since

Affiliations

Dakota State University(Current)

Michael Sanford is an author at Dakota State University specializing in formal verification, test generation, and data security.

Top concepts

EngineeringData SecurityTest GenerationComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisSoftware SecurityFormal VerificationInformation Security

Publications per year

2012–2012

1

Publications

1

Automated Security Test Generation with Formal Threat Models

Dianxiang Xu, Manghui Tu, Michael Sanford et al. · IEEE Transactions on Dependable and Secure Computing · 2012 · 98 citations

Engineering, Formal Threat Models, Information Security +16

Rows per page

1–1 of 1