Jahr
Year | Titel/Autor:in
Title/Author | Dokumentart
Document Type |
|---|
| 2012 |
Verifying cryptographic code in C: Some experience and the Csec challenge
Aizatulin, M.; Dupressoir, F.; Gordon, A.D.; Jürjens, J. |
Konferenzbeitrag
|
| 2012 |
Computational verification of C protocol implementations by symbolic execution
Aizatulin, M.; Gordon, D.; Jürjens, J. |
Konferenzbeitrag
|
| 2012 |
P23R: Spezifikationen zur Sicherheitsarchitektur
Baum, Jürgen; Caumanns, Jörg; Kraufmann, Ben; Kuhlisch, Raik; Restel, Hannes |
Bericht
|
| 2012 |
P23R: Sicherheitsarchitektur
Baum, Jürgen; Caumanns, Jörg; Kraufmann, Ben; Kuhlisch, Raik; Restel, Hannes |
Bericht
|
| 2012 |
P23R. Rahmenarchitektur
Baum, Jürgen; Clauder, Frank; Gottschick, Jan; Hartenstein, Heiko; Rosenmüller, Rainer |
Bericht
|
| 2012 |
P23R: Spezifikation des P23R-Protokolls
Baum, Jürgen; Gottschick, Jan; Rubinstein, Tatjana |
Bericht
|
| 2012 |
P23R: Sicherheitskonzept
Baum, Jürgen; Caumanns, Jörg; Eckstein, Levona; Kraft, Reiner; Stöwer, Mechthild |
Bericht
|
| 2012 |
Mobilapplikationen und Management der Hypertonie
Becker, S.; Erbel, R.; Kribben, A.; Königsmann, T.; Mitchell, A. |
Zeitschriftenaufsatz
|
| 2012 |
Supporting the development and documentation of ISO 27001 information security management systems through security requirements engineering approaches
Beckers, K.; Faßbender, S.; Heisel, M.; Küster, J.-C.; Schmidt, H. |
Konferenzbeitrag
|
| 2012 |
Foreword
Blanco, C.; Crespo, L.E.S.; Jürjens, J.; Rosado, D.G. |
Konferenzbeitrag
|
| 2012 |
Vérification et Test pour des systèmes évolutifs
Bouquet, F.; Fourneret, E.; Jürjens, J.; Ochoa, M.; Wenzel, S. |
Konferenzbeitrag
|
| 2012 |
Non-interference on UML state-charts
Cuellar, J.; Jürjens, J.; Ochoa, M. |
Konferenzbeitrag
|
| 2012 |
Guarded Process Spaces (GPS): A navigation system towards creation and dynamic change of healthcare processes from the end-user's perspective
Dadam, P.; Deiters, W.; Reuter, C.; Rudolph, S.; Trillsch, S. |
Konferenzbeitrag
|
| 2012 |
ICT infrastructures for telerehabilitation
Deiters, Wolfgang; Koch, Oliver; Königsmann, Thomas; Meister, Sven |
Aufsatz in Buch
|
| 2012 |
Ein Geschäftsmodellansatz für ein standardisiertes technikunterstütztes Dienstleistungsangebot im Wohnquartier - Das Projekt STADIWAMI
Dobernowsky, M.; Fahl, P.; Gauch, S.; Schoepe, L.; Trage, M. |
Aufsatz in Buch
|
| 2012 |
Security in information systems: New challenges and opportunities
Fernández-Medina, Eduardo; Jürjens, Jan; Rosado, David G.; Sánchez, Luis Enrique |
Zeitschriftenaufsatz
|
| 2012 |
Service Design Studio (SDS) - the execution environment for the service design studio
Flake, Stephan; Iscan, Hülya; Ley, Martin; Schmülling, Christian; Tacken, Jürgen |
Vortrag
|
| 2012 |
Die Logistics Mall - Orchestrierung von Logistik-Applikationen in der Cloud
Harmuth, Nina; Weißenberg, Norbert |
Zeitschriftenaufsatz
|
| 2012 |
A construction kit of flexible IT-services for supply chain planning and operations
Hegmanns, Tobias; Klingebiel, Katja; Steinbuss, Sebastian; Yüzgülec, Gökhan |
Konferenzbeitrag
|
| 2012 |
Enhancing security requirements engineering by organizational learning
Houmb, S.; Islam, S.; Jürjens, J.; Knauss, E.; Schneider, K. |
Zeitschriftenaufsatz
|
| 2012 |
eTraining - Vernetzung von erstem und zweitem Gesundheitsmarkt über die HL7 Clinical Document Architecture (CDA)
Houta, Salima; Meister, Sven |
Aufsatz in Buch
|
| 2012 |
Securing processes for outsourcing into the cloud
Humberg, T.; Jürjens, J.; Wenzel, S.; Wessel, C. |
Konferenzbeitrag
|
| 2012 |
Frühzeitige modellbasierte Risikoanalyse für mobile, verteilte Anwendungen
Humberg, T.; Jürjens, J.; Wenzel, S.; Wessel, C. |
Konferenzbeitrag
|
| 2012 |
Beyond one-shot security
Jürjens, J.; Schneider, K. |
Aufsatz in Buch
|
| 2012 |
Supporting security assurance in the context of evolution: Modular modeling and analysis with UMLsec
Jürjens, J.; Ruhroth, T. |
Konferenzbeitrag
|
| 2012 |
A sound decision procedure for the compositionality of secrecy
Jürjens, J.; Ochoa, M.; Warzecha, D. |
Konferenzbeitrag
|
| 2012 |
Informationssicherheit im Cloud Computing
Jürjens, Jan |
Vortrag
|
| 2012 |
Den Nebel lichten: Von Compliance-Regularien zu testbaren Sicherheitsanforderungen
Jürjens, Jan |
Vortrag
|
| 2012 |
Model-based security engineering
Jürjens, Jan |
Vortrag
|
| 2012 |
IT as an enabler of sustainable use of data from innovative technical components for assisted living
Knaup, P.; Schöpe, L. |
Konferenzbeitrag
|
| 2012 |
Information overload in telemedicine: Using complex event processing and context for intelligent information filtering and supply
Koch, Oliver; Meister, Sven |
Konferenzbeitrag
|
| 2012 |
Telemedical events: Intelligent delivery of telemedical values using CEP and HL7
Meister, S. |
Konferenzbeitrag
|
| 2012 |
Telemedizinische ILOG Listener: Informationslogistische Verarbeitung telemedizinischer Werte unter Nutzung von CEP und HL7
Meister, Sven; Stahlmann, Valentin |
Konferenzbeitrag
|
| 2012 |
TiEE - Telemedizinische ILOG Event Engine
Meister, Sven; Schafer, Sven; Stahlmann, Valentin |
Aufsatz in Buch
|
| 2012 |
Telemedical ILOG listeners: Information logistics processing of telemedical values using CEP and HL7
Meister, Sven; Stahlmann, Valentin |
Konferenzbeitrag
|
| 2012 |
Entwicklung eines Eclipse-Plugins für Matlab-unterstützte Auswertungen des Return on Security Investment
Schnitzler, Theodor |
Bachelor Thesis
|
| 2012 |
Modeling trade-offs in the design of sensor-based event processing infrastructures
Voisard, A.; Ziekow, H. |
Zeitschriftenaufsatz
|
| 2012 |
Model-based development of context-aware applications using the MILEO-context server
Wiedeler, Markus; Wojciechowski, Manfred |
Konferenzbeitrag
|