Pages that link to "Item:Q1910421"
From MaRDI portal
The following pages link to A formal language for cryptographic protocol requirements (Q1910421):
Displaying 6 items.
- Specification of communicating processes: temporal logic versus refusals-based refinement (Q931435) (← links)
- A new logic for electronic commerce protocols (Q1853749) (← links)
- Ordering from Satan's menu: a survey of requirements specification for formal analysis of cryptographic protocols (Q1887728) (← 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)