| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Component-oriented verification of noninterference
|
Aldini, Alessandro
|
|
2011
|
57 |
3 |
p. 282-293
12 p.
|
artikel
|
| 2 |
Editorial
|
Damiani, Ernesto
|
|
2011
|
57 |
3 |
p. 229-230
2 p.
|
artikel
|
| 3 |
Editorial Board / Aims and Scope
|
|
|
2011
|
57 |
3 |
p. IFC-
1 p.
|
artikel
|
| 4 |
Efficient file fuzz testing using automated analysis of binary file format
|
Kim, Hyoung Chun
|
|
2011
|
57 |
3 |
p. 259-268
10 p.
|
artikel
|
| 5 |
Secure service orchestration in open networks
|
Costa, Gabriele
|
|
2011
|
57 |
3 |
p. 231-239
9 p.
|
artikel
|
| 6 |
Security services architecture for Secure Mobile Grid Systems
|
Rosado, David G.
|
|
2011
|
57 |
3 |
p. 240-258
19 p.
|
artikel
|
| 7 |
Towards accuracy of role-based access control configurations in component-based systems
|
Sun, Lianshan
|
|
2011
|
57 |
3 |
p. 314-326
13 p.
|
artikel
|
| 8 |
Using complexity, coupling, and cohesion metrics as early indicators of vulnerabilities
|
Chowdhury, Istehad
|
|
2011
|
57 |
3 |
p. 294-313
20 p.
|
artikel
|
| 9 |
Verifying security properties of internet protocol stacks: The split verification approach
|
Poroor, Jayaraj
|
|
2011
|
57 |
3 |
p. 269-281
13 p.
|
artikel
|
Tijdschrift beschrijving