We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 0bd2d8d commit 8a578e1Copy full SHA for 8a578e1
body.tex
@@ -841,7 +841,7 @@ \subsection{Information flow monitoring and attenuation}
841
When information at level $\ell_{\mathit{data}}$ is sent to a remote node with trust level
842
$\ell_{\mathit{trust}}$, the runtime performs the check
843
$\ell_{\mathit{data}} \sqsubseteq \ell_{\mathit{trust}}$ to ensure that no sensitive information
844
-flows to a that can violate confidentiality. Because we have no way of enforcing the
+flows to a node that can violate confidentiality. Because we have no way of enforcing the
845
information flow on the remote node, this also means that
846
trust relationship between nodes is transitive.
847
0 commit comments