Electronic Notes in Theoretical Computer ScienceVolume 10, 1998, Pages 202-203ArticlesSecure Implementation of Channel Abstractions (Abstract)Author links open overlay panelMartín Abadi a, Cédric Fournet b, Georges Gonthier cShow moreShareCitehttps://doi.org/10.1016/S1571-0661(05)82514-9Get rights and contentUnder a Creative Commons licenseopen accessPrevious article in issueNext article in issueRecommended articlesCited by (0)Copyright © 2004 Elsevier B.V.