|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A framework of composable access control features: Preserving separation of access control concerns from models to code |
Pavlich-Mariscal, Jaime A. |
2010 |
29 | 3 |
p. 350-379 30 p. |
artikel |
|
| 2 | A knowledgeable security model for distributed health information systems |
Xiao, Liang |
2010 |
29 | 3 |
p. 331-349 19 p. |
artikel |
|
| 3 | Contents |
2010 |
29 | 3 |
p. iv- 1 p. |
artikel |
||
| 4 | IFC - Editorial Board |
2010 |
29 | 3 |
p. IFC- 1 p. |
artikel |
||
| 5 | IFIP TCII - Aims and Scope |
2010 |
29 | 3 |
p. 380- 1 p. |
artikel |
||
| 6 | IFIP Technical Committee |
2010 |
29 | 3 |
p. I-IV nvt p. |
artikel |
||
| 7 | Provably correct Java implementations of Spi Calculus security protocols specifications |
Pironti, Alfredo |
2010 |
29 | 3 |
p. 302-314 13 p. |
artikel |
|
| 8 | Runtime verification of cryptographic protocols |
Bauer, Andreas |
2010 |
29 | 3 |
p. 315-330 16 p. |
artikel |
|
| 9 | Special issue on software engineering for secure systems |
Lee, Seok-Won |
2010 |
29 | 3 |
p. 299-301 3 p. |
artikel |
9 gevonden resultaten