Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Sudbrock, Henning"'
Autor:
Sudbrock, Henning
Software pervades our society deeper with every year. This trend makes software security more and more important. For instance, software systems running critical infrastructures like power plants must withstand criminal or even terrorist attacks, but
Externí odkaz:
http://tuprints.ulb.tu-darmstadt.de/3884/1/2014-04-12-sudbrock-dissertation-final.pdf
Autor:
Ochoa, Martin, Pape, Sebastian, Ruhroth, Thomas, Sprick, Barbara, Stenzel, Kurt, Sudbrock, Henning
This report is a compilation of the results of a topic workshop on 'Security Properties in Software Engineering' as part of the DFG priority programme 1496 'Reliably Secure Software Systems'.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3341::4956ceb6a4f29af123fbd780353a3858
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/1608
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/1608
Publikováno v:
International Journal of Secure Software Engineering; Apr-Jun2015, Vol. 6 Issue 2, p1-22, 22p
Autor:
Mantel, Heiko, Sudbrock, Henning
Publikováno v:
Logic-Based Program Synthesis & Transformation (9783642381966); 2013, p106-121, 16p
Autor:
Mantel, Heiko, Sudbrock, Henning
Publikováno v:
Computer Security - Esorics 2010; 2010, p116-133, 18p
Autor:
Mantel, Heiko, Sudbrock, Henning
Publikováno v:
Formal Aspects in Security & Trust (9783642014642); 2009, p67-81, 15p
Autor:
Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Rangan, C. Pandu, Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Puebla, Germán, Mantel, Heiko, Sudbrock, Henning, Kraußer, Tina
Publikováno v:
Logic-Based Program Synthesis & Transformation (9783540714095); 2007, p94-110, 17p