Safety, Liveness, and Information Flow: Dependability Revisited

Benenson Z, Freiling F, Holz T, Kesdogan D, Draque Penso L (2006)

Publication Type: Conference contribution

Publication year: 2006

Publisher: GI

Series: LNI 81

City/Town: Frankfurt am Main

Pages Range: 56-65

Conference Proceedings Title: ARCS Workshops (19th International Conference on Architecture of Computing Systems)

Authors with CRIS profile

Zinaida Benenson Lehrstuhl für Informatik 1 (IT-Sicherheitsinfrastrukturen) Felix Freiling Lehrstuhl für Informatik 1 (IT-Sicherheitsinfrastrukturen)

Involved external institutions

Ruhr-Universität Bochum (RUB) DE Germany (DE)

How to cite

APA:

Benenson, Z., Freiling, F., Holz, T., Kesdogan, D., & Draque Penso, L. (2006). Safety, Liveness, and Information Flow: Dependability Revisited. In ARCS Workshops (19th International Conference on Architecture of Computing Systems) (pp. 56-65). Frankfurt am Main: GI.

MLA:

Benenson, Zinaida, et al. "Safety, Liveness, and Information Flow: Dependability Revisited." Proceedings of the ARCS Workshops (19th International Conference on Architecture of Computing Systems) Frankfurt am Main: GI, 2006. 56-65.

BibTeX: Download