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]
Abstract is missing.