Prof. Dr. Jan Jürjens - Veröffentlichungen nach Thema
Sichere Softwareentwicklung - Grundlagen der Sicherheit

Disclaimer

  • 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 
  • M. Abadi, J. Jürjens: Formal Eavesdropping and its Computational Interpretation. In: N. Kobayashi, B. C.Pierce (editors): Theoretical Aspects of Computer Software (4th International Symposium, TACS 2001), Springer Verlag, Lecture Notes in Computer Science, vol. 2215, pp. 82-94, 2001.
    @InProceedings{feci01, author = {M.~Abadi and J.~{J}{\"u}{r}jens}, title = {Formal Eavesdropping and its Computational Interpretation}, booktitle = {Theoretical Aspects of Computer Software (4th International Symposium, TACS 2001)}, year = {2001}, editor = {N. Kobayashi and {B. C.} Pierce}, volume = {2215}, series = {Lecture Notes in Computer Science}, pages = {82--94}, publisher = {Springer Verlag}, DOI = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.1076}, file = {extended version:http\://rgse.uni-koblenz.de/jj/publications/papers/lambdaweb.pdf:URL;(older) slides:http\://rgse.uni-koblenz.de/jj/publications/papers/dagstuhl.ps:URL;paper (pdf):http\://rgse.uni-koblenz.de/jj/publications/papers/lambda.pdf:URL;paper (ps):http\://rgse.uni-koblenz.de/jj/publications/papers/lambda.ps:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL;SpringerLink:http://link.springer.com/chapter/10.1007/3-540-45500-0_4:URL}, keywords = {internationalConferences, secureSoftwareEngineeringFoundationsOfSecurity}, }
     BibTeX   DOI   extended version   (older) slides   paper (pdf)   paper (ps)   dblp   SpringerLink 
  • J. Jürjens: Secrecy-preserving Refinement. In: J. Fiadeiro, P. Zave (editors): International Symposium on Formal Methods Europe (FME), Springer Verlag, Berlin Heidelberg New York, Lecture Notes in Computer Science, vol. 2021, pp. 135-152, 2001.
    @InProceedings{spr01, author = {J.~{J}{\"u}{r}jens}, title = {Secrecy-preserving Refinement}, booktitle = {International Symposium on Formal Methods Europe (FME)}, year = {2001}, editor = {J. Fiadeiro and P. Zave}, volume = {2021}, series = {Lecture Notes in Computer Science}, pages = {135--152}, address = {Berlin Heidelberg New York}, publisher = {Springer Verlag}, DOI = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.28.11}, file = {slides:http\://rgse.uni-koblenz.de/jj/publications/papers/J00kSli.pdf:URL;paper (ps):http\://rgse.uni-koblenz.de/jj/publications/papers/J00kWeb.ps:URL;paper (pdf):http\://rgse.uni-koblenz.de/jj/publications/papers/J00kWeb.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL;SpringerLink:http://link.springer.com/chapter/10.1007/3-540-45251-6_8:URL}, keywords = {internationalConferences, secureSoftwareEngineeringFoundationsOfSecurity}, summary = {Presents secrecy property preserved under refinement; uncovers flaw in variant of security protocol TLS.}, }
     BibTeX   DOI   slides   paper (ps)   paper (pdf)   dblp   SpringerLink 
  • M. Abadi, J. Jürjens: Bridging the gap: Formal vs. complexity-theoretical reasoning about cryptography. In: Security through Analysis and Verification, Dagstuhl, 2000.
    @InProceedings{AbaJur00a, author = {M.~Abadi and J.~{J}{\"u}{r}jens}, title = {Bridging the gap: Formal vs.\ complexity-theoretical reasoning about cryptography}, booktitle = {Security through Analysis and Verification}, year = {2000}, address = {Dagstuhl}, keywords = {workshop,industrialConferences, secureSoftwareEngineeringFoundationsOfSecurity}, }
     BibTeX 
  • J. Jürjens: Secure Information Flow for Concurrent Processes. In: 11th International Conference on Concurrency Theory (CONCUR 2000), Springer Verlag, Lecture Notes in Computer Science, vol. 1877, pp. 395-409, 2000.
    @InProceedings{concur00J, author = {J.~{J}{\"u}{r}jens}, title = {Secure Information Flow for Concurrent Processes}, booktitle = {11th International Conference on Concurrency Theory (CONCUR 2000)}, year = {2000}, volume = {1877}, series = {Lecture Notes in Computer Science}, pages = {395--409}, publisher = {Springer Verlag}, file = {slides:http\://rgse.uni-koblenz.de/jj/publications/papers/J00eSli.ps:URL;paper (pdf):http\://rgse.uni-koblenz.de/jj/publications/papers/J00eWeb.pdf:URL;paper (ps.gz):http\://rgse.uni-koblenz.de/jj/publications/papers/J00eWeb.ps.gz:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL;SpringerLink:http://link.springer.com/chapter/10.1007/3-540-44618-4_29:URL}, keywords = {internationalConferences, secureSoftwareEngineeringFoundationsOfSecurity}, }
     BibTeX   slides   paper (pdf)   paper (ps.gz)   dblp   SpringerLink