andr3/ComputerSecurity
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases 2 Wiki Activity

updated second cw
Some checks failed
continuous-integration/drone/push Build is failing
Details

Browse Source
This commit is contained in:
Andre Henriques 2023-12-01 18:01:28 +00:00
parent 545b8c9957
commit 866b5dbbfa
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
secondcw/cw/cw.tex
View File

@ -51,7 +51,7 @@
\begin{document} \begin{document}
\section*{1} \section*{1}
\subsection*{1.1} \subsection*{1.1}
The file ag01598_6644818_1.1.spdl contains the base model of protocol$\PI$. The file ag01598_6644818_1.1.spdl contains the base model of protocol$\Pi$.
I choose the names of the roles based on their functions since it would make the file more readable so R is Phone, S is Application, N is Network. I choose the names of the roles based on their functions since it would make the file more readable so R is Phone, S is Application, N is Network.