Skip to content

Commit ab31736

Browse files
committed
Fix typo 'from received them'
1 parent b6c4bb4 commit ab31736

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

body.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -35,7 +35,7 @@ \subsection{Troupe architecture}
3535
There are no special requirements on the underlying label model other than the standard requirements of the distinguished bottom and top elements, denoted~$\bot$ and~$\top$, operators for the least upper bound and the greatest lower bound, denoted~$\sqcup$ and~$\sqcap$ respectively, and the security ordering $\flowsto$.
3636

3737
Troupe nodes decide for themselves how much they trust other nodes.
38-
Trust is specified via security levels. Every node fully trusts itself, corresponding to trust level~$\top$. Trust levels of selected few nodes are specified through runtime configuration. All other nodes have trust level~$\bot$. Such nodes are assumed to perform no security monitoring on their end. In particular, nodes that do not run Troupe runtime also have trust level~$\bot$ (communication with such nodes is possible for as long as they adhere to the serialization protocol). When communicating with $\bot$-trusted nodes, all data from received them is treated as public (i.e., confidentiality level $\bot$) and no confidential data can be sent to them.
38+
Trust is specified via security levels. Every node fully trusts itself, corresponding to trust level~$\top$. Trust levels of selected few nodes are specified through runtime configuration. All other nodes have trust level~$\bot$. Such nodes are assumed to perform no security monitoring on their end. In particular, nodes that do not run Troupe runtime also have trust level~$\bot$ (communication with such nodes is possible for as long as they adhere to the serialization protocol). When communicating with $\bot$-trusted nodes, all data received from them is treated as public (i.e., confidentiality level $\bot$) and no confidential data can be sent to them.
3939

4040
In general, when node~$n_1$ trusts node~$n_2$ up to level~$\ell$ it means:
4141
\begin{enumerate}

0 commit comments

Comments
 (0)