![](/img/cover-not-exists.png)
Secure and trusted partial grey-box verification
Cai, Yixian, Karakostas, George, Wassyng, AlanLanguage:
english
Journal:
International Journal of Information Security
DOI:
10.1007/s10207-019-00431-4
Date:
March, 2019
File:
PDF, 1.56 MB
english, 2019