Combining ProVerif and automated theorem provers for security protocol verification
-
Altmetric Citations
Description
Symbolic verification of security protocols typically relies on an attacker model called the Dolev-Yao model, which does not model adequately various algebraic properties of cryptographic operators used in many real-world protocols. In this work we describe an integration of a state-of-the-art protocol verifier ProVerif, with automated first order theorem provers (ATP). The integration allows one to model directly algebraic properties of cryptographic operators as a first-order equational...[Show more]
Collections | ANU Research Publications |
---|---|
Date published: | 2019 |
Type: | Journal article |
URI: | http://hdl.handle.net/1885/295297 |
Source: | Lecture Notes in Computer Science (LNCS) |
DOI: | 10.1007/978-3-030-29436-6_21 |
Download
File | Description | Size | Format | Image |
---|---|---|---|---|
s41561-022-00946-x.pdf | 484.84 kB | Adobe PDF | Request a copy |
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.
Updated: 17 November 2022/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator