Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Institut für Softwaretechnik

FB 4: Informatik / Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287-2722
  • 0261/287-2721
Publikationen
PDF | RTF
Ergebnisse pro Seite:  10

Jürjens, Jan

Security for Changing Software and Systems (Invited Talk)

tubs.CITY Symposium 2013. Braunschweig. 2013 S. 1 - 19


Jürjens, Jan

Sicherheit und Compliance in der Cloud

microfin Jahresempfang 2013. Frankfurt. 2013 S. 1 - 23


Jürjens, Jan

Zertifizierung für sichere Cyber-Physikalische Systeme

Tag der Informations- und Kommunikationswirtschaft Nordrhein-Westfalen (IuK-Tag NRW 2013). Paderborn (Germany). 2013


Ochoa, Martín; Jürjens, Jan; Warzecha, Daniel

A Sound Decision Procedure for the Compositionality of Secrecy

Gilles Barthe; Benjamin Livshits; Riccardo Scandariato (Hrsg). Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings. Berlin: Springer 2012 S. 97 - 105


Jürjens, Jan; Schneider, Kurt

Beyond One-Shot Security

Norbert Seyff;Anne Koziolek (Hrsg). Modelling and Quality in requirements Engineering: Essays Dedicated to Martin Glinz on the Occasion of His 60th Birthday. Münster: Monsenstein und Vannerdat 2012 S. 121 - 132


Aizatulin, Mihhail; Gordon, Andrew D.; Jürjens, Jan

Computational Verification of C Protocol Implementations by Symbolic Execution

Ting Yu; George Danezis; Virgil Gligor (Hrsg). Proceedings of the 19th ACM Conference on Computer and Communications Security CCS 2012: October 16–18, 2012; Raleigh, North Carolina, USA. New York, NY: ACM Association for Computing Machinery 2012 S. 712 - 723



Schneider, Kurt; Knauss, Eric; Houmb, Siv Hilde et al.

Enhancing security requirements engineering by organizational learning

Requirements Engineering. Bd. 17. H. 1. London: Springer 2012 S. 35 - 56


Wessel, Christian; Humberg, Thorsten; Wenzel, Sven et al.

Frühzeitige modellbasierte Risikoanalyse für mobile, verteilte Anwendungen

Stefan Jähnichen; Bernhard Rumpe; Holger Schlingloff (Hrsg). Software Engineering 2012: Workshopband; Tagung vom 27. Februar - 02. März 2012 in Berlin. Bonn: Gesellschaft für Informatik 2012 S. 175 - 181


Jürjens, Jan

Informationssicherheit im Cloud Computing

Web-Konferenz des Anwenderkreis Informationstechnik und Telekommunikation (AKIT). 2012 S. 1 - 40