Automated Deduction – CADE-20
From MaRDI portal
Publication:5394622
DOI10.1007/11532231zbMath1135.68560MaRDI QIDQ5394622
Publication date: 1 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11532231
Related Items
Reducing protocol analysis with XOR to the XOR-free case in the Horn theory based approach, Formal analysis of PIN block attacks, Combining proverif and automated theorem provers for security protocol verification
Uses Software