Skip to contents

  2. Barthe, Gilles [Editor] ; 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

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: Lecture notes in computer science ; 6602

  3. Melicher, Darya [Author]; Shi, Yangqingwei [Author]; Potanin, Alex [Author]; Aldrich, Jonathan [Author] ; Darya Melicher and Yangqingwei Shi and Alex Potanin and Jonathan Aldrich [Contributor]

    A Capability-Based Module System for Authority Control

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

  8. Küsters, Ralf [Author]; Truderung, Tomasz [Author]; Beckert, Bernhard [Author]; Bruns, Daniel [Author]; Kirsten, Michael [Author]; Mohr, Martin [Author]

    A Hybrid Approach for Proving Noninterference of Java Programs

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

  11. Scheibelhofer, Elisabeth [Author]; Holzinger, Clara [Author]; Draxl, Anna-Katharina [Author]

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

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2021

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

  13. Aura, Tuomas [Author] ; Järvinen, Kimmo [Other]; Nyberg, Kaisa [Other]

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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2012

    Published in: Lecture notes in computer science ; 7127

  17. Becker, Georg T. [Author]; Kasper, Markus [Author]; Moradi, Amir [Author]; Paar, Christof [Author]

    Side-channel based watermarks for integrated circuits

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2010-01-01

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

  18. Bertino, Elisa [Author] ; 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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    New York, NY: ACM, 2018

    Published in: ACM Digital Library- ACM Conferences

  19. Tijms, Arjan [Author]; Bais, Teo [Author]; Keil, Werner [Author]

    The definitive guide to security in Jakarta EE : securing Java-based enterprise applications with Jakarta security, authorization, authentication and more - [First edition.]

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    New York, NY: Apress, 2022