Pages that link to "Item:Q5308417"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5308417):
Displaying 10 items.
- A symbolic decision procedure for cryptographic protocols with time stamps (Q2568115) (← links)
- Automated synthesis of enforcing mechanisms for security properties in a timed setting (Q2866731) (← links)
- Let’s Get Physical: Models and Methods for Real-World Security Protocols (Q3183515) (← links)
- Automated Verification of Dynamic Root of Trust Protocols (Q3304809) (← links)
- Constraint Abstraction in Verification of Security Protocols (Q3507341) (← links)
- Type-Based Automated Verification of Authenticity in Cryptographic Protocols (Q3617702) (← links)
- Automatic verification of cryptographic protocols with SETHEO (Q5234693) (← links)
- Modeling and Verifying Time Sensitive Security Protocols with Constraints (Q5415612) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5901900) (← links)
- Formal Methods for Open Object-Based Distributed Systems (Q5902546) (← links)