Formal security analysis of registration protocols for interactive systems: a methodology and a case of study

Biblos-e Archivo/Manakin Repository

Files in this item

Thumbnail
Share

Delicious Save this on Delicious

Citations

This item appears in the following Collection(s)