Zum Inhalt springen

  1. Barthe, Gilles [Herausgeber:in] ; ESOP 20 2011 Saarbrücken, ETAPS 14 2011 Saarbrücken

    Programming languages and systems : 20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 ; proceedings

    Bücher
    Online ansehen
    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, 2011

    Erschienen in: Lecture notes in computer science ; 6602

  2. Melicher, Darya [Verfasser:in]; Shi, Yangqingwei [Verfasser:in]; Potanin, Alex [Verfasser:in]; Aldrich, Jonathan [Verfasser:in] ; Darya Melicher and Yangqingwei Shi and Alex Potanin and Jonathan Aldrich [Mitwirkende:r]

    A Capability-Based Module System for Authority Control

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017

  3. Melicher, Darya [Verfasser:in]; Shi, Yangqingwei [Verfasser:in]; Potanin, Alex [Verfasser:in]; Aldrich, Jonathan [Verfasser:in] ; Darya Melicher and Yangqingwei Shi and Alex Potanin and Jonathan Aldrich [Mitwirkende:r]

    A Capability-Based Module System for Authority Control (Artifact)

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017

  4. Cachin, Christian [Verfasser:in]; Freiling, Felix C. [Verfasser:in]; Hoepman, Jaap-Henk [Verfasser:in] ; Christian Cachin and Felix C. Freiling and Jaap-Henk Hoepman [Mitwirkende:r]

    06371 Abstracts Collection – From Security to Dependability

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2007

  5. Cachin, Christian [Verfasser:in]; Freiling, Felix C. [Verfasser:in]; Hoepman, Jaap-Henk [Verfasser:in] ; Christian Cachin and Felix C. Freiling and Jaap-Henk Hoepman [Mitwirkende:r]

    06371 Executive Summary – From Security to Dependability

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2007

  6. Küsters, Ralf [Verfasser:in]; Truderung, Tomasz [Verfasser:in]; Beckert, Bernhard [Verfasser:in]; Bruns, Daniel [Verfasser:in]; Kirsten, Michael [Verfasser:in]; Mohr, Martin [Verfasser:in]

    A Hybrid Approach for Proving Noninterference of Java Programs

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    KITopen (Karlsruhe Institute of Technologie), 2020-11-17

  7. Backes, Michael [Verfasser:in]; Maffei, Matteo [Verfasser:in]; Unruh, Dominique [Verfasser:in] ; Michael Backes and Matteo Maffei and Dominique Unruh [Mitwirkende:r]

    Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008

  8. Scheibelhofer, Elisabeth [Verfasser:in]; Holzinger, Clara [Verfasser:in]; Draxl, Anna-Katharina [Verfasser:in]

    Linguistic Diversity as a Challenge for Street-Level Bureaucrats in a Monolingually-Oriented Organisation

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    2021

    Erschienen in: Social Inclusion ; 9(2021), 1, Seite 24-34

  9. Aura, Tuomas [Verfasser:in] ; Järvinen, Kimmo [Sonstige Person, Familie und Körperschaft]; Nyberg, Kaisa [Sonstige Person, Familie und Körperschaft]

    Information Security Technology for Applications : 15th Nordic Conference on Secure IT Systems, NordSec 2010, Espoo, Finland, October 27-29, 2010, Revised Selected Papers

    Bücher
    Online ansehen
    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 ; 7127

  10. Becker, Georg T. [Verfasser:in]; Kasper, Markus [Verfasser:in]; Moradi, Amir [Verfasser:in]; Paar, Christof [Verfasser:in]

    Side-channel based watermarks for integrated circuits

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    2010-01-01

    Erschienen in: Proceedings of the 2010 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST) : 13-14 June 2010, Anaheim Convention Center, California, USA

  11. Bertino, Elisa [Verfasser:in] ; Association for Computing Machinery-Digital Library, ACM Special Interest Group on Security, Audit, and Control

    Proceedings of the Third ACM Workshop on Attribute-Based Access Control

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    New York, NY: ACM, 2018

    Erschienen in: ACM Digital Library- ACM Conferences

  12. Barthe, Gilles [Verfasser:in]

    Programming Languages and Systems : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

    Bücher
    Online ansehen
    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, 2011

    Erschienen in: Lecture notes in computer science ; 6602

  13. ISO/IEC JTC 1/SC 27 IT Sicherheitsverfahren, ISO/IEC JTC 1/SC 27 IT Security techniques, ISO/CEI JTC 1/SC 27 Techniques de sécurité des technologies de l'information, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation, IEC Internationale Elektrotechnische Kommission, IEC International Electrotechnical Commission, CEI Commission Electrotechnique Internationale

    ISO/IEC TR 27563 : Security and privacy in artificial intelligence use cases - Best practices - [2023-05-00]

    Normen
    Online ansehen
    Schließen

    Merkliste

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

    Geneve: International Organization for Standardization, 2023

    Erschienen in: ISO-Regelwerk- ISO-Normen