Formalize the flawed early systems described in Designing an Authentication System: a Dialogue in Four Scenes and attempt to discover the flaws automatically. Then formally verify that the later systems do not suffer from each flaw.
Formalize the flawed early systems described in Designing an Authentication System: a Dialogue in Four Scenes and attempt to discover the flaws automatically. Then formally verify that the later systems do not suffer from each flaw.
No comments :
Post a Comment