Techniques for Security Checking: Non-Interference vs Control Flow Analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli. Techniques for Security Checking: Non-Interference vs Control Flow Analysis. Electronic Notes in Theoretical Computer Science, 62:211-228, 2001. [doi]

This author has not been identified. Look up 'Chiara Bodei' in GoogleThis author has not been identified. Look up 'Pierpaolo Degano' in GoogleThis author has not been identified. Look up 'Riccardo Focardi' in GoogleThis author has not been identified. Look up 'Roberto Gorrieri' in GoogleThis author has not been identified. Look up 'Fabio Martinelli' in Google

runs on WebDSL