Skip to content

Commit

Permalink
Update learned model of server
Browse files Browse the repository at this point in the history
  • Loading branch information
@actyp
actyp committed Feb 23, 2024
1 parent 8e23e0d commit 5afc676
Show file tree
Hide file tree
Showing 6 changed files with 12 additions and 12 deletions.
2 changes: 1 addition & 1 deletion experiments/saved_results/servers/sifis-home_phase_1/hyp2.dot
View file
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ digraph g {
s1 -> s0 [label="EDHOC_MESSAGE_2 / EDHOC_ERROR_MESSAGE"];
s1 -> s0 [label="EDHOC_MESSAGE_3 / COAP_EMPTY_MESSAGE"];
s1 -> s0 [label="EDHOC_MESSAGE_4 / EDHOC_ERROR_MESSAGE"];
s1 -> s0 [label="EDHOC_ERROR_MESSAGE / TIMEOUT"];
s1 -> s0 [label="EDHOC_ERROR_MESSAGE / COAP_EMPTY_MESSAGE"];
s1 -> s0 [label="EDHOC_MESSAGE_3_OSCORE_APP / OSCORE_APP_MESSAGE"];
s1 -> s1 [label="OSCORE_APP_MESSAGE / COAP_ERROR_MESSAGE"];
s1 -> s1 [label="COAP_APP_MESSAGE / COAP_ERROR_MESSAGE"];
Expand Down
4 changes: 2 additions & 2 deletions experiments/saved_results/servers/sifis-home_phase_1/hyp3.dot
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ digraph g {
s1 -> s0 [label="EDHOC_MESSAGE_2 / EDHOC_ERROR_MESSAGE"];
s1 -> s2 [label="EDHOC_MESSAGE_3 / COAP_EMPTY_MESSAGE"];
s1 -> s0 [label="EDHOC_MESSAGE_4 / EDHOC_ERROR_MESSAGE"];
s1 -> s0 [label="EDHOC_ERROR_MESSAGE / TIMEOUT"];
s1 -> s0 [label="EDHOC_ERROR_MESSAGE / COAP_EMPTY_MESSAGE"];
s1 -> s2 [label="EDHOC_MESSAGE_3_OSCORE_APP / OSCORE_APP_MESSAGE"];
s1 -> s1 [label="OSCORE_APP_MESSAGE / COAP_ERROR_MESSAGE"];
s1 -> s1 [label="COAP_APP_MESSAGE / COAP_ERROR_MESSAGE"];
Expand All @@ -25,7 +25,7 @@ digraph g {
s2 -> s2 [label="EDHOC_MESSAGE_2 / COAP_ERROR_MESSAGE"];
s2 -> s2 [label="EDHOC_MESSAGE_3 / COAP_ERROR_MESSAGE"];
s2 -> s2 [label="EDHOC_MESSAGE_4 / COAP_ERROR_MESSAGE"];
s2 -> s0 [label="EDHOC_ERROR_MESSAGE / TIMEOUT"];
s2 -> s0 [label="EDHOC_ERROR_MESSAGE / COAP_EMPTY_MESSAGE"];
s2 -> s2 [label="EDHOC_MESSAGE_3_OSCORE_APP / TIMEOUT"];
s2 -> s2 [label="OSCORE_APP_MESSAGE / OSCORE_APP_MESSAGE"];
s2 -> s2 [label="COAP_APP_MESSAGE / COAP_ERROR_MESSAGE"];
Expand Down
6 changes: 3 additions & 3 deletions experiments/saved_results/servers/sifis-home_phase_1/hyp4.dot
View file
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ digraph g {
s1 -> s0 [label="EDHOC_MESSAGE_2 / EDHOC_ERROR_MESSAGE"];
s1 -> s2 [label="EDHOC_MESSAGE_3 / COAP_EMPTY_MESSAGE"];
s1 -> s0 [label="EDHOC_MESSAGE_4 / EDHOC_ERROR_MESSAGE"];
s1 -> s0 [label="EDHOC_ERROR_MESSAGE / TIMEOUT"];
s1 -> s0 [label="EDHOC_ERROR_MESSAGE / COAP_EMPTY_MESSAGE"];
s1 -> s2 [label="EDHOC_MESSAGE_3_OSCORE_APP / OSCORE_APP_MESSAGE"];
s1 -> s1 [label="OSCORE_APP_MESSAGE / COAP_ERROR_MESSAGE"];
s1 -> s1 [label="COAP_APP_MESSAGE / COAP_ERROR_MESSAGE"];
Expand All @@ -26,7 +26,7 @@ digraph g {
s2 -> s2 [label="EDHOC_MESSAGE_2 / COAP_ERROR_MESSAGE"];
s2 -> s2 [label="EDHOC_MESSAGE_3 / COAP_ERROR_MESSAGE"];
s2 -> s2 [label="EDHOC_MESSAGE_4 / COAP_ERROR_MESSAGE"];
s2 -> s0 [label="EDHOC_ERROR_MESSAGE / TIMEOUT"];
s2 -> s0 [label="EDHOC_ERROR_MESSAGE / COAP_EMPTY_MESSAGE"];
s2 -> s2 [label="EDHOC_MESSAGE_3_OSCORE_APP / TIMEOUT"];
s2 -> s2 [label="OSCORE_APP_MESSAGE / OSCORE_APP_MESSAGE"];
s2 -> s2 [label="COAP_APP_MESSAGE / COAP_ERROR_MESSAGE"];
Expand All @@ -35,7 +35,7 @@ digraph g {
s3 -> s0 [label="EDHOC_MESSAGE_2 / EDHOC_ERROR_MESSAGE"];
s3 -> s2 [label="EDHOC_MESSAGE_3 / COAP_EMPTY_MESSAGE"];
s3 -> s0 [label="EDHOC_MESSAGE_4 / EDHOC_ERROR_MESSAGE"];
s3 -> s0 [label="EDHOC_ERROR_MESSAGE / TIMEOUT"];
s3 -> s0 [label="EDHOC_ERROR_MESSAGE / COAP_EMPTY_MESSAGE"];
s3 -> s2 [label="EDHOC_MESSAGE_3_OSCORE_APP / OSCORE_APP_MESSAGE"];
s3 -> s3 [label="OSCORE_APP_MESSAGE / OSCORE_APP_MESSAGE"];
s3 -> s3 [label="COAP_APP_MESSAGE / COAP_ERROR_MESSAGE"];
Expand Down
6 changes: 3 additions & 3 deletions experiments/saved_results/servers/sifis-home_phase_1/hyp5.dot
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ digraph g {
s1 -> s0 [label="EDHOC_MESSAGE_2 / EDHOC_ERROR_MESSAGE"];
s1 -> s2 [label="EDHOC_MESSAGE_3 / COAP_EMPTY_MESSAGE"];
s1 -> s0 [label="EDHOC_MESSAGE_4 / EDHOC_ERROR_MESSAGE"];
s1 -> s0 [label="EDHOC_ERROR_MESSAGE / TIMEOUT"];
s1 -> s0 [label="EDHOC_ERROR_MESSAGE / COAP_EMPTY_MESSAGE"];
s1 -> s2 [label="EDHOC_MESSAGE_3_OSCORE_APP / OSCORE_APP_MESSAGE"];
s1 -> s1 [label="OSCORE_APP_MESSAGE / COAP_ERROR_MESSAGE"];
s1 -> s1 [label="COAP_APP_MESSAGE / COAP_ERROR_MESSAGE"];
Expand All @@ -27,7 +27,7 @@ digraph g {
s2 -> s2 [label="EDHOC_MESSAGE_2 / COAP_ERROR_MESSAGE"];
s2 -> s2 [label="EDHOC_MESSAGE_3 / COAP_ERROR_MESSAGE"];
s2 -> s2 [label="EDHOC_MESSAGE_4 / COAP_ERROR_MESSAGE"];
s2 -> s0 [label="EDHOC_ERROR_MESSAGE / TIMEOUT"];
s2 -> s0 [label="EDHOC_ERROR_MESSAGE / COAP_EMPTY_MESSAGE"];
s2 -> s2 [label="EDHOC_MESSAGE_3_OSCORE_APP / TIMEOUT"];
s2 -> s2 [label="OSCORE_APP_MESSAGE / OSCORE_APP_MESSAGE"];
s2 -> s2 [label="COAP_APP_MESSAGE / COAP_ERROR_MESSAGE"];
Expand All @@ -36,7 +36,7 @@ digraph g {
s3 -> s4 [label="EDHOC_MESSAGE_2 / EDHOC_ERROR_MESSAGE"];
s3 -> s2 [label="EDHOC_MESSAGE_3 / COAP_EMPTY_MESSAGE"];
s3 -> s4 [label="EDHOC_MESSAGE_4 / EDHOC_ERROR_MESSAGE"];
s3 -> s4 [label="EDHOC_ERROR_MESSAGE / TIMEOUT"];
s3 -> s4 [label="EDHOC_ERROR_MESSAGE / COAP_EMPTY_MESSAGE"];
s3 -> s2 [label="EDHOC_MESSAGE_3_OSCORE_APP / OSCORE_APP_MESSAGE"];
s3 -> s3 [label="OSCORE_APP_MESSAGE / OSCORE_APP_MESSAGE"];
s3 -> s3 [label="COAP_APP_MESSAGE / COAP_ERROR_MESSAGE"];
Expand Down
6 changes: 3 additions & 3 deletions experiments/saved_results/servers/sifis-home_phase_1/learnedModel.dot
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ digraph g {
s1 -> s0 [label="EDHOC_MESSAGE_2 / EDHOC_ERROR_MESSAGE"];
s1 -> s2 [label="EDHOC_MESSAGE_3 / COAP_EMPTY_MESSAGE"];
s1 -> s0 [label="EDHOC_MESSAGE_4 / EDHOC_ERROR_MESSAGE"];
s1 -> s0 [label="EDHOC_ERROR_MESSAGE / TIMEOUT"];
s1 -> s0 [label="EDHOC_ERROR_MESSAGE / COAP_EMPTY_MESSAGE"];
s1 -> s2 [label="EDHOC_MESSAGE_3_OSCORE_APP / OSCORE_APP_MESSAGE"];
s1 -> s1 [label="OSCORE_APP_MESSAGE / COAP_ERROR_MESSAGE"];
s1 -> s1 [label="COAP_APP_MESSAGE / COAP_ERROR_MESSAGE"];
Expand All @@ -27,7 +27,7 @@ digraph g {
s2 -> s2 [label="EDHOC_MESSAGE_2 / COAP_ERROR_MESSAGE"];
s2 -> s2 [label="EDHOC_MESSAGE_3 / COAP_ERROR_MESSAGE"];
s2 -> s2 [label="EDHOC_MESSAGE_4 / COAP_ERROR_MESSAGE"];
s2 -> s0 [label="EDHOC_ERROR_MESSAGE / TIMEOUT"];
s2 -> s0 [label="EDHOC_ERROR_MESSAGE / COAP_EMPTY_MESSAGE"];
s2 -> s2 [label="EDHOC_MESSAGE_3_OSCORE_APP / TIMEOUT"];
s2 -> s2 [label="OSCORE_APP_MESSAGE / OSCORE_APP_MESSAGE"];
s2 -> s2 [label="COAP_APP_MESSAGE / COAP_ERROR_MESSAGE"];
Expand All @@ -36,7 +36,7 @@ digraph g {
s3 -> s4 [label="EDHOC_MESSAGE_2 / EDHOC_ERROR_MESSAGE"];
s3 -> s2 [label="EDHOC_MESSAGE_3 / COAP_EMPTY_MESSAGE"];
s3 -> s4 [label="EDHOC_MESSAGE_4 / EDHOC_ERROR_MESSAGE"];
s3 -> s4 [label="EDHOC_ERROR_MESSAGE / TIMEOUT"];
s3 -> s4 [label="EDHOC_ERROR_MESSAGE / COAP_EMPTY_MESSAGE"];
s3 -> s2 [label="EDHOC_MESSAGE_3_OSCORE_APP / OSCORE_APP_MESSAGE"];
s3 -> s3 [label="OSCORE_APP_MESSAGE / OSCORE_APP_MESSAGE"];
s3 -> s3 [label="COAP_APP_MESSAGE / COAP_ERROR_MESSAGE"];
Expand Down
Binary file modified experiments/saved_results/servers/sifis-home_phase_1/learnedModel.pdf
View file
Binary file not shown.

0 comments on commit 5afc676

Please sign in to comment.