ISO-690 (author-date, English)

BECKERT, Bernhard, GRAHL, Daniel, KLEBANOV, Vladimir, SCHEBEN, Christoph, SCHMITT, Peter H. und ULBRICH, Mattias, 2013. Secure Information Flow for Java - A Dynamic Logic Approach : Extended Version. Karlsruhe: KIT Karlsruher Institut für Technologie.

Elsevier - Harvard (with titles)

Beckert, B., Grahl, D., Klebanov, V., Scheben, C., Schmitt, P.H., Ulbrich, M., 2013. Secure Information Flow for Java - A Dynamic Logic Approach : Extended Version, Karlsruhe reports in informatics. KIT Karlsruher Institut für Technologie, Karlsruhe.

American Psychological Association 7th edition

Beckert, B., Grahl, D., Klebanov, V., Scheben, C., Schmitt, P. H., & Ulbrich, M. (ca. 2013). Secure Information Flow for Java - A Dynamic Logic Approach : Extended Version [Cd]. In Karlsruhe reports in informatics. KIT Karlsruher Institut für Technologie.

Springer - Basic (author-date)

Beckert B, Grahl D, Klebanov V, Scheben C, Schmitt PH, Ulbrich M (2013) Secure Information Flow for Java - A Dynamic Logic Approach : Extended Version. KIT Karlsruher Institut für Technologie, Karlsruhe

Juristische Zitierweise (Stüber) (Deutsch)

Beckert, Bernhard/ Grahl, Daniel/ Klebanov, Vladimir/ Scheben, Christoph/ Schmitt, Peter H./ Ulbrich, Mattias, Secure Information Flow for Java - A Dynamic Logic Approach : Extended Version, Karlsruhe 2013.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.