Advances, Systems and Applications
Table 4 Statistics of state-aware model learning
SUL | Protocol | Associated variables | Queries | States | Time(hh:mm) | Queries | States | Time(hh:mm) | Queries | States | Time(hh:mm) |
|---|---|---|---|---|---|---|---|---|---|---|---|
SALearn | StateInspector | StateLeaner | |||||||||
Strongswan | IKEv2 | 122 | 672 | 29 | 00:41 | - | - | - | 9536 | 20 | 12:15 |
Libreswan | IKEv2 | 47 | 1127 | 57 | 01:33 | 562 | 39 | 00:40 | 17634 | 43 | 23:42 |