Pages that link to "Item:Q1854437"

The following pages link to Static analysis for the \(\pi\)-calculus with applications to security (Q1854437):

Displayed 12 items.

• Weakening the perfect encryption assumption in Dolev-Yao adversaries (Q557896) ‎ (← links)
• From flow logic to static type systems for coordination languages (Q967521) ‎ (← links)
• A theory of structural stationarity in the \(\pi\)-calculus (Q1014276) ‎ (← links)
• Validating firewalls using flow logics (Q1603656) ‎ (← links)
• Secrecy and group creation (Q1763430) ‎ (← links)
• Analysis of security protocols as open systems (Q1853583) ‎ (← links)
• Static analysis of topology-dependent broadcast networks (Q2266988) ‎ (← links)
• A control flow analysis for Beta-binders with and without static compartments (Q2271446) ‎ (← links)
• Automated verification of selected equivalences for security protocols (Q2474047) ‎ (← links)
• A static analysis of cryptographic processes: the denotational approach (Q2484412) ‎ (← links)
• MODELLING AND ANALYSIS OF PKI-BASED SYSTEMS USING PROCESS CALCULI (Q3444848) ‎ (← links)
• Relational Analysis of Correlation (Q3522059) ‎ (← links)