RM Information flow properties
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
About the Information flow properties category
|
|
0 | 18 | October 7, 2025 |
|
Hyperproperties and the power set to the square
|
|
0 | 26 | October 16, 2025 |
|
What's a trace property anyway?
|
|
0 | 35 | October 16, 2025 |
|
From generalized non-interference to properties of the shape ∀*∃*Φ for safe Φ
|
|
0 | 25 | October 9, 2025 |
|
Access control as a trace property
|
|
0 | 35 | October 7, 2025 |