Research Article
A Noninterference Model for Mobile OS Information Flow Control and Its Policy Verification
Table 2
Algorithm performance under different parameter values.
| | | | | | | N/A | (ms) | (ms) |
| 30 | 15 | 2 | 3 | 10 | 10 | 0 | <1 | 3 | 60 | 15 | 2 | 5.5 | 12 | 8 | 1 | 1 | 4 | 120 | 15 | 2 | 8 | 15 | 5 | 0 | 1 | 4 | 120 | 15 | 4 | 7.5 | 14 | 6 | 0 | 1 | 3 | 120 | 20 | 4 | 10 | 8 | 11 | 1 | 2 | 7 | 120 | 30 | 4 | 7 | 2 | 18 | 0 | 4 | 6 | 200 | 30 | 4 | 8.2 | 5 | 14 | 1 | 10 | 274 | 400 | 30 | 4 | 20 | 9 | 8 | 3 | 2500 | 7300 | 2000 | 50 | 8 | 35 | 3 | 15 | 2 | 2200 | 11300 | 5000 | 50 | 8 | 82 | 4 | 6 | 10 | 17150 | 5.2āā105 |
|
|