Jahr
Year
Titel/Autor:in
Title/Author
Dokumentart
Document Type
2011 Extracting and verifying cryptographic models from C protocol code by symbolic execution
Aizatulin, M.; Gordon, A.D.; Jürjens, J.
Konferenzbeitrag
2011 Mobile task computing: Beyond location-based services and EBooks
Athanasiou, S.; Efentakis, A.; Liagouris, J.; Pfennigschmidt, S.; Pfoser, D.; Tsigka, E.; Voisard, A.
Konferenzbeitrag
2011 Security patterns: Comparing modeling approaches
Bandara, A.; Haley, C.B.; Hayashi, S.; Jürjens, J.; Kaiya, H.; Kubo, A.; Laney, R.; Mouratidis, H.; Nhlabatsi, A.; Nuseibeh, B.; Tahara, Y.; Tun, T.T.; Washizaki, H.; Yoshioka, N.; Yu, Y.
Aufsatz in Buch
2011 Run-time security traceability for evolving systems
Bauer, A.; Jürjens, J.; Yu, Y.
Zeitschriftenaufsatz
2011 Architecture of the 'Daily Care Journal' for the support of health care networks
Baumgarten, G.; Brandes, W.; Lange, B.; Ristok, H.; Wojciechowski, M.
Konferenzbeitrag
2011 Pattern-based support for context establishment and asset identification of the ISO 27000 in the field of cloud computing
Beckers, K.; Faßbender, S.; Küster, J.-C.; Schmidt, H.
Konferenzbeitrag
2011 Security and compliance in clouds
Beckers, K.; Jürjens, J.
Konferenzbeitrag
2011 Security and Compliance in Clouds
Beckers, Kristian; Jürjens, Jan
Vortrag
2011 Using continua health alliance standards
Benner, Marian; Schoepe, Lothar
Konferenzbeitrag
2011 Anwendung von Process-Mining-Ansätzen auf Log-Daten aus SAP-Systemen
Blyufshteyn, Igor
Diplomarbeit
2011 Formale Abbildung der regulatorischen Compliance auf Security Policies
Bostan, Elena-Crina
Diplomarbeit
2011 Model-based security verification and testing for smart-cards
Botella, J.; Bouquet, F.; Fourneret, E.; Jürjens, J.; Ochoa, M.; Yousefi, P.
Konferenzbeitrag
2011 Orchestrating security and system engineering for evolving systems
Bouquet, F.; Fourneret, E.; Jürjens, J.; Lund, M.S.; Madelénat, S.; Massacci, F.; Muehlberg, J.; Paci, F.; Paul, S.; Piessens, F.; Solhaug, B.; Wenzel, S.
Konferenzbeitrag
2011 Werkzeuggestützte Identifikation von IT-Sicherheitsrisiken
Braun, S.; Hirsch, M.; Jürjens, J.; Peschke, M.
Konferenzbeitrag
2011 Qualitätskriterien im Umfeld von AAL
Busch, August; Claßen, Katrin; Gaden, Udo; Groß, Anne; Heusinger, Stefan; Hildebrand, Claudia; Häring, Sabine; Klein, Bernd; Klippert, Jürgen; Loss, Kay; Metzger, Nadine; Ott, Alexander; Schindler, Bernd; Scholtysek, Frank; Schöpe, Lothar; Seitz, Thomas; Sträter, Oliver; Villela, Karina
Bericht
2011 Elektronische Patientenakte gemäß §291a SGB V - Die Patientenakte in der Versorgung: Kernkonzepte und technische Umsetzung
Caumanns, J.; Eckstein, L.; Kuhlisch, R.; Kunz, T.; Rode, O.; Viebeg, U.
Konferenzbeitrag
2011 RLUS and SOA security: German National Personal Health Record
Caumanns, J.; Kuhlisch, R.; Rode, O.
Vortrag
2011 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, P.; Rudolph, S.; Trillsch, S.
Bericht
2011 Guiding a general-purpose C verifier to prove cryptographic protocols
Dupressoir, F.; Gordon, A.D.; Jürjens, J.; Naumann, D.A.
Konferenzbeitrag
2011 Using security patterns to develop secure systems
Fernandez, E.B.; Hilst, M. van; Jürjens, J.; Pernul, G.; Washizaki, H.; Yoshioka, N.
Aufsatz in Buch
2011 Prototypische Umsetzung einer elektronischen Patientenakte nach § 291a SGB V für die medizinische Forschung
Frey, M.; Geßner, C.; Helbing, K.; Kuhlisch, R.; Kunz, T.; Quade, M.; Rienhoff, O.
Abstract
2011 From software-as-a-good to SaaS: Challenges and needs - developing a tool supported methodology for the migration of non-saas applications to SaaS
Gottschick, Jan; Ibarra, Juncal Alonso; Orue-Echevarria Arrita, Leire; Restel, H.
Konferenzbeitrag
2011 Das Projekt "WohnSelbst zuhause medizinisch versorgt" in Wiesbaden
Hartmann, Armin; Schöpe, Lothar
Aufsatz in Buch
2011 Medizinisches Telemonitoring im Verbundforschungsvorhaben WohnSelbst
Hartmann, Armin; Schoepe, Lothar
Aufsatz in Buch
2011 Systematic development of UMLsec design models based on security requirements
Hatebur, D.; Heisel, M.; Jürjens, J.; Schmidt, H.
Konferenzbeitrag
2011 Security and compliance in clouds. Pattern-based compliance and security requirements engineering
Hirsch, Martin; Jürjens, Jan; Küster, Jan-Christoph
Vortrag
2011 Supporting requirements engineers in recognising security issues
Houmb, S.; Islam, S.; Jürjens, J.; Knauss, E.; Schneider, K.
Konferenzbeitrag
2011 Modelling secure systems evolution: Abstract and concrete change specifications
Houmb, S.H.; Islam, S.; Jürjens, J.; Marchal, L.; Ochoa, M.; Schmidt, H.
Konferenzbeitrag
2011 HL7-basierte Vernetzung von erstem und zweitem Gesundheitsmarkt als Enabler für neue Präventions-Gesundheitsdienstleistungen
Houta, S.; Meister, Sven
Konferenzbeitrag
2011 A framework to support alignment of secure software engineering with legal regulations
Islam, S.; Jürjens, J.; Mouratidis, H.
Zeitschriftenaufsatz
2011 Problem analysis of traditional IT-security risk assessment methods - an experience report from the insurance and auditing domain
Jürjens, J.; Nuseibeh, B.; Taubenberger, S.; Yu, Y.
Konferenzbeitrag
2011 Automated security hardening for evolving UML models
Jürjens, J.
Konferenzbeitrag
2011 Incremental security verification for evolving UMLsec models
Jürjens, J.; Marchal, L.; Ochoa, M.; Schmidt, H.
Konferenzbeitrag
2011 Mitigating soft error risks through protecting critical variables and blocks
Jürjens, J.; Khan, M.M.R.; Sadi, M.S.; Uddin, M.N.
Konferenzbeitrag
2011 Connecting security requirements analysis and secure design using patterns and UMLsec
Jürjens, J.; Schmidt, H.
Konferenzbeitrag
2011 Software engineering for secure systems. Pt.2: From design to implementation via model-based security engineering
Jürjens, Jan; Nuseibeh, Bashar
Vortrag
2011 Security and compliance in clouds
Jürjens, Jan
Vortrag
2011 Security and compliance in clouds. Challenges and solutions
Jürjens, Jan
Vortrag
2011 Assessing the economic value of early warning systems
Klafft, M.; Meissen, U.
Konferenzbeitrag
2011 Street marketing. How proximity and context drive coupon redemption
Klafft, M.; Rothensee, M.; Spiekermann, S.
Zeitschriftenaufsatz
2011 Home service engineering for sensor networks
Meis, J.; Wojciechowski, M.
Aufsatz in Buch
2011 Usage of CEP and HL7 to solve information logistics problems in telemedicine
Meister, Sven
Konferenzbeitrag
2011 Monitoring von Geschäftsprozessen mit Compliance relevanten Eigenschaften
Mensah, Kubi Josua
Bachelor Thesis
2011 Konzeption und Umsetzung eines UMLsecTool-Plugins zur Prüfung von Authorization Constraints für die Prozessmodellierungssprache BPMN 2.0
Michel, Marcel
Bachelor Thesis
2011 Ontologie-basierte Modellierung ausgewählter Compliance-Regelwerke mit Anforderungserhebung zur Toolauswahl
Stahl, Christine Sarah
Diplomarbeit
2011 ARCHITECT: A layered framework for classifying technologies of event-based systems
Voisard, A.; Ziekow, H.
Zeitschriftenaufsatz
2011 Fraunhofer-Institut für Software- und Systemtechnik. Jahresbericht 2010
Jahresbericht
Diese Liste ist ein Auszug aus der Publikationsplattform Fraunhofer-Publica

This list has been generated from the publication platform Fraunhofer-Publica