Secrecy of Signals by Typing in Signal Transduction - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Secrecy of Signals by Typing in Signal Transduction

Guoqiang Li
  • Fonction : Auteur
  • PersonId : 749882
  • IdHAL : guoqiang-li
Fuxi Fu
  • Fonction : Auteur

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.
Fichier principal
Vignette du fichier
P2449.pdf (139.01 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00155525 , version 1 (18-06-2007)

Identifiants

Citer

Min Zhang, Guoqiang Li, Fuxi Fu. Secrecy of Signals by Typing in Signal Transduction. In Proceedings of the 2nd International Conference on Natural Computation (ICNC'2006), Sep 2006, Xian, China. pp.384-393, ⟨10.1007/11881223⟩. ⟨hal-00155525⟩
64 Consultations
146 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More