Pages that link to "Item:Q2484412"
From MaRDI portal
The following pages link to A static analysis of cryptographic processes: the denotational approach (Q2484412):
Displaying 6 items.
- Static analysis for proactive security (Q2075777) (← links)
- A denotational approach to the static analysis of cryptographic processes (Q2849549) (← links)
- MODELLING AND ANALYSIS OF PKI-BASED SYSTEMS USING PROCESS CALCULI (Q3444848) (← links)
- Static Evidences for Attack Reconstruction (Q3460869) (← links)
- Theoretical Computer Science (Q5395062) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711502) (← links)