Skip to content
Snippets Groups Projects
Commit 6f4b50c5 authored by Pamela Dyer's avatar Pamela Dyer
Browse files

Updated Title Line

parent b6df8d1e
No related branches found
No related tags found
1 merge request!2Pamela branch
Hide whitespace changes
Inline Side-by-side
Application_examples/Authentication.mp
+ 2
− 2
View file @ 6f4b50c5
/******************************************************************************* /* Model of [Authentication]
A Model for Simple Authentication A Model for Simple Authentication
...@@ -53,4 +53,4 @@ ENSURE #CREDS_INVALID <= 3; ...@@ -53,4 +53,4 @@ ENSURE #CREDS_INVALID <= 3;
ENSURE #Deny_access >= 3 <-> #Lock_account == 1; ENSURE #Deny_access >= 3 <-> #Lock_account == 1;
ENSURE #Grant_access >= 1 -> #Lock_account == 0; ENSURE #Grant_access >= 1 -> #Lock_account == 0;
\ No newline at end of file
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment