Developing a security threats model for typed authentication

You are required inspect it (by experiment) for possible threats facing typed authentication methods (e.g. passwaord, PIN number) and develop a formal (mathematical) security thearts model. the model must be test by a good number of cases and suggest security policy, model it mathematical y and test it; and final evaluate the value of the project outcomes. This project requires some coding and formal modelling skills (e.g. coding to implement the experiments). research the latest development, with regards the investigated vulnerability/threat and to study the appropriate modelling tools; run a good number of experiments to investigate the vulnerability/threat, analyse the experiment results; suggest security policy, model it mathematical y and test it; and final evaluate the value of the project outcomes.