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