Success probability

[steven-hh-ding]

• additional verification code for attack 3,5,10 (different attack vectors discussed in the paper)
• a new risk module to evaluate success probability wrt to RT delays

[steven-hh-ding]

Test cases have a probability to fail/succeed so for failed test case, run it again through clicking it on vscode for several times and it will pass...

[steven-hh-ding]

all non-determi attacks evaluation are done

Attack_01.py is the collision attack against the bus, which is AV8.
Attack_02.py is the collision attack against an RT, which is AV8 (but against an RT instead of the entire bus).
*Attack_03.py is the data trashing attack, which is AV6 (BC2RT and RT2RT).
Attack_04.py is MITM attack, which is AV1.
Attack_05.py is a shutdown attack on RT, which is AV2.
*Attack_06.py is fake status command against receive command, which is AV7 (BC2RT).
*Attack_07.py is fake status command against transmit command, which is AV7 (RT2BC).
Attack_08.py is desynchronization attack against an RT, which is AV2.
* Attack_09.py is data corruption attack, which is AV4 (RT2BC and RT2RT).
* Attack_10.py is a command invalidation attack, which is AV5 (RT2BC and RT2RT).
*/