Prof. Dr. Jan Jürjens - Veröffentlichungen

Einige neue Veröffentlichungen könnten noch nicht online stehen; bitte fragen Sie mich nach einer Kopie.

Meine Veröffentlichungsliste auf dem DBLP Bibliography Server.

Zitierungen bei Google Scholar.

Disclaimer

Veröffentlichungen (chronologisch)

Veröffentlichungen nach Thema

Veröffentlichungen nach Kategorie

Ausgewählte Veröffentlichungen

  • F. Dupressoir, A. D. Gordon, J. Jürjens, D. Naumann: Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols. In: Journal of Computer Security, vol. 22, no. 5, pp. 823-866, 2014. Special issue with best papers from the 24th IEEE Computer Security Foundations Symposium (CSF).
    @Article{DGJN14, author = {F.~Dupressoir and A. D.~Gordon and J.~J{\"u}rjens and D.~Naumann}, title = {Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols}, journal = {Journal of Computer Security}, volume = {22}, number = {5}, pages = {823--866}, year = {2014}, note = {Special issue with best papers from the 24th IEEE Computer Security Foundations Symposium (CSF)}, file = {preprint:http\://arxiv.org/abs/1312.6532:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, DOI = {10.3233/JCS-140508}, keywords = {selectedPub,modelbasedSecurityEngineering,secureSoftwareEngineeringCodeSecurityAnalysis}, }
     BibTeX   DOI   preprint   dblp 
  • S. Wenzel, D. Warzecha, J. Jürjens, M. Ochoa: UMLchange - Specifying Model Changes to Support Security Verification of Potential Evolution. In: Journal of Computer Standards & Interfaces, vol. 36, pp. 776-791, 2014. Special Issue on Security in Information Systems.
    @Article{CSI14wwjo, author = {S.~Wenzel and D.~Warzecha and J.~J{\"u}rjens and M.~Ochoa}, title = {{UMLchange} -- Specifying Model Changes to Support Security Verification of Potential Evolution}, journal = {Journal of Computer Standards \& Interfaces}, year = {2014}, volume = {36}, issue = {4}, pages = {776--791}, note = {Special Issue on Security in Information Systems.}, file = {preprint:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/csi14wwjo.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, DOI = {http://doi.org/10.1016/j.csi.2013.12.011}, keywords = {selectedPub,modelbasedSecurityEngineering,softwareEvolution, secvolution}, }
     BibTeX   DOI   preprint   dblp 
  • M. Aizatulin, A. D. Gordon, J. Jürjens: Computational Verification of C Protocol Implementations by Symbolic Execution. In: 19th ACM Conference on Computer and Communications Security (CCS 2012), ACM, pp. 712-723, 2012.
    @InProceedings{ccs12AGJ, author = {M.~Aizatulin and A. D.~Gordon and J.~J{\"u}rjens}, title = {Computational Verification of C Protocol Implementations by Symbolic Execution}, booktitle = {19th ACM Conference on Computer and Communications Security (CCS 2012)}, year = {2012}, pages = {712--723}, DOI = {http://doi.acm.org/10.1145/2382196.2382271}, publisher = {ACM}, file = {slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/ccs12AGJslides.pdf:URL;preprint:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/ccs12AGJ.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, keywords = {selectedPub,internationalConferences, secureSoftwareEngineeringCodeSecurityAnalysis,vorsecurestreams}, }
     BibTeX   DOI   slides   preprint   dblp 
  • A. Bauer, J. Jürjens, Y. Yu: Run-Time Security Traceability for Evolving Systems. In: The Computer Journal, vol. 54, no. 1, pp. 58-87, 2011.
    @Article{cj11BJY, author = {A.~Bauer and J.~{J}{\"u}{r}jens and Y.~Yu}, title = {Run-Time Security Traceability for Evolving Systems}, journal = {The Computer Journal}, year = {2011}, volume = {54}, pages = {58--87}, number = {1}, DOI = {http://doi.org/10.1093/comjnl/bxq042}, file = {preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/compjour10.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, keywords = {selectedPub,modelbasedSecurityEngineering,vorsecurestreams, softwareEvolution}, }
     BibTeX   DOI   preprint   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