Zum Inhalt springen

  1. Degano, Pierpaolo [HerausgeberIn]; Guttman, Joshua D. [Sonstige Person, Familie und Körperschaft] ; FAST 6 2009 Eindhoven

    Formal aspects in security and trust : 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5 - 6, 2009 ; revised selected papers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2010

    Erschienen in: Lecture notes in computer science ; 5983

  2. Degano, Pierpaolo [VerfasserIn] ; Guttman, Joshua D. [Sonstige Person, Familie und Körperschaft]

    Principles of Security and Trust : First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2012

    Erschienen in: Lecture notes in computer science ; 7215

  3. Degano, Pierpaolo [VerfasserIn] ; Guttman, Joshua D. [Sonstige Person, Familie und Körperschaft]

    Formal Aspects in Security and Trust : 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

    Erschienen in: Lecture notes in computer science ; 5983

  5. Guttman, Joshua D. [HerausgeberIn]; Landwehr, Carl E. [HerausgeberIn]; Meseguer, José [HerausgeberIn]; Pavlovic, Dusko [HerausgeberIn]

    Foundations of Security, Protocols, and Equational Reasoning : Essays Dedicated to Catherine A. Meadows

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, 2019

    Erschienen in: Security and Cryptology ; 11565- Springer eBooks ; Computer Science

  7. Guttman, Joshua D.

    Programming Languages with Applications to Biology and Security: Limited Disclosure and Locality in Graphs

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2015

    Erschienen in: Programming Languages with Applications to Biology and Security

  13. Guttman, Joshua D.

    Foundations of Software Science and Computational Structures: Cryptographic Protocol Composition via the Authentication Tests

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2009

    Erschienen in: Foundations of Software Science and Computational Structures

  14. Guttman, Joshua D.

    Introduction

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    IOS Press, 2009

    Erschienen in: Journal of Computer Security