Using automated model analysis for reasoning about security of web protocols release_cgc4cpvvozf7ppuwo4ssme4gli

by Apurva Kumar

Published in Annual Computer Security Applications Conference by ACM Press.

2012   p289-298

Archived Files and Locations

application/pdf  250.7 kB
file_nzhlvnguwvcxbn7icshhm5d344
web.archive.org (webarchive)
www.acsac.org (web)
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   published
Year   2012
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 3dbd3e0a-d3b8-43d9-b627-1f47b4a5ab37
API URL: JSON