Code Security Analysis of a Biometric Authentication System Using Automated Theorem Provers
Keyword(s):
2018 ◽
Vol 2018
◽
pp. 1-11
◽
2020 ◽
2021 ◽
Vol 17
(1)
◽
pp. 287-292
2006 ◽
Vol 28
(12)
◽
pp. 1902-1319
◽