Static analysis based invariant detection for commodity operating systems Article

Zhu, Feng, Wei, Jinpeng. (2014). Static analysis based invariant detection for commodity operating systems . COMPUTERS & SECURITY, 43 10.1016/j.cose.2014.02.008



cited authors

  • Zhu, Feng; Wei, Jinpeng

publication date

  • June 2014

published in

author keyword

category

Digital Object Identifier (DOI)

volume

  • 43

research area