Show simple item record

dc.contributor.authorHENNESSY, MATTHEW
dc.date.accessioned2011-06-07T15:22:54Z
dc.date.available2011-06-07T15:22:54Z
dc.date.issued2005
dc.date.submitted2005en
dc.identifier.citationHennessy, Matthew., The Security Picalculus and Non-interference., Journal of Logic and Algebraic Programming, 63, 1, 2005, 3-34en
dc.identifier.otherY
dc.identifier.urihttp://hdl.handle.net/2262/56473
dc.descriptionPUBLISHEDen
dc.description.abstractThe 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.sponsorshipThis research has been partially funded by the EU Global Computing projects Mikado and Mythsen
dc.format.extent3-34en
dc.language.isoenen
dc.publisherElsevieren
dc.relation.ispartofseriesJournal of Logic and Algebraic Programming;
dc.relation.ispartofseries63;
dc.relation.ispartofseries1;
dc.rightsYen
dc.subjectComputer scienceen
dc.subjectDistributed Systemsen
dc.subjectpicalculusen
dc.subjectsecurity typesen
dc.subjectnon-interferenceen
dc.subjecttesting equivalencesen
dc.titleThe Security Picalculus and Non-interference.en
dc.typeJournal Articleen
dc.type.supercollectionscholarly_publicationsen
dc.type.supercollectionrefereed_publicationsen
dc.identifier.peoplefinderurlhttp://people.tcd.ie/mcbhenne
dc.identifier.rssinternalid50872
dc.identifier.rssurihttp://dx.doi.org/10.1016/j.jlap.2004.01.003en


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record