Bojan Nokovic

Authentication Technique based on Image Recognition: Example of Quantitative Evaluation by Probabilistic Model Checker

2023

A probabilistic model checker is a software tool for formal modeling and analysis of systems that exhibit random or probabilistic behaviour. Over probabilistic models, we analyze an innovative online authentication process based on image recognition. …