Show simple item record

dc.contributor.authorKOUTAVAS, VASILEIOSen
dc.contributor.editorGilles Barthen
dc.date.accessioned2014-01-23T13:12:08Z
dc.date.available2014-01-23T13:12:08Z
dc.date.created2011en
dc.date.issued2011en
dc.date.submitted2011en
dc.identifier.citationVasileios Koutavas, Matthew Hennessy, A Testing Theory for a Higher-Order Cryptographic Language, Lecture Notes in Computer Science, Programming Languages and Systems, European Symposium on Programming (ESOP), Saarbr?cken, Germany, 2011, Gilles Barth, 6602, Springer Berlin Heidelberg, 2011, 358 - 377en
dc.identifier.otherYen
dc.identifier.urihttp://hdl.handle.net/2262/67871
dc.descriptionPUBLISHEDen
dc.descriptionSaarbr?cken, Germanyen
dc.description.abstractWe study a higher-order concurrent language with cryptographic primitives, for which we develop a sound and complete, first-order testing theory for the preservation of safety properties. Our theory is based on co-inductive set simulations over transitions in a first-order Labelled Transition System. This keeps track of the knowledge of the observer, and treats transmitted higher-order values in a symbolic manner, thus obviating the quantification over functional contexts. Our characterisation provides an attractive proof technique, and we illustrate its usefulness in proofs of equivalence, including cases where bisimulation theory does not apply.en
dc.description.sponsorshipSFIen
dc.format.extent358en
dc.format.extent377en
dc.language.isoenen
dc.publisherSpringer Berlin Heidelbergen
dc.relation.ispartofseries6602en
dc.rightsYen
dc.subjectProgramming Languagesen
dc.titleA Testing Theory for a Higher-Order Cryptographic Languageen
dc.title.alternativeLecture Notes in Computer Scienceen
dc.title.alternativeProgramming Languages and Systems, European Symposium on Programming (ESOP)en
dc.typeConference Paperen
dc.contributor.sponsorScience Foundation Ireland (SFI)en
dc.type.supercollectionscholarly_publicationsen
dc.type.supercollectionrefereed_publicationsen
dc.identifier.peoplefinderurlhttp://people.tcd.ie/vkoutaven
dc.identifier.rssinternalid91023en
dc.identifier.doihttp://dx.doi.org/10.1007/978-3-642-19718-5_19en
dc.rights.ecaccessrightsOpenAccess
dc.contributor.sponsorGrantNumberSFI 06 IN.1 1898en


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record