Showing 1 - 8 results of 8 for search 'Mauw, Sjouke', query time: 0.03s Refine Results
  1. 1
    Operational Semantics and Verification of Security Protocols
    by Cremers, Cas, Mauw, Sjouke
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Security and Trust Management 15th International Workshop, STM 2019, Luxembourg City, Luxembourg, September 26-27, 2019, Proceedings /
    Published 2019
    Other Authors: “…Mauw, Sjouke…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Security and Trust Management 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014. Proceedings /
    Published 2014
    Other Authors: “…Mauw, Sjouke…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    CONCUR'99. Concurrency Theory 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings /
    Published 1999
    Other Authors: “…Mauw, Sjouke…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Graphical Models for Security 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers /
    Published 2018
    Other Authors: “…Mauw, Sjouke…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Graphical Models for Security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers /
    Published 2016
    Other Authors: “…Mauw, Sjouke…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Public Key Infrastructure 5th European PKI Workshop: Theory and Practice, EuroPKI 2008 Trondheim, Norway, June 16-17, 2008 Proceedings /
    Published 2008
    Other Authors: “…Mauw, Sjouke…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Trust Management X 10th IFIP WG 11.11 International Conference, IFIPTM 2016, Darmstadt, Germany, July 18-22, 2016, Proceedings /
    Published 2016
    Other Authors: “…Mauw, Sjouke…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search