Analysis of LYSA-calculus with explicit confidentiality annotations |
Han Gao, Hanne Riis Nielson
|
| Type | Conference paper [Submitted] |
| Conference | 20th International Conference on Advanced Information Networking and Applications |
| Year | 2006 Month April Vol. 2 pp. 39-43 |
| Publisher | IEEE Computer Society |
| Electronic version(s) | [pdf] |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |