Please use this identifier to cite or link to this item:
https://open.uns.ac.rs/handle/123456789/11708
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Prokić, Ivan | en |
dc.date.accessioned | 2020-03-03T14:45:29Z | - |
dc.date.available | 2020-03-03T14:45:29Z | - |
dc.date.issued | 2019-09-12 | en |
dc.identifier.issn | 20752180 | en |
dc.identifier.uri | https://open.uns.ac.rs/handle/123456789/11708 | - |
dc.description.abstract | © Ivan Prokić This work is licensed under the Creative Commons Attribution License. Sharing confidential information in distributed systems is a necessity in many applications, however, it opens the problem of controlling information sharing even among trusted parties. In this paper, we present a formal model in which dissemination of information is disabled at the level of the syntax in a direct way. We introduce a subcalculus of the π-calculus in which channels are considered as confidential information. The only difference with respect to the π-calculus is that channels once received cannot be forwarded later on. By means of examples, we give an initial idea of how some privacy notions already studied in the past, such as group creation and name hiding, can be represented without any additional language constructs. We also present an encoding of the (sum-free) π-calculus in our calculus. | en |
dc.relation.ispartof | Electronic Proceedings in Theoretical Computer Science, EPTCS | en |
dc.title | The C<inf>π</inf>-calculus: A model for confidential name passing | en |
dc.type | Conference Paper | en |
dc.identifier.doi | 10.4204/EPTCS.304.8 | en |
dc.identifier.scopus | 2-s2.0-85074888647 | en |
dc.identifier.url | https://api.elsevier.com/content/abstract/scopus_id/85074888647 | en |
dc.relation.lastpage | 136 | en |
dc.relation.firstpage | 115 | en |
dc.relation.volume | 304 | en |
item.grantfulltext | none | - |
item.fulltext | No Fulltext | - |
crisitem.author.dept | Fakultet tehničkih nauka, Departman za opšte discipline u tehnici | - |
crisitem.author.parentorg | Fakultet tehničkih nauka | - |
Appears in Collections: | FTN Publikacije/Publications |
SCOPUSTM
Citations
1
checked on Sep 14, 2022
Page view(s)
37
Last Week
14
14
Last month
0
0
checked on May 10, 2024
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.