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)
Volume 171,
Number 4,
July 2007
Proceedings of the First International Workshop on Security and Rewriting Techniques (SecReT 2006)
Copyright © Mon Mar 15 04:00:58 2010
by Michael Ley (ley@uni-trier.de)
