Fulltext present in this item

Thumbnail
Fulltext: 35193.pdf
Format: PDF
Description: preprint version
Title: Time-bounded task-PIOAs: a framework for analyzing security protocols
Author(s): Canetti, R.; Cheung, L. ; Kaynar, D.K.; Liskov, M.; Lynch, N.; Pereira, O.; Segala, R.
Publication year: 2006
In: Proceedings of the 20th International Symposium on Distributed Computing (DISC '06), pp. 238-253
Publisher: Berlin ; New York : Springer
ISBN: 3540446249
DOI: https://doi.org/10.1007/11864219_17
Publication type: Article in monograph or in proceedings

Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/35193   https://hdl.handle.net/2066/35193

Display more details
Subject: Informatics for Technical Applications
Organization: Informatics for Technical Applications
Book title: Proceedings of the 20th International Symposium on Distributed Computing (DISC '06)
Page start: p. 238
Page end: p. 253

This item appears in the following Collection(s)

Browse

Statistics