Prof. Dr. Jan Jürjens - Veröffentlichungen nach Thema
Sichere Softwareentwicklung - Eingebettete Systeme absichern

Disclaimer

  • E. Fourneret, M. Ochoa, F. Bouquet, J. Botella, J. Jürjens, P. Yousefi: Model-Based Security Verification and Testing for Smart-cards. In: Sixth International Conference on Availability, Reliability and Security (AReS 2011), Vienna, pp. 272-279, 2011.
    @InProceedings{ares11FOBBJY, author = {E.~Fourneret and M.~Ochoa and F.~Bouquet and J.~Botella and J.~{J}{\"u}{r}jens and P.~Yousefi}, title = {Model-Based Security Verification and Testing for Smart-cards}, booktitle = {Sixth International Conference on Availability, Reliability and Security (AReS 2011)}, year = {2011}, pages = {272--279}, address = {Vienna}, DOI = {10.1109/ARES.2011.46}, file = {preprint:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/ares11FOBBJY.pdf:URL;slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/ares11FOBBJYtalk.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, keywords = {internationalConferences, secureSoftwareEngineeringSecurityTesting, secureSoftwareEngineeringSecureEmbeddedSystems}, URL = {http://www.ares-conference.eu/}, }
     BibTeX   DOI   URL   preprint   slides   dblp 
  • J. Jürjens: Developing Secure Embedded Systems: Pitfalls and How to Avoid Them. In: 29th International Conference on Software Engineering (ICSE 2007), pp. 182-183, ACM, 2007.
    @InProceedings{dses07, author = {J.~{J}{\"u}{r}jens}, title = {Developing Secure Embedded Systems: Pitfalls and How to Avoid Them}, booktitle = {29th International Conference on Software Engineering (ICSE 2007)}, year = {2007}, pages = {182--183}, organization = {ACM}, crossref = {DBLP:conf/icse/2007c}, DOI = {http://doi.ieeecomputersociety.org/10.1109/ICSECOMPANION.2007.30}, file = {slides:http\://rgse.uni-koblenz.de/jj/csdumltut/tutorials.html:URL;preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/icse07tut.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, keywords = {internationalConferences, secureSoftwareEngineeringSecureEmbeddedSystems, atScientificConferences}, }
     BibTeX   DOI   slides   preprint   dblp 
  • J. Jürjens: Security Software Engineering and Embedded Systems. In: Infineon, Munich (Germany), 2004.
    @InProceedings{ssees04, author = {J.~{J}{\"u}{r}jens}, title = {Security Software Engineering and Embedded Systems}, booktitle = {Infineon}, year = {2004}, address = {Munich (Germany)}, file = {audio 2/2:http\://rgse.uni-koblenz.de/jj/csdumltut/audio/infineon04b.wav:URL;audio 1/2:http\://rgse.uni-koblenz.de/jj/csdumltut/audio/infineon04a.wav:URL;slides:http\://rgse.uni-koblenz.de/jj/csdumltut/tutorials/infineon04handout.pdf:URL}, keywords = {withIndustry, tutorial, secureSoftwareEngineeringSecureEmbeddedSystems}, }
     BibTeX   audio 2/2   audio 1/2   slides 
  • J. Jürjens, G. Wimmel: Formally Testing Fail-safety of Electronic Purse Protocols. In: 16th International Conference on Automated Software Engineering (ASE 2001), IEEE, pp. 408-411, 2001.
    @InProceedings{ase01JW, author = {J.~{J}{\"u}{r}jens and G. Wimmel}, title = {Formally Testing Fail-safety of Electronic Purse Protocols}, booktitle = {16th International Conference on Automated Software Engineering (ASE 2001)}, year = {2001}, pages = {408--411}, publisher = {IEEE}, file = {slides:http\://rgse.uni-koblenz.de/jj/publications/papers/ase01sli.ps:URL;preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/ase01.ps:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, keywords = {internationalConferences, secureSoftwareEngineeringSecurityTesting, secureSoftwareEngineeringSecureEmbeddedSystems}, }
     BibTeX   slides   preprint   dblp 
  • J. Jürjens: Modelling audit security for smart-card payment schemes with UMLsec. In: 16th International Conference on Information Security (IFIPSEC''01), Kluwer, pp. 93-108, IFIP, 2001.
    @InProceedings{ifipsec01J, author = {J.~{J}{\"u}{r}jens}, title = {Modelling audit security for smart-card payment schemes with {UMLsec}}, booktitle = {16th International Conference on Information Security (IFIPSEC''01)}, year = {2001}, pages = {93--108}, organization = {IFIP}, publisher = {Kluwer}, file = {audio 3/3:http\://rgse.uni-koblenz.de/jj/publications/audio/ifipsec02ii.wav:URL;audio 2/3:http\://rgse.uni-koblenz.de/jj/publications/audio/ifipsec02ib.wav:URL;audio 1/3:http\://rgse.uni-koblenz.de/jj/publications/audio/ifipsec02ia.wav:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/papers/iftalk.pdf:URL;paper (pdf):http\://rgse.uni-koblenz.de/jj/publications/papers/ifipsec01final.pdf:URL;paper (ps):http\://rgse.uni-koblenz.de/jj/publications/papers/ifipsec01final.ps:URL;SpringerLink:http://link.springer.com/chapter/10.1007/0-306-46998-7_7:URL}, keywords = {internationalConferences, secureSoftwareEngineeringModelBasedSecurityEngineering, secureSoftwareEngineeringSecureEmbeddedSystems}, }
     BibTeX   audio 3/3   audio 2/3   audio 1/3   slides   paper (pdf)   paper (ps)   SpringerLink 
  • J. Jürjens, G. Wimmel: Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications. In: First IFIP Conference on e-Commerce, e-Business, and e-Government (I3E), Kluwer, pp. 489-505, 2001.
    @InProceedings{i3eJW01, author = {J.~{J}{\"u}{r}jens and G. Wimmel}, title = {Security Modelling for Electronic Commerce: The {Common Electronic Purse Specifications}}, booktitle = {First IFIP Conference on e-Commerce, e-Business, and e-Government (I3E)}, year = {2001}, pages = {489--505}, publisher = {Kluwer}, file = {slides:http\://rgse.uni-koblenz.de/jj/publications/papers/i3esli.ps:URL;preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/JW01_I3E.ps:URL;SpringerLink:http://link.springer.com/chapter/10.1007/0-306-47009-8_36:URL}, keywords = {internationalConferences, secureSoftwareEngineeringModelBasedSecurityEngineering, secureSoftwareEngineeringSecureEmbeddedSystems}, }
     BibTeX   slides   preprint   SpringerLink