Secrecy of Signals by Typing in Signal Transduction
Résumé
We discuss secrecy of signals in signal transduction. As we have developed a basic concurrent language with interferencial coefficients, Ipi-calculus, to describe aberrance in biological models, a typing system for Ipi-calculus is proposed for achieving secrecy of signals in signal transduction. We show that this typing system guarantees that, if signal transduction typechecks, then it does not leak aberrance of signals.
Origine : Fichiers produits par l'(les) auteur(s)