Prof. Dr. Jan Jürjens - Books, Invited Papers

Disclaimer

Books

  • J. Jürjens, F. Piessens, N. Bielova (editors): 6th International Symposium on Engineering Secure Software and Systems (ESSoS 2014), Springer, LNCS, vol. 8364, 2014.
    @Proceedings{JurPieBie14, title = {6th International Symposium on Engineering Secure Software and Systems (ESSoS 2014)}, year = {2014}, editor = {J.~{J}{\"u}{r}jens and F.~Piessens and N.~Bielova}, volume = {8364}, series = {LNCS}, publisher = {Springer}, file = {electronic:http\://www.springer.com/computer/communication+networks/book/978-3-319-04896-3:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL;SpringerLink:http://link.springer.com/book/10.1007/978-3-319-04897-0:URL}, keywords = {procs, book, secureSoftwareEngineeringGeneral}, }
     BibTeX   electronic   dblp   SpringerLink 
  • J. Jürjens, B. Livshits, R. Scandariato (editors): 5th International Symposium on Engineering Secure Software and Systems (ESSoS 2013), Springer, LNCS, vol. 7781, 2013.
    @Proceedings{JurLivSca13, title = {5th International Symposium on Engineering Secure Software and Systems (ESSoS 2013)}, year = {2013}, editor = {J.~{J}{\"u}{r}jens and B.~Livshits and R.~Scandariato}, volume = {7781}, series = {LNCS}, publisher = {Springer}, file = {SpringerLink:http://link.springer.com/book/10.1007%2F978-3-642-36563-8:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, keywords = {procs, book, secureSoftwareEngineeringModelBasedSecurityEngineering}, }
     BibTeX   SpringerLink   dblp 
  • J. Jürjens: Secure Systems Development with UML Published by Springer (2005) 300 pages. Chinese translation: Tsinghua University Press, Beijing 2009.
    @Book{UMLsecBook05, title = {Secure Systems Development with {UML}}, publisher = {Springer}, year = {2005}, author = {J.~{J}{\"u}{r}jens}, pages = {300}, file = {dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL;SpringerLink:http://link.springer.com/book/10.1007%2Fb137706:URL}, note = {Chinese translation: Tsinghua University Press, Beijing 2009}, keywords = {selectedPub,book,vorsecurestreams, secureSoftwareEngineeringModelBasedSecurityEngineering}, }
     BibTeX   dblp   SpringerLink 

Summer / graduate school lectures

  • J. Jürjens: Model-based Security Engineering. In: 12th International School on Foundations of Security Analysis and Design (FOSAD 2012), Bertinoro (Italy), 2012.
    @InProceedings{fosad12J, author = {J.~{J}{\"u}{r}jens}, title = {Model-based Security Engineering}, booktitle = {12th International School on Foundations of Security Analysis and Design (FOSAD 2012)}, year = {2012}, address = {Bertinoro (Italy)}, file = {slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/fosad12talk.pdf:URL;audio-pt-1:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/audio/fosad12_1.wma:URL;audio-pt-2:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/audio/fosad12_2.spx:URL}, keywords = {graduateSchoolLectures, secureSoftwareEngineeringModelBasedSecurityEngineering}, }
     BibTeX   slides   audio-pt-1   audio-pt-2 
  • J. Jürjens, Martín Ochoa, Holger Schmidt, Loïc Marchal, Siv Hilde Houmb, Shareeful Islam: Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications. In: Bertinoro (Italy) pp. 504-526 11th School on Formal Methods (SFM'11), 2011
    @InCollection{sfm11JOSMHI, author = {J.~{J}{\"u}{r}jens and Mart{\'i}n Ochoa and Holger Schmidt and Lo{\"i}c Marchal and Siv Hilde Houmb and Shareeful Islam}, title = {Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications}, booktitle = {11th School on Formal Methods (SFM'11)}, year = {2011}, volume = {6659}, pages = {504--526}, address = {Bertinoro (Italy)}, file = {preprint:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/sfm11JOSMHI.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL;SpringerLink:http://link.springer.com/chapter/10.1007/978-3-642-21455-4_15:URL}, keywords = {graduateSchoolLectures, invitedBookChapters, softwareEvolution}, }
     BibTeX   preprint   dblp   SpringerLink 
  • J. Jürjens: Model-based Security Engineering with UML. In: A. Aldini, R. Gorrieri, F. Martinelli (editors): Lecture Notes in Computer Science pp. 42-77 Foundations of Security Analysis and Desing III: FOSAD 2004/2005 Tutorial Lectures, 2005
    @InCollection{fosad05, author = {J.~{J}{\"u}{r}jens}, title = {Model-based Security Engineering with {UML}}, booktitle = {Foundations of Security Analysis and Desing III: FOSAD 2004/2005 Tutorial Lectures}, year = {2005}, editor = {A. Aldini and R. Gorrieri and F. Martinelli}, volume = {3655}, series = {Lecture Notes in Computer Science}, pages = {42--77}, file = {slides (part 1/2):http\://rgse.uni-koblenz.de/jj/umlsec/fosad04handout1.pdf:URL;slides (part 2/2):http\://rgse.uni-koblenz.de/jj/umlsec/fosad04handout2.pdf:URL;book chapter:http\://rgse.uni-koblenz.de/jj/publications/papers/fosad04.pdf:URL;SpringerLink:http://link.springer.com/chapter/10.1007/11554578_2:URL}, keywords = {graduateSchoolLectures, invitedBookChapters, secureSoftwareEngineeringModelBasedSecurityEngineering}, }
     BibTeX   slides (part 1/2)   slides (part 2/2)   book chapter   SpringerLink 
  • J. Jürjens: Security Modeling with UML 2005. Invited graduate course.
    @Misc{smuml05, author = {J.~{J}{\"u}{r}jens}, title = {Security Modeling with {UML}}, year = {2005}, note = {Invited graduate course}, file = {Slides:http\://rgse.uni-koblenz.de/jj/umlsec/madrid05.pdf:URL}, keywords = {graduateSchoolLectures, secureSoftwareEngineeringModelBasedSecurityEngineering}, organization = {Universidad Carlos III de Madrid}, }
     BibTeX   Slides 
  • J. Jürjens: Logic for Security. In: Spring School "Logic in Computer Science", Venezia, Graduate School on Logic in Informatics, Munich, 2004.
    @InProceedings{lfs04, author = {J.~{J}{\"u}{r}jens}, title = {Logic for Security}, booktitle = {Spring School {"}Logic in Computer Science{"}}, year = {2004}, address = {Venezia}, organization = {Graduate School on Logic in Informatics, Munich}, keywords = {graduateSchoolLectures, secureSoftwareEngineeringAutomatedFormalSecurityAnalysis}, }
     BibTeX 

Invited talks / papers

Conferences

  • S. Ahmadian, F. Coerschulte, J. Jürjens: Supporting the Security Certification and Privacy Level Agreements in the Context of Clouds (Invited Paper). In: Selected Papers of the Fifth International Symposium on Business Modeling and Software Design (BMSD), pp. 80-95, 2016.
    @InProceedings{bmsd15selected, author = {S.~Ahmadian and F.~Coerschulte and J.~{J}{\"u}{r}jens}, title = {Supporting the Security Certification and Privacy Level Agreements in the Context of Clouds (Invited Paper)}, booktitle = {Selected Papers of the Fifth International Symposium on Business Modeling and Software Design (BMSD)}, year = {2016}, volume = {257}, pages = {80--95}, keywords = {conferences, secureSoftwareEngineeringSecureService/CloudBasedSystems}, }
     BibTeX 
  • J. Jürjens: Big Data: Aber sicher ! (... und compliant) (Eingeladener Vortrag). In: Fraunhofer-Alumni-Summit, 2016.
    @InProceedings{fhgalumni16, author = {J.~{J}{\"u}{r}jens}, title = {Big Data: Aber sicher ! (... und compliant) (Eingeladener Vortrag)}, booktitle = {Fraunhofer-Alumni-Summit}, year = {2016}, keywords = {conferences, secureSoftwareEngineeringCompliance}, }
     BibTeX 
  • J. Jürjens: The Industrial Data Space: Platform for Digitization in the Manufacturing and Process Industry (Invited Talk). In: Industrial Technologies 2016, 2016.
    @InProceedings{it16, author = {J.~{J}{\"u}{r}jens}, title = {The Industrial Data Space: Platform for Digitization in the Manufacturing and Process Industry (Invited Talk)}, booktitle = {Industrial Technologies 2016}, year = {2016}, keywords = {conferences, dataanalysis}, }
     BibTeX 
  • J. Jürjens: IT Security Risks. In: Summer School of the Trinational Graduate Academy Security-Risk-Orientation, 2016.
    @InProceedings{trifels16, author = {J.~{J}{\"u}{r}jens}, title = {IT Security Risks}, booktitle = {Summer School of the Trinational Graduate Academy Security-Risk-Orientation}, year = {2016}, keywords = {conferences, secureSoftwareEngineeringGeneral}, }
     BibTeX 
  • J. Jürjens: Industrial Data Space: Applications in the Medical Domain (Invited Talk). In: International Conference on Business Informatics and Modelling (IC-BIM 2016), 2016.
    @InProceedings{icbim16, author = {J.~{J}{\"u}{r}jens}, title = {Industrial Data Space: Applications in the Medical Domain (Invited Talk)}, booktitle = {International Conference on Business Informatics and Modelling (IC-BIM 2016)}, year = {2016}, keywords = {conferences, dataanalysis}, }
     BibTeX 
  • J. Jürjens: 15 Years of Model-based Security Engineering with UML: Supporting Secure Evolution (Keynote). In: Sixth International Symposium on Business Modeling and Software Design (BMSD 2016), 2016.
    @InProceedings{bmsd16, author = {J.~{J}{\"u}{r}jens}, title = {15 Years of Model-based Security Engineering with {UML}: Supporting Secure Evolution (Keynote)}, booktitle = {Sixth International Symposium on Business Modeling and Software Design (BMSD 2016)}, year = {2016}, keywords = {overviewPub,conferences, secureSoftwareEngineeringGeneral}, }
     BibTeX 
  • J. Jürjens: Industrial Data Space - The next step: Integration of Industrie 4.0, Smart data, Smart services (Invited Talk). In: From Industrie 4.0 to Digitising Manufacturing: An End User perspective, 2015.
    @InProceedings{mtc15, author = {J.~{J}{\"u}{r}jens}, title = {Industrial Data Space -- The next step: Integration of Industrie 4.0, Smart data, Smart services (Invited Talk)}, booktitle = {From Industrie 4.0 to Digitising Manufacturing: An End User perspective}, year = {2015}, keywords = {conferences, dataanalysis}, }
     BibTeX 
  • S. Ahmadian, F. Coerschulte, J. Jürjens: Supporting the Security Certification of Cloud-Computing-Infrastructures (Invited Paper). In: Fifth International Symposium on Business Modeling and Software Design (BMSD 2015), 2015.
    @InProceedings{bmsd15, author = {S.~Ahmadian and F.~Coerschulte and J.~{J}{\"u}{r}jens}, title = {Supporting the Security Certification of Cloud-Computing-Infrastructures (Invited Paper)}, booktitle = {Fifth International Symposium on Business Modeling and Software Design (BMSD 2015)}, year = {2015}, file = {preprint:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/bmsd15.pdf:URL;slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/bmsd15.pdf:URL;audio:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/audio/bmsd15.wav:URL}, keywords = {conferences,secureSoftwareEngineeringSecureService/CloudBasedSystems}, }
     BibTeX   preprint   slides   audio 
  • J. Jürjens: Towards Security of Adaptable Information Systems - Current Views and Future Perspectives (Invited Panel Participation). In: Fifth International Symposium on Business Modeling and Software Design (BMSD 2015), 2015.
    @InProceedings{bmsd15J, author = {J.~{J}{\"u}{r}jens}, title = {Towards Security of Adaptable Information Systems -- Current Views and Future Perspectives (Invited Panel Participation)}, booktitle = {Fifth International Symposium on Business Modeling and Software Design (BMSD 2015)}, year = {2015}, keywords = {conferences,softwareEvolution}, file = {slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/bmsd15panel.pdf:URL;audio:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/audio/bmsd15panel.wav:URL}, }
     BibTeX   slides   audio 
  • J. Jürjens, A. S. Ahmadian: Model-based Security Analysis and Applications to Security Economics (Invited Talk). In: International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015), 2015. Special Session on Security and Privacy in Model Based Engineering.
    @InProceedings{modelsward15, author = {J.~{J}{\"u}{r}jens and A. S.~Ahmadian}, title = {Model-based Security Analysis and Applications to Security Economics (Invited Talk)}, booktitle = {International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015)}, note = {Special Session on Security and Privacy in Model Based Engineering.}, OPTpages = {}, year = {2015}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTorganization = {}, file = {preprint:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/spie_15.pdf:URL;slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/spie15.pdf:URL}, keywords = {conferences, secureSoftwareEngineeringModelBasedSecurityEngineering}, }
     BibTeX   preprint   slides 
  • J. Jürjens: Digitalisierung - Chancen für den Mittelstand (Podiumsdiskussion) 15. Sparkassen-Forum Deutscher Mittelstand 2015
    @Misc{sfdm15, author = {J.~{J}{\"u}{r}jens}, title = {Digitalisierung -- Chancen f{\"u}r den Mittelstand (Podiumsdiskussion)}, howpublished = {15.\ Sparkassen-Forum Deutscher Mittelstand}, year = {2015}, URL = {http://mittelstandsforum.sparkasseblog.de}, file = {audio:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/audio/sparkasse-mittelstand_15cut.wav:URL}, keywords = {conferences}, }
     BibTeX   URL   audio 
  • J. Jürjens: Security Certification in the Presence of Evolution: Models vs. Code (Keynote). In: International Workshop on Safety and Formal Methods (SaFoMe@SEFM 2014), 2014.
    @InProceedings{safome14talkJ, author = {J.~J{\"u}rjens}, title = {Security Certification in the Presence of Evolution: Models vs.~Code (Keynote)}, booktitle = {International Workshop on Safety and Formal Methods (SaFoMe@SEFM 2014)}, year = {2014}, keywords = {conferences, softwareEvolution}, }
     BibTeX 
  • J. Jürjens: IT-Architekturen für auditierbare Geschäftsprozessanwendungen (Eingeladener Vortrag). In: Fraunhofer-Symposium "Netzwert" 2013, München, 2013.
    @InProceedings{netzwert13J, author = {J.~{J}{\"u}{r}jens}, title = {IT-Architekturen f{\"u}r auditierbare Gesch{\"a}ftsprozessanwendungen (Eingeladener Vortrag)}, booktitle = {Fraunhofer-Symposium {"}Netzwert{"} 2013}, year = {2013}, address = {M{\"u}nchen}, file = {slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/netzwert_13_final.pdf:URL;audio:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/audio/netzwert13.wav:URL}, keywords = {conferences, secureSoftwareEngineeringCompliance}, }
     BibTeX   slides   audio 
  • J. Jürjens: Security for Changing Software and Systems (Invited Talk). In: tubs.CITY Symposium 2013, Braunschweig, 2013.
    @InProceedings{tubscity13J, author = {J.~{J}{\"u}{r}jens}, title = {Security for Changing Software and Systems (Invited Talk)}, booktitle = {tubs.CITY Symposium 2013}, year = {2013}, address = {Braunschweig}, file = {slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/tubs13.pdf:URL;audio:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/audio/tubs13.wav:URL}, keywords = {conferences, softwareEvolution}, }
     BibTeX   slides   audio 
  • F. Massacci, F. Bouquet, E. Fourneret, J. Jürjens, M. S. Lund, S. Madelénat, J. Muehlberg, F. Paci, S. Paul, F. Piessens, B. Solhaug, S. Wenzel: Orchestrating Security and System Engineering for Evolving Systems (Invited Paper). In: 4th European Conference ServiceWave, Springer, Lecture Notes in Computer Science, vol. 6994, pp. 134-143, 2011.
    @InProceedings{servicewave11, author = {F.~Massacci and F.~Bouquet and E.~Fourneret and J.~{J}{\"u}{r}jens and M. S.~Lund and S.~Madel{\'e}nat and J.~Muehlberg and F.~Paci and S.~Paul and F.~Piessens and B.~Solhaug and S.~Wenzel}, title = {Orchestrating Security and System Engineering for Evolving Systems (Invited Paper)}, booktitle = {4th European Conference ServiceWave}, year = {2011}, series = {Lecture Notes in Computer Science}, pages = {134--143}, volume = {6994}, publisher = {Springer}, file = {preprint:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/servicewave11.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL;SpringerLink:http://link.springer.com/chapter/10.1007/978-3-642-24755-2_12:URL}, keywords = {conferences, softwareEvolution}, }
     BibTeX   preprint   dblp   SpringerLink 
  • J. Jürjens: Model-based Security Engineering with UML: The last decade and towards the future (Keynote). In: 26th IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2010), pp. 4, 2010.
    @InProceedings{vlhcc10, author = {J.~{J}{\"u}{r}jens}, title = {Model-based Security Engineering with {UML}: The last decade and towards the future (Keynote)}, booktitle = {26th IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2010)}, year = {2010}, pages = {4}, DOI = {http://doi.org/10.1109/VLHCC.2010.10}, file = {slides:http\://rgse.uni-koblenz.de/jj/publications/slides/vlhcc10talk.pdf:URL;audio:http\://rgse.uni-koblenz.de/jj/publications/audio/vlhcc10rec.wav:URL;preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/vlhcc10.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, keywords = {overviewPub,conferences, secureSoftwareEngineeringModelBasedSecurityEngineering}, }
     BibTeX   DOI   slides   audio   preprint   dblp 
  • J. Jürjens: Modellbasierte Entwicklung Sicherheitskritischer Systeme (Keynote). In: Software Engineering 2007, 2007.
    @InProceedings{mbess07, author = {J.~{J}{\"u}{r}jens}, title = {{Modellbasierte Entwicklung Sicherheitskritischer Systeme (Keynote)}}, booktitle = {Software Engineering 2007}, year = {2007}, file = {slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/se07de.pdf:URL}, keywords = {conferences, secureSoftwareEngineeringModelBasedSecurityEngineering}, }
     BibTeX   slides 
  • J. Jürjens: Model-based Security Engineering with UML: Introducing Security Aspects. In: Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (editors): Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures, Springer, Lecture Notes in Computer Science, vol. 4111, pp. 64-87, 2005.
    @InProceedings{mbse06, author = {J.~{J}{\"u}{r}jens}, editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever}, title = {Model-based Security Engineering with {UML:} Introducing Security Aspects}, booktitle = {Formal Methods for Components and Objects, 4th International Symposium, {FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures}, pages = {64--87}, series = {Lecture Notes in Computer Science}, volume = {4111}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11804192\_4}, doi = {10.1007/11804192\_4}, crossref = {DBLP:conf/secrypt/2006}, file = {bibtex:http\://dblp.uni-trier.de/rec/bibtex/conf/secrypt/Jurjens06:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/papers/secrypt06talk.pdf:URL;preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/secrypt06.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, keywords = {conferences, secureSoftwareEngineeringModelBasedSecurityEngineering}, URL = {http://www.secrypt.org}, }
     BibTeX   DOI   URL   bibtex   slides   preprint   dblp 
  • J. Jürjens: Model-Based Security Engineering for Real (Industry Day Invited Paper). In: 14th International Symposium on Formal Methods (FM 2006), Springer Verlag, Lecture Notes in Computer Science, vol. 4085, pp. 600-606, 2006. Industry Day Invited Paper.
    @InProceedings{mbser06, author = {J.~{J}{\"u}{r}jens}, title = {Model-Based Security Engineering for Real (Industry Day Invited Paper)}, booktitle = {14th International Symposium on Formal Methods (FM 2006)}, year = {2006}, volume = {4085}, series = {Lecture Notes in Computer Science}, pages = {600--606}, publisher = {Springer Verlag}, note = {Industry Day Invited Paper}, crossref = {DBLP:conf/fm/2006}, file = {slides:http\://rgse.uni-koblenz.de/jj/publications/papers/fm06talk.pdf:URL;preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/fm06.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL;SpringerLink:http://link.springer.com/chapter/10.1007/11813040_42:URL}, keywords = {conferences, internationalConferences, secureSoftwareEngineeringIndustrialApplications}, }
     BibTeX   slides   preprint   dblp   SpringerLink 
  • J. Jürjens: Sicherheit - Wo stehen wir heute aus Sicht der Wissenschaft ?. In: Microsoft DevDays Security 2006, Munich, 2006.
    @InProceedings{swswhsdw06, author = {J.~{J}{\"u}{r}jens}, title = {{Sicherheit -- Wo stehen wir heute aus Sicht der Wissenschaft~?}}, booktitle = {Microsoft DevDays Security 2006}, year = {2006}, address = {Munich}, file = {slides:http\://rgse.uni-koblenz.de/jj/publications/papers/devdays06.pdf:URL}, keywords = {conferences, secureSoftwareEngineeringGeneral}, }
     BibTeX   slides 
  • J. Jürjens: Developing Security-Critical Applications with UMLsec - A Short Walk-Through. In: Novatica, vol. 168, 2004.
    @Article{dscaumlsec04, author = {J.~{J}{\"u}{r}jens}, title = {Developing Security-Critical Applications with {UMLsec} -- A Short Walk-Through}, journal = {Novatica}, year = {2004}, volume = {168}, DOI = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.73.2657}, file = {paper (spanish):http\://rgse.uni-koblenz.de/jj/publications/papers/novatica04-spa.pdf:URL;paper (english):http\://rgse.uni-koblenz.de/jj/publications/papers/novatica04.pdf:URL}, keywords = {conferences, invitedJournalPapers, secureSoftwareEngineeringUMLsecProfile}, }
     BibTeX   DOI   paper (spanish)   paper (english) 
  • J. Jürjens: Modell-basierte Sicherheit: Sicheres Konfigurations- und Änderungsmanagement. In: Systems 2004 (Software Development & Architecture Forum), München, 2004. Invited talk.
    @InProceedings{mbsska04, author = {J.~{J}{\"u}{r}jens}, title = {Modell-basierte Sicherheit: Sicheres Konfigurations- und {{\"A}}nderungsmanagement}, booktitle = {Systems 2004 (Software Development \& Architecture Forum)}, year = {2004}, address = {M{\"u}nchen}, note = {Invited talk}, file = {audio:http\://rgse.uni-koblenz.de/jj/publications/audio/systems04.wav:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/papers/systems04.pdf:URL}, keywords = {conferences, secureSoftwareEngineeringModelBasedSecurityEngineering}, }
     BibTeX   audio   slides 
  • J. Jürjens: Playing the Devil's Advocate: Testing Real-Time Systems. In: Conference on Software Testing (ICSTEST-E 2004), Bilbao (Spain), 2004. Invited talk.
    @InProceedings{pdatrts04, author = {J.~{J}{\"u}{r}jens}, title = {Playing the Devil's Advocate: Testing Real-Time Systems}, booktitle = {Conference on Software Testing (ICSTEST-E 2004)}, year = {2004}, address = {Bilbao (Spain)}, note = {Invited talk}, file = {audio (spanish):http\://rgse.uni-koblenz.de/jj/publications/audio/icsteste04span.wav:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/papers/icstest04.pdf:URL}, keywords = {conferences, secureSoftwareEngineeringSecurityTesting}, }
     BibTeX   audio (spanish)   slides 
  • J. Jürjens: Model-based Security with UMLsec. In: UML Forum Tokyo, 2003. Invited talk.
    @InProceedings{mbsumlsec03, author = {J.~{J}{\"u}{r}jens}, title = {Model-based Security with {UMLsec}}, booktitle = {UML Forum Tokyo}, year = {2003}, note = {Invited talk}, file = {audio (japanese part 1/2):http\://rgse.uni-koblenz.de/jj/publications/audio/umlforum03jap1.wav:URL;audio (japanese part 2/2):http\://rgse.uni-koblenz.de/jj/publications/audio/umlforum03jap2.wav:URL;audio (english):http\://rgse.uni-koblenz.de/jj/publications/audio/umlforum03eng.wav:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/papers/UMLF03.pdf:URL}, keywords = {conferences, secureSoftwareEngineeringUMLsecProfile}, URL = {http://www.otij.org/event/umlforum/2003/conference/#sec02}, }
     BibTeX   URL   audio (japanese part 1/2)   audio (japanese part 2/2)   audio (english)   slides 
  • J. Jürjens: Critical Systems Development with UML. In: Forum on Design Languages (FDL 2002), Marseille, European Electronic Chips & Systems design Initiative (ECSI), 2002. Invited talk.
    @InProceedings{csduml02b, author = {J.~{J}{\"u}{r}jens}, title = {Critical Systems Development with {UML}}, booktitle = {Forum on Design Languages (FDL 2002)}, year = {2002}, address = {Marseille}, organization = {European Electronic Chips \& Systems design Initiative (ECSI)}, note = {Invited talk}, file = {audio:http\://rgse.uni-koblenz.de/jj/publications/audio/fdl02.wav:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/papers/fdl.pdf:URL}, keywords = {conferences, dependableSystems}, }
     BibTeX   audio   slides 

Workshops

  • J. Jürjens: Industrial Data Space: Infrastructure for Secure Data Exchange in a Commercial Context. In: EC Round Table: A legal regime fit for an efficient and fair access to and usage and exchange of data, 2016.
    @InProceedings{eu16, author = {J.~{J}{\"u}{r}jens}, title = {Industrial Data Space: Infrastructure for Secure Data Exchange in a Commercial Context}, booktitle = {EC Round Table: A legal regime fit for an efficient and fair access to and usage and exchange of data}, year = {2016}, keywords = {invitedTalk, invitedWorkshop, dataanalysis}, }
     BibTeX 
  • J. Jürjens: Industrial Data Space: Platform for the Standardisation of Data Exchange in a Smart Industry (Invited Talk). In: Industrial Technologies 2016, Workshop on Standardisation for Smart Industry, 2016.
    @InProceedings{it16ws, author = {J.~{J}{\"u}{r}jens}, title = {Industrial Data Space: Platform for the Standardisation of Data Exchange in a Smart Industry (Invited Talk)}, booktitle = {Industrial Technologies 2016, Workshop on Standardisation for Smart Industry}, year = {2016}, keywords = {invitedTalk, invitedWorkshop, dataanalysis}, }
     BibTeX 
  • J. Jürjens: Security Certification in the Presence of Evolution: Models vs. Code (Invited talk). In: Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops, Revised Selected Papers, LNCS, vol. 8938, pp. XIX-XX, 2015.
    @InProceedings{safome14J, author = {J.~{J}{\"u}{r}jens}, title = {Security Certification in the Presence of Evolution: Models vs. Code (Invited talk)}, booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops, Revised Selected Papers}, pages = {XIX--XX}, year = {2015}, volume = {8938}, series = {LNCS}, file = {slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/safome14.pdf:URL;audio:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/audio/safome14.wav:URL}, keywords = {invitedTalk, invitedWorkshop, softwareEvolution}, doi = {10.1007/978-3-319-15201-1}, }
     BibTeX   DOI   slides   audio 
  • J. Jürjens: Model-centric Security Verification subject to Evolution (Invited Talk) Eternals Workshop @ ESSOS'13, Paris 2013
    @Misc{eternals13J, author = {J.~{J}{\"u}{r}jens}, title = {Model-centric Security Verification subject to Evolution (Invited Talk)}, howpublished = {Eternals Workshop @ ESSOS'13, Paris}, year = {2013}, file = {slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/eternals13.pdf:URL;audio:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/audio/eternals13.WAV:URL}, keywords = {invitedTalk, invitedWorkshop, softwareEvolution}, }
     BibTeX   slides   audio 
  • J. Jürjens: Hot Topics in Model-based Security (Invited Panel Contribution) Eternals Workshop @ ESSOS'13, Paris 2013
    @Misc{eternals13Jpanel, author = {J.~{J}{\"u}{r}jens}, title = {Hot Topics in Model-based Security (Invited Panel Contribution)}, howpublished = {Eternals Workshop @ ESSOS'13, Paris}, year = {2013}, file = {slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/eternals13panel.pdf:URL}, keywords = {invitedTalk, invitedWorkshop, secureSoftwareEngineeringModelBasedSecurityEngineering}, }
     BibTeX   slides 
  • M. Aizatulin, F. Dupressoir, A. D. Gordon, J. Jürjens: Verifying Cryptographic Code in C: Some Experience and the Csec Challenge. In: 8th International Workshop on Formal Aspects of Security & Trust (FAST2011), pp. 1-20, 2011.
    @Conference{fast11ADGJ, author = {M.~Aizatulin and F.~Dupressoir and A. D.~Gordon and J.~{J}{\"u}{r}jens}, title = {Verifying Cryptographic Code in C: Some Experience and the Csec Challenge}, booktitle = {8th International Workshop on Formal Aspects of Security \& Trust (FAST2011)}, year = {2011}, pages = {1--20}, file = {preprint:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/fast11ADGJ.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL;SpringerLink:http://link.springer.com/chapter/10.1007/978-3-642-29420-4_1:URL}, keywords = {internationalConferences, secureSoftwareEngineeringCodeSecurityAnalysis, invitedWorkshop}, }
     BibTeX   preprint   dblp   SpringerLink 
  • S. Islam, H. Mouratidis, J. Jürjens: A Framework to Support Alignment of Secure Software Engineering with Legal Regulations. In: 8th International Workshop on Security in Information Systems (WOSIS 2011), 13th International Conference on Enterprise Information Systems (ICEIS 2011), Beijing, 2011.
    @InProceedings{iceis11IMJ, author = {S.~Islam and H.~Mouratidis and J.~{J}{\"u}{r}jens}, title = {A Framework to Support Alignment of Secure Software Engineering with Legal Regulations}, booktitle = {8th International Workshop on Security in Information Systems (WOSIS 2011), 13th International Conference on Enterprise Information Systems (ICEIS 2011)}, year = {2011}, address = {Beijing}, journal = {8th International Workshop on Security in Information Systems (WOSIS 2011), 13th International Conference on Enterprise Information Systems (ICEIS 2011)}, keywords = {workshop, invitedWorkshop, secureSoftwareEngineeringSecurityRequirementsEngineering, secureSoftwareEngineeringCompliance}, }
     BibTeX 
  • J. Jürjens: Model-based Security Engineering for Evolving Systems. In: Workshop on Security in Model Driven Architecture (SEC-MDA`09), Fifth European Conference on Model Driven Architecture Foundations and Applications (ECMDA 2009), University of Twente, 2009.
    @InProceedings{mbsees, author = {J.~{J}{\"u}{r}jens}, title = {Model-based Security Engineering for Evolving Systems}, booktitle = {Workshop on Security in Model Driven Architecture (SEC-MDA`09), Fifth European Conference on Model Driven Architecture Foundations and Applications (ECMDA 2009)}, year = {2009}, address = {University of Twente}, file = {slides:http\://rgse.uni-koblenz.de/jj/publications/papers/mdasec09.pdf:URL}, keywords = {workshop, invitedWorkshop, secureSoftwareEngineeringModelBasedSecurityEngineering, softwareEvolution}, }
     BibTeX   slides 
  • J. Jürjens: Model-based Security Engineering with UMLsec. In: Serenity Day: Establishing IT Security as a full engineering discipline, Brussels, 2009.
    @InProceedings{mbseumlsec09, author = {J.~{J}{\"u}{r}jens}, title = {Model-based Security Engineering with {UMLsec}}, booktitle = {Serenity Day: Establishing IT Security as a full engineering discipline}, year = {2009}, address = {Brussels}, keywords = {workshop, invitedWorkshop, secureSoftwareEngineeringModelBasedSecurityEngineering, secureSoftwareEngineeringUMLsecProfile}, }
     BibTeX 
  • J. Jürjens: Model-based Security Engineering: Run-time Assurance. In: Third International Workshop on Software Engineering for Secure Systems (SESS 2007 @ ICSE 2007), Minneapolis (MN) (USA), 2007.
    @InProceedings{sess07, author = {J.~{J}{\"u}{r}jens}, title = {Model-based Security Engineering: Run-time Assurance}, booktitle = {Third International Workshop on Software Engineering for Secure Systems (SESS 2007 @ ICSE 2007)}, year = {2007}, address = {Minneapolis (MN) (USA)}, file = {slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/sess07.pdf:URL}, keywords = {workshop, invitedWorkshop, secureSoftwareEngineeringModelBasedSecurityEngineering}, }
     BibTeX   slides 
  • J. Jürjens: UP and Security: Overview on UMLsec. In: Sobenet workshop: UP, XP and architecture, KU Leuven (Belgium), 2005.
    @InProceedings{sobenet05, author = {J.~{J}{\"u}{r}jens}, title = {UP and Security: Overview on {UMLsec}}, booktitle = {Sobenet workshop: UP, XP and architecture}, year = {2005}, address = {KU Leuven (Belgium)}, file = {slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/sobenet05hand.pdf:URL}, keywords = {workshop, invitedWorkshop, secureSoftwareEngineeringUMLsecProfile}, }
     BibTeX   slides 
  • J. Jürjens: Foundations for Designing Secure Architectures. In: First International Workshop on Views On Designing Complex Architectures (VODCA 2004), Bertinoro, pp. 31-46, 2006. Invited talk.
    @InProceedings{fdsa04, author = {J.~{J}{\"u}{r}jens}, title = {Foundations for Designing Secure Architectures}, booktitle = {First International Workshop on Views On Designing Complex Architectures (VODCA 2004)}, journal = {Electr. Notes Theor. Comput. Sci.}, volume = {142}, pages = {31--46}, year = {2006}, address = {Bertinoro}, note = {Invited talk}, DOI = {10.1016/j.entcs.2005.07.012}, file = {photo:http\://rgse.uni-koblenz.de/jj/pics/vodca04.jpg:URL;audio:http\://rgse.uni-koblenz.de/jj/publications/audio/vodca04.wav:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/papers/vodca04talk.pdf:URL;preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/vodca04.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, keywords = {workshop, invitedJournalPapers, invitedWorkshop, secureSoftwareEngineeringFoundationsOfSecurity}, }
     BibTeX   DOI   photo   audio   slides   preprint   dblp 
  • J. Jürjens: Security Modeling with UMLsec. In: Workshop regarding Security in Information Systems (SISBD2004), Málaga (Spain), 2004.
    @InProceedings{smumlsec04, author = {J.~{J}{\"u}{r}jens}, title = {Security Modeling with {UMLsec}}, booktitle = {Workshop regarding Security in Information Systems (SISBD2004)}, year = {2004}, address = {M\'{a}laga (Spain)}, file = {audio (part 1/2):http\://rgse.uni-koblenz.de/jj/publications/audio/sisbd04a.wav:URL;audio (part 2/2):http\://rgse.uni-koblenz.de/jj/publications/audio/sisbd04b.wav:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/papers/sisbd04-handout.pdf:URL}, keywords = {workshop, invitedWorkshop, secureSoftwareEngineeringUMLsecProfile}, }
     BibTeX   audio (part 1/2)   audio (part 2/2)   slides 
  • J. Jürjens: Secure Software Architecture Description using UML. In: Workshop on Software Architecture Description & UML (SADUML2004), Lisbon (Portugal), 2004. Invited talk.
    @InProceedings{ssad04, author = {J.~{J}{\"u}{r}jens}, title = {Secure Software Architecture Description using {UML}}, booktitle = {Workshop on Software Architecture Description \& UML (SADUML2004)}, year = {2004}, address = {Lisbon (Portugal)}, note = {Invited talk}, file = {slides:http\://rgse.uni-koblenz.de/jj/publications/papers/saduml04.pdf:URL}, keywords = {workshop, invitedWorkshop, secureSoftwareEngineeringModelBasedSecurityEngineering}, }
     BibTeX   slides 
  • J. Jürjens: Developing Safety- and Security-critical Systems with UML. In: DARP workshop, Loughborough, 2003. Invited talk.
    @InProceedings{dsscs03, author = {J.~{J}{\"u}{r}jens}, title = {Developing Safety- and Security-critical Systems with {UML}}, booktitle = {DARP workshop}, year = {2003}, address = {Loughborough}, note = {Invited talk}, file = {audio:http\://rgse.uni-koblenz.de/jj/publications/audio/darp03.wav:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/papers/darp03.pdf:URL}, keywords = {workshop, invitedWorkshop, secureSoftwareEngineeringModelBasedSecurityEngineering}, }
     BibTeX   audio   slides 
  • J. Jürjens: Secure Systems Development with UML - Applications to Telemedicine. In: CORAS Public Workshop, Regensburg, 2002. International Conference on Telemedicine (ICT 2002). Invited talk.
    @InProceedings{smunl02, author = {J.~{J}{\"u}{r}jens}, title = {Secure Systems Development with {UML} -- Applications to Telemedicine}, booktitle = {CORAS Public Workshop}, year = {2002}, address = {Regensburg}, note = {International Conference on Telemedicine (ICT 2002). Invited talk}, file = {audio:http\://rgse.uni-koblenz.de/jj/publications/audio/coras02.wav:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/papers/UMLsecTelemed.pdf:URL}, keywords = {workshop, invitedWorkshop, secureSoftwareEngineeringModelBasedSecurityEngineering}, }
     BibTeX   audio   slides 

Theses

  • J. Jürjens: Principles for Secure Systems Design Oxford University Computing Laboratory, 2002 (PhD-Thesis).
    @PhdThesis{Jur02, author = {J.~{J}{\"u}{r}jens}, title = {Principles for Secure Systems Design}, school = {Oxford University Computing Laboratory}, year = {2002}, type = {Thesis for Doctor in Philosophy in Computing Science}, address = {University of Oxford}, file = {thesis:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/Jur02.pdf:URL}, keywords = {thesis, secureSoftwareEngineeringGeneral}, }
     BibTeX   thesis 
  • J. Jürjens: Kleine Objekte in Kategorien von Algebren University of Bremen, 1998, Master Thesis.
    @MastersThesis{J98a, author = {J.~{J}{\"u}{r}jens}, title = {Kleine Objekte in Kategorien von Algebren}, school = {University of Bremen}, year = {1998}, type = {Master Thesis}, address = {Bremen (Germany)}, file = {paper (ps.gz):http\://rgse.uni-koblenz.de/jj/publications/papers/diplom.ps.gz:URL;paper (ps):http\://rgse.uni-koblenz.de/jj/publications/papers/diplom.ps:URL;paper (pdf):http\://rgse.uni-koblenz.de/jj/publications/papers/diplom.pdf;abstract (ps.gz):http\://rgse.uni-koblenz.de/jj/publications/papers/gamesrevd.ps.gz:URL;abstract (ps):http\://rgse.uni-koblenz.de/jj/publications/papers/DAbstract.ps:URL;abstract (pdf):http://rgse.uni-koblenz.de/jj/publications/papers/DAbstract.pdf:URL}, keywords = {thesis, mathematicalLogic}, }
     BibTeX   paper (ps.gz)   paper (ps)   abstract (ps.gz)   abstract (ps)   abstract (pdf)