diff options
Diffstat (limited to 'Assignment1/syntax.tex')
| -rw-r--r-- | Assignment1/syntax.tex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Assignment1/syntax.tex b/Assignment1/syntax.tex index 1090e5d..42ebf63 100644 --- a/Assignment1/syntax.tex +++ b/Assignment1/syntax.tex @@ -165,6 +165,7 @@ Before turning to the formal semantics in the next subsection, we provide some e \end{example} \begin{example}[Properties for an Authentication System] + \label{ex:pltl:authentication-system} \citet{FiterauBrostean2017} use past modalities to describe properties of the Secure Shell (SSH) protocol. One property says that if a channel is opened, there must have been some successful authentication attempt in the past~\citep[p.~149]{FiterauBrostean2017}. Also, since that successful authentication, no authentication failure must have occurred. |