Pages that link to "Item:Q1772311"

The following pages link to The security pi-calculus and non-interference (Q1772311):

Displaying 13 items.

• The security picalculus and non-interference (extended abstract) (Q276474) (← links)
• Combining behavioural types with security analysis (Q890614) (← links)
• Security types for dynamic web data (Q935467) (← links)
• Typing noninterference for reactive programs (Q997991) (← links)
• The \(C_\pi\)-calculus: a model for confidential name passing (Q1996859) (← links)
• A static analysis of cryptographic processes: the denotational approach (Q2484412) (← links)
• Type-based information flow analysis for the \(\pi\)-calculus (Q2581011) (← links)
• Controlling information release in the \(\pi\)-calculus (Q2643083) (← links)
• Simulation based security in the applied pi calculus (Q2920124) (← links)
• A Testing Theory for a Higher-Order Cryptographic Language (Q3000588) (← links)
• The Applied Pi Calculus (Q3177888) (← links)
• Characterizing intransitive noninterference for 3-domain security policies with observability (Q5274096) (← links)
• Trustworthy Global Computing (Q5394792) (← links)