| 1 | -- | 16 | Antonio Brogi, Carlos Canal, Ernesto Pimentel. Soft component adaptation |
| 17 | -- | 36 | Andrea Omicini, Alessandro Ricci, Mirko Viroli. Formal Specification and Enactment of Security Policies through Agent Coordination Contexts |
| 37 | -- | 53 | Alessandro Aldini. Coordination Model and Noninterference |
| 54 | -- | 70 | Mario Bravetti, Roberto Gorrieri, Roberto Lucchi. A formal approach for checking security properties in SecSpaces |
| 71 | -- | 88 | Per Mellstrand, Rune Gustavsson. Safe Execution of Unreliable Software |
| 89 | -- | 104 | Lavinia Egidi, Giovanni Porcelli. Minimal Information Disclosure in a Centralized Authorization System |
| 105 | -- | 121 | Rene Mayrhofer, Florian Ortner, Alois Ferscha, Manfred Hechinger. Securing Passive Objects in Mobile Ad-Hoc Peer-to-Peer Networks |
| 122 | -- | 141 | Radu Handorean, Gruia-Catalin Roman. Secure Sharing of Tuple Spaces in Ad Hoc Settings |
| 142 | -- | 0 | Riccardo Focardi, Gianluigi Zavattaro. Preface |