Automatic verification of anonymity of protocols

DOI10.14495/JSIAML.3.97zbMATH Open1329.68099OpenAlexW2013873022MaRDI QIDQ2843195

Hideki Sakurada

Publication date: 9 August 2013

Published in: JSIAM Letters (Search for Journal in Brave)

Full work available at URL: https://www.jstage.jst.go.jp/A_PRedirectJournalInit?sryCd=jsiaml&kijiCd=3_0_97&screenID=AF06S010&noVol=3&noIssue=0

zbMATH Keywords

verificationsecurityprotocolanonymityProverif

Mathematics Subject Classification ID

Voting theory (91B12) Data encryption (aspects in computer science) (68P25)

This page was built for publication: Automatic verification of anonymity of protocols

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2843195)