Using Standard Verifier to Check Secure Information Flow in Java Bytecode - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri. Using Standard Verifier to Check Secure Information Flow in Java Bytecode. In 26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings. pages 850-855, IEEE Computer Society, 2002. [doi]

This author has not been identified. Look up 'Cinzia Bernardeschi' in GoogleThis author has not been identified. Look up 'Nicoletta De Francesco' in GoogleThis author has not been identified. Look up 'Giuseppe Lettieri' in Google

runs on WebDSL