Published November 11, 2023
| Version v2
Other
Open
Virtual Machine and Results for TOSEM Submission "Compositional Security Analysis of Dynamic Component-based Systems"
Authors/Creators
- 1. Linnaeus University
- 2. Newcastle University
Description
This is a snapshot of our implementation and results for our submission to TOSEM entitled: Compositional Security Analysis of Dynamic Component-based
Systems
This package includes a VM ready to run our experiments or other cases and archives of our inputs and results
Files
RandomArchitecturesResults.zip
Files
(3.0 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:cf5b590fe631d2d37134d7a04aac1055
|
2.6 kB | Download |
|
md5:1067a1060e15d0368f6dd27449aa5d3b
|
18.8 MB | Preview Download |
|
md5:2c15e8a6bf128d84b539cd3bc341581b
|
8.9 kB | Download |
|
md5:d74ca067eb89f509bb4cd15d39993e0b
|
3.0 GB | Download |
|
md5:2152935d6a8fe7f2bd1f8aced182b20b
|
31.7 MB | Preview Download |
|
md5:30ef30388373276046a2b9581c4d3fff
|
1.8 MB | Download |
|
md5:8803b849a67de746604997a01feb1942
|
51.1 kB | Preview Download |