Pages that link to "Item:Q3546279"
From MaRDI portal
The following pages link to Analyzing security protocols with secrecy types and logic programs (Q3546279):
Displayed 6 items.
- Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types (Q880987) (← links)
- Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography (Q953531) (← links)
- Automated verification of selected equivalences for security protocols (Q2474047) (← links)
- On the relationships between models in protocol verification (Q2482448) (← links)
- Breaking and fixing public-key Kerberos (Q2482453) (← links)
- Formal Analysis of Dynamic, Distributed File-System Access Controls (Q3613061) (← links)