Volume 171, Number 1, April 2007
Proceedings of the Second Workshop on Cryptography for Ad-hoc Networks (WCAN 2006)
, Seny Kamara
: A Mechanism for Communication-Efficient Broadcast Encryption over Wireless Ad Hoc Networks.
Volume 171, Number 2, July 2007
Proceedings of the First Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2006)
: Membrane Computing and Brane Calculi (Some Personal Notes).
: Modelling of Biochemical Reactions by Stochastic Automata Networks.
Volume 171, Number 3, June 2007
Proceedings of the Second International Workshop on Developments in Computational Models (DCM 2006)
: Light Dialectica Program Extraction from a Classical Fibonacci Proof.
: A Fully Labelled Lambda Calculus: Towards Closed Reduction in the Geometry of Interaction Machine.
Volume 171, Number 4, July 2007
Proceedings of the First International Workshop on Security and Rewriting Techniques (SecReT 2006)
: Intruder Deduction for the Equational Theory of Exclusive-or with Commutative and Distributive Encryption.