Reference:

J. Bauer. A Control-Flow-Analysis for Multi-Threaded Java with Security Applications. Master's thesis, Saarland University, 2001.

Keywords:

control-flow analysis, Java, security, multithreading

Suggested BibTeX entry:

@mastersthesis{Bauer01,
    author = {J. Bauer},
    school = {Saarland University},
    title = {{A} {C}ontrol-{F}low-{A}nalysis for {M}ulti-{T}hreaded {J}ava with {S}ecurity {A}pplications},
    year = {2001}
}