Handbook of Formal Languages
Theoretical Computer Science - Natural computing
Recursive calculus with membranes
Fundamenta Informaticae - Membrane computing
A Digital Signature Based on a Conventional Encryption Function
CRYPTO '87 A Conference on the Theory and Applications of Cryptographic Techniques on Advances in Cryptology
Computing with Membranes: Attacking NP-Complete Problems
UMC '00 Proceedings of the Second International Conference on Unconventional Models of Computation
Membrane computing as a modeling framework: cellular systems case studies
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Hi-index | 0.00 |
The paper is an attempt to use P systems in dealing with a cryptographic issue, that of message authentication. Two algorithms are proposed, with and without confirmation from the sender, based on P systems with active membranes. We are not concerned with the practical usefulness of these algorithms, but with proving the usefulness of the membrane computing framework in addressing the authentication question.