Paper: Secure Implementation of Channel Abstractions (at LICS 1998)
Authors: Martín Abadi Cédric Fournet Georges GonthierAbstract
No Abstract Available
BibTeX
@InProceedings{AbadiFournetGonthie-SecureImplementatio, author = {Martín Abadi and Cédric Fournet and Georges Gonthier}, title = {Secure Implementation of Channel Abstractions}, booktitle = {Proceedings of the Thirteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1998}, year = 1998, editor = {Vaughan Pratt}, month = {June}, pages = {105-116}, location = {Indianapolis, IN, USA}, publisher = {IEEE Computer Society Press} }