| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A formal approach for checking security properties in SecSpaces 1 1 Work partially supported by MEFISTO Progetto “Metodi Formali per la Sicurezza e il Tempo” and Microsoft Research Europe.
|
Lucchi, Roberto
|
|
2003
|
85 |
3 |
p. 54-70
17 p.
|
artikel
|
| 2 |
Coordination Model and Noninterference
|
Aldini, Alessandro
|
|
2003
|
85 |
3 |
p. 37-53
17 p.
|
artikel
|
| 3 |
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts
|
Omicini, Andrea
|
|
2003
|
85 |
3 |
p. 17-36
20 p.
|
artikel
|
| 4 |
Minimal Information Disclosure in a Centralized Authorization System
|
Egidi, Lavinia
|
|
2003
|
85 |
3 |
p. 89-104
16 p.
|
artikel
|
| 5 |
Preface
|
Focardi, Riccardo
|
|
2003
|
85 |
3 |
p. 142-
1 p.
|
artikel
|
| 6 |
Safe Execution of Unreliable Software
|
Mellstrand, Per
|
|
2003
|
85 |
3 |
p. 71-88
18 p.
|
artikel
|
| 7 |
Secure Sharing of Tuple Spaces in Ad Hoc Settings
|
Handorean, Radu
|
|
2003
|
85 |
3 |
p. 122-141
20 p.
|
artikel
|
| 8 |
Securing Passive Objects in Mobile Ad-Hoc Peer-to-Peer Networks
|
Mayrhofer, Rene
|
|
2003
|
85 |
3 |
p. 105-121
17 p.
|
artikel
|
| 9 |
Soft component adaptation 1 1 This work has been partly supported by the project NAPOLI funded by the Italian Ministry of Instruction, University and Research (MIUR), and the projects TIC2002-4309-C02-02 and TIC2001-2705-C03-02 funded by the Spanish Ministry of Science and Technology (MCYT)
|
Brogi, Antonio
|
|
2003
|
85 |
3 |
p. 1-16
16 p.
|
artikel
|
Tijdschrift beschrijving