Analysis of LYSA-calculus with explicit confidentiality annotations

Han Gao, Hanne Riis Nielson

TypeConference paper [Submitted]
Conference20th International Conference on Advanced Information Networking and Applications
Year2006    Month April    Vol. 2    pp. 39-43
PublisherIEEE Computer Society
Electronic version(s)[pdf]
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering