Verifiable Control Flow Policies for Java Bytecode.

Arnaud Fontaine Samuel Hym Isabelle Simplot-Ryl

Published in: Formal Aspects in Security and Trust (2011)

Keyphrases

control flow
java bytecode
data flow
software testing
process model
virtual machine
java virtual machine
workflow management systems
programming language
formal semantics
garbage collection
database
object oriented
information systems
open source
distributed systems