dc.contributor.author | HENNESSY, MATTHEW | |
dc.date.accessioned | 2011-06-07T15:22:54Z | |
dc.date.available | 2011-06-07T15:22:54Z | |
dc.date.issued | 2005 | |
dc.date.submitted | 2005 | en |
dc.identifier.citation | Hennessy, Matthew., The Security Picalculus and Non-interference., Journal of Logic and Algebraic Programming, 63, 1, 2005, 3-34 | en |
dc.identifier.other | Y | |
dc.identifier.uri | http://hdl.handle.net/2262/56473 | |
dc.description | PUBLISHED | en |
dc.description.abstract | The security -calculus is a typed version of the asynchronous -calculus in which
the types, in addition to constraining the input/output behaviour of processes, have
security levels associated with them. This enables us to introduce a range of typing
disciplines which allow input or output behaviour, or both, to be bounded above or
below by a given security level.
We define typed versions of may and must equivalences for the security -calculus,
where the tests are parameterised relative to a security level. We provide alternative
characterisations of these equivalences in terms of actions in context ; these describe
the actions a process may perform, assuming the observer is constrained by a given
typing environment.
Using these alternative characterisations we prove non-interference results with
respect to may and must testing. These show that information flow between security
levels can be controlled using our typing systems. | en |
dc.description.sponsorship | This research has been partially funded by the EU Global Computing projects Mikado
and Myths | en |
dc.format.extent | 3-34 | en |
dc.language.iso | en | en |
dc.publisher | Elsevier | en |
dc.relation.ispartofseries | Journal of Logic and Algebraic Programming; | |
dc.relation.ispartofseries | 63; | |
dc.relation.ispartofseries | 1; | |
dc.rights | Y | en |
dc.subject | Computer science | en |
dc.subject | Distributed Systems | en |
dc.subject | picalculus | en |
dc.subject | security types | en |
dc.subject | non-interference | en |
dc.subject | testing equivalences | en |
dc.title | The Security Picalculus and Non-interference. | en |
dc.type | Journal Article | en |
dc.type.supercollection | scholarly_publications | en |
dc.type.supercollection | refereed_publications | en |
dc.identifier.peoplefinderurl | http://people.tcd.ie/mcbhenne | |
dc.identifier.rssinternalid | 50872 | |
dc.identifier.rssuri | http://dx.doi.org/10.1016/j.jlap.2004.01.003 | en |