|
|
Industr. Conf. / Workshops (incomplete)
- J. Jürjens:
Den Nebel lichten: Von Compliance-Regularien zu testbaren Sicherheitsanforderungen.
In: iqnite 2012,
Düsseldorf, 24.-26.04.2012.
(slides (TODO))
- J. Jürjens:
Informationssicherheit im Cloud Computing.
In: Web-Konferenz des Anwenderkreis Informationstechnik und Telekommunikation (AKIT),
10.02.2012.
(slides (TODO))
- E. Fourneret, F. Bouquet, M. Ochoa, J. Jürjens, S. Wenzel:
Vérification et Test pour des systèmes évolutifs.
In: AFADL 2012,
Grenoble, 11.-13.01.2012.
(paper (TODO))
- C. Wessel, T. Humberg, S. Wenzel, J. Jürjens:
Frühzeitige modellbasierte Risikoanalyse für mobile, verteilte Anwendungen.
In: Workshop "Zertifizierung und modellgetriebene Entwicklung sicherer Software (ZeMoSS'12)",
Software Engineering Konferenz (SE'12), Berlin 2012.
- J. Jürjens, S. Taubenberger:
Studie zu IT-Risikobewertungen in der Praxis.
In: D-A-CH Security 2011, Gemeinsame Arbeitskonferenz der GI, OCG, BITKOM, SI, TeleTrusT, Oldenburg 20.-21.09.2011.
(paper, slides, audio, bibtex TODO)
- M. Peschke, M. Hirsch, J. Jürjens, S. Braun:
Werkzeuggestützte Identifikation von IT-Sicherheitsrisiken.
In: D-A-CH Security 2011, Gemeinsame Arbeitskonferenz der GI, OCG, BITKOM, SI, TeleTrusT, Oldenburg 20.-21.09.2011.
(paper, slides, audio, bibtex TODO)
- J. Jürjens:
Security and Compliance in Clouds.
In: CloudConf 2011,
Munich, 21-22 Nov. 2011.
(slides, audio)
- J. Jürjens:
Security and Compliance in Clouds.
In: CloudDays 2011,
Cologne and Stuttgart, 15+17 Nov. 2011.
(slides, audio)
- J. Jürjens:
Security and Compliance in Clouds.
In: IT-Compliance 2011, 4th Pan-European Conference.
Berlin, 29.-30.06.2011.
- J. Jürjens, K. Beckers:
Security and Compliance in Clouds.
In: OOP 2011,
Munich, 24-28 Jan. 2011.
(slides, audio)
- J. Jürjens, M. Hirsch, J.-C. Küster:
Werkzeuggestützte Qualitätssicherung von Sicherheits- und Compliance-Anforderungen an den Einsatz von Cloud-Computing.
In: iqnite 2011,
Düsseldorf, 24.-26.05.2011.
(slides (TODO))
- Kristian Beckers, M. Hirsch, J. Jürjens:
Compliance in Clouds: A cloud computing security perspective.
In: GI SECMGT-Workshop,
Frankfurt, 19.11. 2010.
(slides)
- J. Jürjens:
Outsourcing, SaaS & Clouds: Aber sicher ! (... und compliant).
In: Tag der Informations- und Kommunikationswirtschaft Nordrhein-Westfalen (IuK-Tag NRW 2010),
Wuppertal, 10 Nov. 2010.
(abstract, slides)
- Kristian Beckers, J. Jürjens:
Security and Compliance in Clouds.
In: Information Security Solutions Europe (ISSE 2010),
Berlin, 5-7 Oct. 2010.
(paper, slides)
- F. Dupressoir, A.D. Gordon, J. Jürjens:
Verifying authentication properties of C security code using general verifiers.
In: Fourth International Workshop on Analysis of Security APIs, FLOC 2010.
(paper, bibtex TODO)
- M. Aizatulin, A.D. Gordon, J. Jürjens:
Cryptographic Security Verification for C by Symbolic Execution.
In: Computer Security Foundations Symposium (CSF), 5-minute presentation, 2010.
(paper, bibtex TODO)
- Jan Jürjens. Model-based Security Testing Supporting Evolution.
14th Software & Systems Quality Conferences (SQC'09), April 2009, Congress Center Dusseldorf, Germany (slides, audio)
- S. Islam and J. Jürjens.
Incorporating Security Requirements from Legal Regulations into UMLsec Models.
Modeling Security Workshop (ModSec @ MoDELS 2008).
(paper)
- S. Taubenberger and J. Jürjens.
IT Security Risk Analysis based on Business Process Models enhanced with Security Requirements.
Modeling Security Workshop (ModSec @ MoDELS 2008).
(paper)
- M. Giddings, J. Jürjens, and P.M. Allen.
Challenges for the model based development of distributed real time systems.
1st Int. Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML @ MoDELS 2008).
(paper, slides)
- J. Jürjens.
Towards Verified Crypto-Protocol Implementations: The Java Secure Sockets Extension.
ABZ 2008 VSRnet Workshop.
(slides)
- E.B. Fernandez, Jan Jürjens, N. Yoshioka, and H. Washizaki. Incorporating database systems into a secure
software development methodology.
2nd Int. Workshop on Secure systems methodologies using patterns
(SPattern 2008)
(paper)
- D. Ratiu, M. Feilkas, F. Deissenboeck, J. Jürjens, and R. Marinescu. Towards A Repository of Common Programming Technologies Knowledge.
International Workshop on Semantic Technologies in System Maintenance (STSM 2008)
(paper, slides)
- A. Bauer and J. Jürjens: Security protocols, properties, and their monitoring.
The 4th International Workshop on Software Engineering for Secure Systems (SESS'08 @ ICSE 2008).
(paper, slides, bibtex, photo)
- Jan Jürjens. Quality Assurance for Security-Critical Systems.
13th Software & Systems Quality Conferences (SQC08), 15th - 18th April 2008, Congress Center Dusseldorf, Germany
(slides)
- Jan Jürjens: Model-based Security Testing using UMLsec.
Model-based Testing 2008 (MBT`08 @ ETAPS 2008).
(paper, slides)
- Jan Jürjens: Using Interface Specifications for Verifying Crypto-protocol
Implementations. Foundations of Interface Technologies 2008
(FIT`08 @ ETAPS 2008).
(paper, slides)
- J. Jürjens: Linking Cryptoprotocol Verification to Reality.
Annual Meeting of the Working Group on Formal Methods and Software Engineering for
Safety and Security (German Computer Society), Darmstadt 25/26 March 2008.
(slides)
- D. Petriu, M. Woodside, D. Petriu, Jing Xu, T. Israr, G. Georg,
R. France, J. Bieman, S.H. Houmb, J. Jürjens. Performance
Analysis of Security Aspects in UML Models. In Sixth
International Workshop on Software and Performance (WOSP 2007)
Feb. 5-8, 2007, Buenos Aires, Argentina, ACM.
- E.B. Fernandez, N. Yoshioka, and H. Washizaki, Jan Jürjens. Using security patterns to build secure systems.
1st International Workshop on Software Patterns and Quality (SPAQu'07)
- Jan Jürjens: Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project. Seventh International Workshop on Automated Verification of Critical Systems (AVOCS 2007), Oxford, Sep. 10-12, 2007.
(paper, slides)
- Jan Jürjens: Model-based Security Engineering for Compliance with Regulatory and Business Requirements. 2007 Workshop of HP Software University Association (HP-SUA), Munich (Germany), July 8-11, 2007.
(paper, slides)
- Jan Jürjens. Tools and Techniques for Model-based Testing with UML.
12th Software & Systems Quality Conferences, April 2007, Congress Center Dusseldorf, Germany
(slides)
- Jan Jürjens: Towards using Game Semantics for Crypto Protocol Verification: Lorenzen Games. In Games for Logic and Programming Languages (GALOP 2005), University of Edinburgh, Apr. 2-3, 2005, pp. 241-257.
(paper TODO, slides)
- Johannes Grünbauer, Jan Jürjens, Guido Wimmel,
Modelling Secure IT-Systems – A Survey (ps), Modellierung 2004,
Marburg, March 23–26, 2004, LNI, © GI
- Jan Jürjens, Gerhard Popp and Guido Wimmel, Use
Case Oriented Development of Security-Critical Systems
(paper (ps),
paper (pdf), slides, Bibentry), DOCsec 2003 – OMG
Workshop on Distributed Objects and Components Security,
Baltimore (USA), April 7–10,2003. Also appeared in
Information Security Bulletin, Vol. 8, Feb. 2003,
p. 51–56
- Gerd Beneken, Ulrike Hammerschall, Manfred Broy, Maria
Victoria Cengarle, Jan Jürjens, Bernhard Rumpe, Maurce
Schoenmakers, Componentware – State of the Art 2003.
Understanding Components Workshop of the CUE Initiative,
Venice, October 7th–9th 2003
- Jan Jürjens, Gerhard Popp and Guido Wimmel,
Towards Using Security Patterns in Model-based System
Development (paper (ps), paper (pdf), Bibentry), EuroPLoP 2002 (Security
Focus Group), Kloster Irsee, July 3–7, 2002
- Jan Jürjens, Developing Secure Systems with
UMLsec – From Business Processes to Implementation (paper (ps), paper (pdf), slides, Bibentry), VIS 2001, Kiel (Germany),
12–14 Sept. 2001©
Vieweg-Verlag
- Jan Jürjens, Formal Development and Verification
of Security-Critical Systems with UML (paper (ps), paper (pdf), slides, Bibentry), AVoCS'01 – Workshop on
Automated Verification of Critical Systems, Oxford, April
19–20 2001
- Jan Jürjens, Transformations for Introducing
Patterns – A Secure Systems Case Study (paper (ps), paper (pdf), Bibentry), WTUML: Workshop on
Transformations in UML (ETAPS 2001 Satellite Event), Genoa, 7
April 2001.
- Jan Jürjens and Lidiya Buda, Berechtigungsvergabe in SAP
Systemen und ihre automatische Überprüfung,
Datenschutz und Datensicherheit, 7, 2004. (In print.)
- Robert Schmidt and Jan Jürjens, Modellbasierte
Sicherheitsanalyse mit UMLsec: Ein biometrisches
Zugangskontrollsystem (slides), Modellierung 2004,
Marburg, 24–26 March 2004, Lecture Notes in Informatics, © GI
- Jan Jürjens, Methodische Entwicklung sicherer
CORBA-Anwendungen (paper (ps), paper (pdf), slides, audio (MS Outlook), Bibentry), Enterprise Security 2002
(Arbeitskonferenz der GI-Fachgruppe 2.5.3 Verlässliche
IT-Systeme u.a.), Paderborn, March 26–27, 2002 © IT-Verlag
|
|
|