Adding information on buses for conf., integrity and auth. in the bug dialog...

Adding information on buses for conf., integrity and auth. in the bug dialog window. Help has been updated as well

Adding information on buses for conf., integrity and auth. in the bug dialog...
08214c46 · Ludovic Apvrille · e6d23ab9 · 08214c46 · 08214c46 · 08214c46
Commit 08214c46 authored 10 months ago by Ludovic Apvrille
--- a/src/main/java/ui/window/JDialogBUSNode.java
+++ b/src/main/java/ui/window/JDialogBUSNode.java
@@ -188,6 +188,11 @@ public class JDialogBUSNode extends JDialogBase implements ActionListener  {
        panel2.add(privacy, c2);
        privacy.makeEndHelpButton(helpStrings[0], mgui, mgui.getHelpManager(), panel2, c2);
+        c2.gridwidth = GridBagConstraints.REMAINDER;
+        panel2.add(new JLabel("Beware: a private bus ensures only confidentiality", SwingConstants.CENTER), c2);
+        panel2.add(new JLabel("and integrity/weak authenticity (so: not strong authenticity)", SwingConstants.CENTER), c2);
+        panel2.add(new JLabel(" "), c2);
        c2.gridwidth = 1;
        panel2.add(new JLabel("Reference Attack:", SwingConstants.RIGHT), c2);
        refAttacks = new TGComboBoxWithHelp<>(refs);

--- a/src/main/resources/help/bus.html
+++ b/src/main/resources/help/bus.html
@@ -11,8 +11,11 @@
    div.columns{display: flex; gap: min(4vw, 1.5em);}
    div.column{flex: auto; overflow-x: auto;}
    div.hanging-indent{margin-left: 1.5em; text-indent: -1.5em;}
-    ul.task-list{list-style: none;}
+    /* The extra [class] is a hack that increases specificity enough to
+       override a similar rule in reveal.js */
+    ul.task-list[class]{list-style: none;}
    ul.task-list li input[type="checkbox"] {
+      font-size: inherit;
      width: 0.8em;
      margin: 0 0.8em 0.2em -1.6em;
      vertical-align: middle;
@@ -20,9 +23,6 @@
    .display.math{display: block; text-align: center; margin: 0.5rem auto;}
  </style>
  <link rel="stylesheet" href="help.css" />
-  <!--[if lt IE 9]>
-    <script src="//cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv-printshiv.min.js"></script>
-  <![endif]-->
 </head>
 <body>
 <h1 id="bus">Bus</h1>
@@ -31,13 +31,13 @@
 <p>They have the following attributes.</p>
 <ul>
 <li>A name</li>
-<li>An arbitration policy capturing how simultaneous trafsre request are
+<li>An arbitration policy capturing how simultaneous transfer requests
-handled</li>
+are handled</li>
 <li>A data size in byte.</li>
 <li>A pipeline size expressing the number of cycles spent by one
 transfer in this bus</li>
 <li>A slice time, i.e. the maximum number of cycles a transfer can use
-before being preempted./ not taken into account, so ponly for
+before being preempted./ not taken into account, so only for
 documentation. Rather use the ’burst size”</li>
 <li>A burst size: this represents the maximum size of a transfer before
 it is preempted if another request is pending.</li>
@@ -45,13 +45,13 @@ it is preempted if another request is pending.</li>
 memory and the main clock of the architecture</li>
 <li>A bus privacy. A public bus can be spied at, i.e., an attacker can
 read messages, modify messages, and inject messages. In a private bus,
-an attacker can retrieve messages and reinject only the same messages.
+an attacker can retrieve messages and reinject only the same messages
-An attacker cannot read the content of messages in private channel, nor
+(replay attack). An attacker cannot read the content of messages in
-he/she can modify the content of these messages. Thus, confidentiality
+private channel, nor he/she can modify the content of these messages.
-and integrity is guaranteed, but not uathenticity. To garantee
+Thus, confidentiality and integrity is guaranteed, but not authenticity.
-authenticity, one had to use, for instance, nonces, to avoid message
+To guarantee authenticity, one has to use, for instance, nonces, to
-being replayed.</li>
+avoid message being replayed.</li>
-<li>A reference attack specifies which attack of attakc trees this bus
+<li>A reference attack specifies which attack of attack trees this bus
 relates to.</li>
 </ul>
 </body>

--- a/src/main/resources/help/bus.md
+++ b/src/main/resources/help/bus.md
@@ -7,13 +7,13 @@ Bus nodes connect other nodes together.
 They have the following attributes.
 - A name
- An arbitration policy capturing how simultaneous trafsre request are handled
+- An arbitration policy capturing how simultaneous transfer requests are handled
 - A data size in byte.
 - A pipeline size expressing the number of cycles spent by one transfer in this bus
- A slice time, i.e. the maximum number of cycles a transfer can use before being preempted./ not taken into account, so ponly for documentation. Rather use the 'burst size"
+- A slice time, i.e. the maximum number of cycles a transfer can use before being preempted./ not taken into account, so only for documentation. Rather use the 'burst size"
 - A burst size: this represents the maximum size of a transfer before it is preempted if another request is pending.
 - A clock divider expresses the relation between the clock of the memory and the main clock of the architecture
- A bus privacy. A public bus can be spied at, i.e., an attacker can read messages, modify messages, and inject messages. In a private bus, an attacker can retrieve messages and reinject only the same messages. An attacker cannot read the content of messages in private channel, nor he/she can modify the content of these messages. Thus, confidentiality and integrity is guaranteed, but not uathenticity. To garantee authenticity, one had to use, for instance, nonces, to avoid message being replayed.
+- A bus privacy. A public bus can be spied at, i.e., an attacker can read messages, modify messages, and inject messages. In a private bus, an attacker can retrieve messages and reinject only the same messages (replay attack). An attacker cannot read the content of messages in private channel, nor he/she can modify the content of these messages. Thus, confidentiality and integrity is guaranteed, but not authenticity. To guarantee authenticity, one has to use, for instance, nonces, to avoid message being replayed.
- A reference attack specifies which attack of attakc trees this bus relates to.
+- A reference attack specifies which attack of attack trees this bus relates to.