Prof. Dr. Jan Jürjens - Publications by topic
Secure Software Engineering - Security Monitoring

Disclaimer

  • A. Pironti, J. Jürjens: Formally-Based Black-Box Monitoring of Security Protocols. In: International Symposium on Engineering Secure Software and Systems (ESSOS 2010), Springer Verlag, Lecture Notes in Computer Science, vol. 5965, pp. 79-95, 2010.
    @InProceedings{fbbbmsp10, author = {A.~Pironti and J.~{J}{\"u}{r}jens}, title = {Formally-Based Black-Box Monitoring of Security Protocols}, booktitle = {International Symposium on Engineering Secure Software and Systems (ESSOS 2010)}, year = {2010}, series = {Lecture Notes in Computer Science}, pages = {79--95}, volume = {5965}, publisher = {Springer Verlag}, crossref = {DBLP:conf/essos/2010}, file = {preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/paper_4.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-11747-3_7:URL}, keywords = {internationalConferences, secureSoftwareEngineeringSecurityMonitoring,vorsecurestreams}, }
     BibTeX   preprint   dblp   SpringerLink 
  • J. Jürjens: Model-based Run-time Checking of Security Permissions using Guarded Objects. In: Runtime-Verification 2008 (RV`08 @ ETAPS 2008), Springer Verlag, Lecture Notes in Computer Science, vol. 5289, pp. 36-50, 2008.
    @InProceedings{mbrtc08, author = {J.~{J}{\"u}{r}jens}, title = {Model-based Run-time Checking of Security Permissions using Guarded Objects}, booktitle = {Runtime-Verification 2008 (RV`08 @ ETAPS 2008)}, year = {2008}, volume = {5289}, series = {Lecture Notes in Computer Science}, pages = {36--50}, publisher = {Springer Verlag}, crossref = {DBLP:conf/rv/2008}, DOI = {http://doi.org/10.1007/978-3-540-89247-2_3}, file = {slides:http\://rgse.uni-koblenz.de/jj/publications/papers/rv08talk.pdf:URL;preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/rv08.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-540-89247-2_3:URL}, keywords = {internationalConferences, secureSoftwareEngineeringSecurityMonitoring}, }
     BibTeX   DOI   slides   preprint   dblp   SpringerLink 
  • A. Bauer, J. Jürjens: Security protocols, properties, and their monitoring. In: The 4th International Workshop on Software Engineering for Secure Systems (SESS'08 @ ICSE 2008), pp. 33-40, 2008.
    @InProceedings{sppm08, author = {A.~Bauer and J.~{J}{\"u}{r}jens}, title = {Security protocols, properties, and their monitoring}, booktitle = {The 4th International Workshop on Software Engineering for Secure Systems (SESS'08 @ ICSE 2008)}, year = {2008}, pages = {33--40}, crossref = {DBLP:conf/icse/2008sess}, DOI = {http://doi.acm.org/10.1145/1370905.1370910}, file = {photo:http\://picasaweb.google.com/lh/photo/ZisnJn8FQ6JYkqwiHs5svA:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/papers/sess08talk.pdf:URL;preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/sess007-bauer.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, keywords = {workshop, industrialConferences, secureSoftwareEngineeringSecurityMonitoring}, }
     BibTeX   DOI   photo   slides   preprint   dblp