Volume 171, Number 1, April 2007

Proceedings of the Second Workshop on Cryptography for Ad-hoc Networks (WCAN 2006)

• 
  Giovanni Di Crescenzo, Luigi V. Mancini: Preface. 1-2
• 
  Camil Demetrescu, Giuseppe F. Italiano: Algorithmic Techniques for Maintaining Shortest Routes in Dynamic Networks. 3-15
• 
  Ioannis Chatzigiannakis, Elisavet Konstantinou, Vasiliki Liagkou, Paul G. Spirakis: Design, Analysis and Performance Evaluation of Group Key Establishment in Wireless Sensor Networks. 17-31
• 
  Vanesa Daza, Paz Morillo, Carla Ràfols: On Dynamic Distribution of Private Keys over MANETs. 33-41
• 
  Giovanni Di Crescenzo: Secure Node Discovery in Ad-hoc Networks and Applications. 43-55
• 
  Reza Curtmola, Seny Kamara: A Mechanism for Communication-Efficient Broadcast Encryption over Wireless Ad Hoc Networks. 57-69
• 
  Andrea Vitaletti, Gianni Palombizio: Rijndael for Sensor Networks: Is Speed the Main Issue? 71-81
• 
  Maki Yoshida, Toru Fujiwara: On the Security of Tag-KEM for Signcryption. 83-91
• 
  Roberto Di Pietro, Luigi V. Mancini, Giorgio Zanin: Efficient and Adaptive Threshold Signatures for Ad hoc networks. 93-105
• 
  Walid Bagga, Stefano Crosta, Pietro Michiardi, Refik Molva: Establishment of Ad-Hoc Communities through Policy-Based Cryptography. 107-120

Volume 171, Number 2, July 2007

Proceedings of the First Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2006)

• 
  Nadia Busi, Claudio Zandron: Preface. 1-2
• 
  Gheorghe Paun: Membrane Computing and Brane Calculi (Some Personal Notes). 3-10
• 
  Bogdan Aman, Gabriel Ciobanu: Translating Mobile Ambients into P Systems. 11-23
• 
  Robert Brijder, Matteo Cavaliere, Agustin Riscos-Núñez, Grzegorz Rozenberg, Dragos Sburlan: Membrane Systems with Marked Membranes. 25-36
• 
  Matteo Cavaliere, Sean Sedwards: Membrane Systems with Peripheral Proteins: Transport and Evolution. 37-53
• 
  Federica Ciocchetta, Corrado Priami: Biological Transactions for Quantitative Models. 55-67
• 
  Giorgio Delzanno, Roberto Montagna: On Reachability and Spatial Reachability in Fragments of BioAmbients. 69-79
• 
  Daniel Díaz-Pernil, Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez: A Linear-time Tissue P System Based Solution for the 3-coloring Problem. 81-93
• 
  Giuditta Franco, Maurice Margenstern: Computing by Floating Strings. 95-104
• 
  Rudolf Freund, Marion Oswald: Tissue P Systems and (Mem)Brane Systems with Mate and Drip Operations Working on Strings. 105-115
• 
  Julian Gutierrez, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia: Timed Concurrent Constraint Programming for Analysing Biological Systems. 117-137
• 
  Cosimo Laneve, Fabien Tarissan: A Simple Calculus for Proteins and Cells. 139-154
• 
  Corrado Priami, Alessandro Romanel: The Decidability of the Structural Congruence for Beta-binders. 155-170
• 
  Cristian Versari: Encoding Catalytic P Systems in pi@. 171-186
• 
  Antonio Vitale, Giancarlo Mauri: Communication via Mobile Vesicles in Brane Calculi. 187-196
• 
  Verena Wolf: Modelling of Biochemical Reactions by Stochastic Automata Networks. 197-208
• 
  Xian Xu, Xiaoju Dong, Yuxi Fu: A Model in kappa for DNA Addition. 209-222

Volume 171, Number 3, June 2007

Proceedings of the Second International Workshop on Developments in Computational Models (DCM 2006)

• 
  Jean-Pierre Jouannaud, Ian Mackie: Preface. 1-2
• 
  Germain Faure: Term Collections in lambda and rho-calculi. 3-19
• 
  Luca Fossati: Handshake Games. 21-41
• 
  Mircea-Dan Hernest: Light Dialectica Program Extraction from a Classical Fibonacci Proof. 43-53
• 
  Michel Cosnard, Luigi Liquori, Raphaël Chand: Virtual Organizations in Arigatoni. 55-75
• 
  Robert K. Meyer: The Better Bubbling Lemma. 77-84
• 
  Jayshan Raghunandan, Alexander J. Summers: On the Computational Representation of Classical Logical Connectives. 85-109
• 
  Nikolaos Siafakas: A Fully Labelled Lambda Calculus: Towards Closed Reduction in the Geometry of Interaction Machine. 111-126
• 
  Marco Carbone, Kohei Honda, Nobuko Yoshida: A Calculus of Global Interaction based on Session Types. 127-151

Volume 171, Number 4, July 2007

Proceedings of the First International Workshop on Security and Rewriting Techniques (SecReT 2006)

• 
  Maribel Fernández, Claude Kirchner: Preface. 1-2
• 
  Tom Chothia, Dominic Duggan, Ye Wu: An End-To-End Approach to Distributed Policy Language Implementation: (Extended Abstract). 3-21
• 
  Santiago Escobar, Catherine Meadows, José Meseguer: Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer. 23-36
• 
  Pascal Lafourcade: Intruder Deduction for the Equational Theory of Exclusive-or with Commutative and Distributive Encryption. 37-57
• 
  Anderson Santana de Oliveira: Rewriting-Based Access Control Policies. 59-72
• 
  Nobuko Yoshida, Vasco Thudichum Vasconcelos: Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication. 73-93