Secrecy of signals by typing in signal transduction

Min Zhang; Guoqiang Li; Yuxi Fu

doi:10.1007/11881223_47

Secrecy of signals by typing in signal transduction

Min Zhang^*
, Guoqiang Li
, Yuxi Fu

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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.

Original language	English
Title of host publication	Advances in Natural Computation - Second International Conference, ICNC 2006, Proceedings
Publisher	Springer Verlag
Pages	384-393
Number of pages	10
ISBN (Print)	3540459073, 9783540459071
DOIs	https://doi.org/10.1007/11881223_47
State	Published - 2006
Externally published	Yes
Event	2nd International Conference on Natural Computation, ICNC 2006 - Xi'an, China Duration: 24 Sep 2006 → 28 Sep 2006

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4222 LNCS - II
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	2nd International Conference on Natural Computation, ICNC 2006
Country/Territory	China
City	Xi'an
Period	24/09/06 → 28/09/06

Access to Document

10.1007/11881223_47

Cite this

Zhang, M., Li, G., & Fu, Y. (2006). Secrecy of signals by typing in signal transduction. In Advances in Natural Computation - Second International Conference, ICNC 2006, Proceedings (pp. 384-393). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4222 LNCS - II). Springer Verlag. https://doi.org/10.1007/11881223_47

@inproceedings{9db18f3528aa46169986004a3490f08b,

title = "Secrecy of signals by typing in signal transduction",

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.",

author = "Min Zhang and Guoqiang Li and Yuxi Fu",

year = "2006",

doi = "10.1007/11881223\_47",

language = "英语",

isbn = "3540459073",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "384--393",

booktitle = "Advances in Natural Computation - Second International Conference, ICNC 2006, Proceedings",

address = "德国",

note = "2nd International Conference on Natural Computation, ICNC 2006 ; Conference date: 24-09-2006 Through 28-09-2006",

}

Zhang, M, Li, G & Fu, Y 2006, Secrecy of signals by typing in signal transduction. in Advances in Natural Computation - Second International Conference, ICNC 2006, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4222 LNCS - II, Springer Verlag, pp. 384-393, 2nd International Conference on Natural Computation, ICNC 2006, Xi'an, China, 24/09/06. https://doi.org/10.1007/11881223_47

Secrecy of signals by typing in signal transduction. / Zhang, Min; Li, Guoqiang; Fu, Yuxi.
Advances in Natural Computation - Second International Conference, ICNC 2006, Proceedings. Springer Verlag, 2006. p. 384-393 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4222 LNCS - II).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Secrecy of signals by typing in signal transduction

AU - Zhang, Min

AU - Li, Guoqiang

AU - Fu, Yuxi

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/33750337787

U2 - 10.1007/11881223_47

DO - 10.1007/11881223_47

M3 - 会议稿件

AN - SCOPUS:33750337787

SN - 3540459073

SN - 9783540459071

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 384

EP - 393

BT - Advances in Natural Computation - Second International Conference, ICNC 2006, Proceedings

PB - Springer Verlag

T2 - 2nd International Conference on Natural Computation, ICNC 2006

Y2 - 24 September 2006 through 28 September 2006

ER -

Secrecy of signals by typing in signal transduction

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this