Compositionality of secure information flow

Catuscia Palamidessi

doi:10.1007/978-3-642-13321-3_2

Compositionality of secure information flow

Catuscia Palamidessi

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

Original language	English
Title of host publication	Mathematics of Program Construction - 10th International Conference, MPC 2010, Proceedings
Pages	19
Number of pages	1
DOIs	https://doi.org/10.1007/978-3-642-13321-3_2
Publication status	Published - 1 Dec 2010
Event	10th International Conference on the Mathematics of Program Construction, MPC 2010 - Quebec City, QC, Canada Duration: 21 Jun 2010 → 23 Jun 2010

Publication series

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

Conference

Conference	10th International Conference on the Mathematics of Program Construction, MPC 2010
Country/Territory	Canada
City	Quebec City, QC
Period	21/06/10 → 23/06/10

Access to Document

10.1007/978-3-642-13321-3_2

Cite this

@inproceedings{12ba2b22c95340569c5787e01b4734cc,

title = "Compositionality of secure information flow",

author = "Catuscia Palamidessi",

year = "2010",

month = dec,

day = "1",

doi = "10.1007/978-3-642-13321-3\_2",

language = "English",

isbn = "3642133207",

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

pages = "19",

booktitle = "Mathematics of Program Construction - 10th International Conference, MPC 2010, Proceedings",

note = "10th International Conference on the Mathematics of Program Construction, MPC 2010 ; Conference date: 21-06-2010 Through 23-06-2010",

}

Palamidessi, C 2010, Compositionality of secure information flow. in Mathematics of Program Construction - 10th International Conference, MPC 2010, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6120 LNCS, pp. 19, 10th International Conference on the Mathematics of Program Construction, MPC 2010, Quebec City, QC, Canada, 21/06/10. https://doi.org/10.1007/978-3-642-13321-3_2

Compositionality of secure information flow. / Palamidessi, Catuscia.
Mathematics of Program Construction - 10th International Conference, MPC 2010, Proceedings. 2010. p. 19 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6120 LNCS).

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

TY - GEN

T1 - Compositionality of secure information flow

AU - Palamidessi, Catuscia

PY - 2010/12/1

Y1 - 2010/12/1

U2 - 10.1007/978-3-642-13321-3_2

DO - 10.1007/978-3-642-13321-3_2

M3 - Conference contribution

AN - SCOPUS:79956320270

SN - 3642133207

SN - 9783642133206

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

SP - 19

BT - Mathematics of Program Construction - 10th International Conference, MPC 2010, Proceedings

T2 - 10th International Conference on the Mathematics of Program Construction, MPC 2010

Y2 - 21 June 2010 through 23 June 2010

ER -