Published May 14, 2024
| Version v4
Model
Open
The Chinese Wall security policy scrutinised
Authors/Creators
-
1.
University of Luxembourg
- 2. Universidad Nacional de Rosario
-
3.
University of Strathclyde
- 4. CIFASIS CONICET
Description
Replication package associated to the paper:
"Brewer-Nash Scrutinised: Mechanised Checking of Policies featuring Write Revocation"
submitted to the 37th IEEE Computer Security Foundations Symposium (CSF'24).
Authors:
A. Capozucca, M. Cristía, R. Horne and R. D. Katz
Files
README.txt
Files
(673.1 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:386915abb179c3ddd581a1093315788d
|
6.0 kB | Download |
|
md5:54b89465c32d96710a4c48943f164142
|
15.2 kB | Download |
|
md5:d81fa899a1c17122d7475efb454b0fde
|
15.0 kB | Download |
|
md5:fd31c468adfb6b51a52e282ab1a015c1
|
19.4 kB | Download |
|
md5:e7ad47122b0644eb8b3d8d9a1f0324b7
|
10.6 kB | Download |
|
md5:af5a34a9956b33619af1f118598284dc
|
19.2 kB | Download |
|
md5:a5d242ba3c34b8489289157adcc3e5a5
|
6.8 kB | Preview Download |
|
md5:665a85837b40be5b6555c3817661f6d7
|
405.8 kB | Download |
|
md5:81114b6ee8ee9267592982e4e793a8ff
|
11.6 kB | Download |
|
md5:c8ffa0ce232d4a1b361c6c059eeda10f
|
69.1 kB | Download |
|
md5:0dd2dc8584b47d381442402b95a34ee9
|
65.7 kB | Download |
|
md5:0632a4c1280f36ad2d26caf45657147c
|
9.8 kB | Download |
|
md5:eeded006a6297c17eb046462f2995f1b
|
18.9 kB | Download |
Additional details
Dates
- Available
-
2023-12-28