×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

100
MathJax
Degano, Pierpaolo (ed.) et al., Foundations and applications of security analysis. Joint workshop on automated reasoning for security protocol analysis and issues in the theory of security, ARSPA-WITS 2009, York, UK, March 28–29, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03458-9/pbk). Lecture Notes in Computer Science 5511, 138-154 (2009).
MSC:  68P25 94A60
PDF BibTeX XML Cite
Full Text: DOI
Patrick, Andrew S. (ed.) et al., Financial cryptography and data security. 9th international conference, FC 2005, Roseau, The Commonwealth of Dominica, February 28 – March 3, 2005. Revised papers. Berlin: Springer (ISBN 3-540-26656-9/pbk). Lecture Notes in Computer Science 3570, 336-340 (2005).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Year of Publication
Classification
Software