×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Degano, Pierpaolo (ed.) et al., Proceedings of the 2nd workshop on automated reasoning for security protocol analysis (ARSPA 2005), Lisbon, Portugal, July 16, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 135, No. 1, 95-114 (2005).
MSC:  94A62 68M12 68Q42
BibTeX Cite
Full Text: Link
WorldCat.org

Filter Results by …

Document Type
Year of Publication
Classification
Software