Shaoping Pan

1 Patent

• US118684812024

  Method for Discovering Vulnerabilities of Operating System Access Control Mechanism Based on Model Checking

  ZHEJIANG UNIVERSITY

  0 cites