EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Sitemap
 Search
 Organisation

EEMCS EPrints Service


Author: Laud, P.
Home Policy Brochure Browse Search User Area Contact Help

2003

Laud, P. and Corin, R.J. (2003) Sound Computational Interpretation of Formal Encryption with Composed Keys. Technical Report TR-CTIT-03-42, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Laud, P. and Corin, R.J. (2003) Sound Computational Interpretation of Formal Encryption with Composed Keys. In: 6th Annual Int. Conf. on Information Security and Cryptology (ICISC), Seoul, Korea. pp. 55-66. Springer-Verlag. ISBN 3-540-21376-7