Pages that link to "Item:Q1887729"
From MaRDI portal
The following pages link to A simple framework for real-time cryptographic protocol analysis with compositional proof rules (Q1887729):
Displaying 6 items.
- Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography (Q953531) (← links)
- Tempus fugit: How to plug it (Q997994) (← links)
- Formal models and analysis of secure multicast in wired and wireless networks (Q1040779) (← links)
- Automated synthesis of enforcing mechanisms for security properties in a timed setting (Q2866731) (← links)
- Dynamics Security Policies and Process Opacity for Timed Process Algebras (Q3179174) (← links)
- Constraint Abstraction in Verification of Security Protocols (Q3507341) (← links)
