Secrecy of signals by typing in signal transduction

Authors:
Min Zhang;Guoqiang Li;Yuxi Fu
Affiliations:
BASICS, Department of Computer Science and Engineering, Shanghai Jiao Tong University, Shanghai, China;Japan Advanced Institute of Science and Technology, Nomi, Ishikawa, Japan;BASICS, Department of Computer Science and Engineering, Shanghai Jiao Tong University, Shanghai, China
Venue:
ICNC'06 Proceedings of the Second international conference on Advances in Natural Computation - Volume Part II
Year:
2006

Citing 6
Cited 0

A calculus of mobile processes, II

Information and Computation
Application of a stochastic name-passing calculus to representation and simulation of molecular processes

Information Processing Letters
PI-Calculus: A Theory of Mobile Processes

PI-Calculus: A Theory of Mobile Processes
Secrecy by Typing inSecurity Protocols

TACS '97 Proceedings of the Third International Symposium on Theoretical Aspects of Computer Software
Representation of the signal transduction with aberrance using ipi calculus

CIS'04 Proceedings of the First international conference on Computational and Information Science
Typing aberrance in signal transduction

ICNC'05 Proceedings of the First international conference on Advances in Natural Computation - Volume Part III

Quantified Score

Hi-index	0.00

Visualization

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.