Pages that link to "Item:Q1910421"
From MaRDI portal
The following pages link to A formal language for cryptographic protocol requirements (Q1910421):
Displayed 5 items.
- Specification of communicating processes: temporal logic versus refusals-based refinement (Q931435) (← links)
- A new logic for electronic commerce protocols (Q1853749) (← links)
- A formal language for cryptographic protocol requirements (Q1910421) (← links)
- On the relationships between models in protocol verification (Q2482448) (← links)
- Model Checking Security Protocols (Q3176380) (← links)