Abstract
We discuss secrecy of signals in signal transduction. As we have developed a basic concurrent language with interferencial coefficients, Iπ-calculus, to describe aberrance in biological models, a typing system for Iπ-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.
The work is supported by The National Distinguished Young Scientist Fund of NNSFC (60225012), BDCC (03DZ14025), The National Nature Science Foundation of China (60473006), and The BoShiDian Research Fund (20010248033).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes, parts I and II. Information and Computation, 1–77 (1992)
Priami, C., Regev, A., Silverman, W., Shapiro, E.: Application of a stochastic name passing calculus to representation and simulation of molecular processes. Information Processing Letters 80, 25–31 (2001)
Regev, A.: Representation and simulation of molecular pathways in the stochastic pi calculus. In: Proceedings of the 2nd workshop on Computation of Biochemical Pathways and Genetic Networks (2001)
Regev, A., Silverman, W., Shapiro, E.: Representing biomolecular processes with computer process algebra: pi calculus programs of signal transduction pathways (2000), http://www.wisdom.weizmann.ac.il/~aviv/papers.htm
Regev, A., Silverman, W., Shapiro, E.: Representation and simulation of biochemical processes using the pi calculus process algebra. In: Proceedings of the Pacific Symposium of Biocomputing, vol. 6, pp. 459–470 (2001)
Sangiorgi, D., Walker, D.: The pi calculus: a Theory of Mobile Process. Cambridge University Press, Cambridge (2001)
Abadi, M.: Secrecy by Typing in Security Protocals. In: Ito, T., Abadi, M. (eds.) TACS 1997. LNCS, vol. 1281, pp. 611–638. Springer, Heidelberg (1997)
Zhang, M., Li, G., Fu, Y., et al.: Representation of the Signal Transduction with Aberrance Using Ipi Calculus. In: Zhang, J., He, J.-H., Fu, Y. (eds.) CIS 2004. LNCS, vol. 3314, pp. 477–485. Springer, Heidelberg (2004)
Zhang, M., Li, G., Fu, Y., et al.: Typing Aberrance in Signal Transduction. In: Wang, L., Chen, K., Ong, Y.S. (eds.) ICNC 2005. LNCS, vol. 3612, pp. 668–677. Springer, Heidelberg (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhang, M., Li, G., Fu, Y. (2006). Secrecy of Signals by Typing in Signal Transduction. In: Jiao, L., Wang, L., Gao, X., Liu, J., Wu, F. (eds) Advances in Natural Computation. ICNC 2006. Lecture Notes in Computer Science, vol 4222. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11881223_47
Download citation
DOI: https://doi.org/10.1007/11881223_47
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-45907-1
Online ISBN: 978-3-540-45909-5
eBook Packages: Computer ScienceComputer Science (R0)