Treffer 1 – 10 von 10 für Suche 'Mauw, Sjouke', Suchdauer: 0,06s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Operational Semantics and Verification of Security Protocols

    Operational Semantics and Verification of Security Protocols von Cremers, Cas 1974-, Mauw, Sjouke

    Veröffentlicht 2012
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Operational semantics and verification of security protocols

    Operational semantics and verification of security protocols von Cremers, Cas 1974-, Mauw, Sjouke

    Veröffentlicht 2012
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Security and trust management 15th International Workshop, STM 2019, Luxembourg City, Luxembourg, September 26–27, 2019, Proceedings

    Security and trust management 15th International Workshop, STM 2019, Luxembourg City, Luxembourg, September 26–27, 2019, Proceedings

    Veröffentlicht 2019
    Weitere Verfasser: “… Mauw, Sjouke …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Graphical models for security 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017 : revised selected papers

    Graphical models for security 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017 : revised selected papers

    Veröffentlicht 2018
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    Security and trust management 10th International Workshop, STM 2014, Wrocław, Poland, September 10 - 11, 2014 ; proceedings

    Security and trust management 10th International Workshop, STM 2014, Wrocław, Poland, September 10 - 11, 2014 ; proceedings

    Veröffentlicht 2014
    Weitere Verfasser: “… Mauw, Sjouke …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Graphical models for security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015 : revised selected papers

    Graphical models for security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015 : revised selected papers

    Veröffentlicht 2016
    Weitere Verfasser: “… Mauw, Sjouke …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Security and trust management 15th international workshop, STM 2019, Luxembourg City, Luxembourg, September 26-27, 2019 : proceedings

    Security and trust management 15th international workshop, STM 2019, Luxembourg City, Luxembourg, September 26-27, 2019 : proceedings

    Veröffentlicht 2019
    Weitere Verfasser: “… Mauw, Sjouke …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Graphical models for security second international workshop, GraMSec 2015, Verona, Italy, July 13, 2015 : revised selected papers

    Graphical models for security second international workshop, GraMSec 2015, Verona, Italy, July 13, 2015 : revised selected papers

    Veröffentlicht 2016
    Weitere Verfasser: “… Mauw, Sjouke …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Security and trust management 10th International Workshop, STM 2014, Wrocław, Poland, September 10 - 11, 2014 ; proceedings

    Security and trust management 10th International Workshop, STM 2014, Wrocław, Poland, September 10 - 11, 2014 ; proceedings

    Veröffentlicht 2014
    Weitere Verfasser: “… Mauw, Sjouke …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Trust Management X 10th IFIP WG 11.11 International Conference, IFIPTM 2016, Darmstadt, Germany, July 18-22, 2016 : proceedings

    Trust Management X 10th IFIP WG 11.11 International Conference, IFIPTM 2016, Darmstadt, Germany, July 18-22, 2016 : proceedings

    Veröffentlicht 2016
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: