HIGHLIGHTS
- What: The aims of the work focus on the verification of symbolic models for cryptographic abstractions , alongside the automatic generation of security protocols at both the specification and implementation levels . To encourage users to leverage formal methods, the authors propose an approach based on the following key components:. The authors focus on the latter element, the environment, which is supporting the overall approach, leveraging the two other components. By enabling users to achieve results with minimal time and effort, the authors aim to prevent discouragement and promote continued engagement in the formalisation process.
- Who: R . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.