Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

A Sound Decision Procedure for the Compositionality of Secrecy.

ESSoS. 2012 S. 97 - 105

Erscheinungsjahr: 2012

Publikationstyp: Zeitschriftenaufsatz

GeprüftBibliothek

Autoren

Ochoa, Martín (Autor)
Jürjens, Jan (Autor)
Warzecha, Daniel (Autor)

Verknüpfte Personen

Jan Jürjens

Beteiligte Einrichtungen

Logo Institut für Softwaretechnik