Zum Inhalt springen

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

  3. Melicher, Darya [VerfasserIn]; Shi, Yangqingwei [VerfasserIn]; Potanin, Alex [VerfasserIn]; Aldrich, Jonathan [VerfasserIn] ; Darya Melicher and Yangqingwei Shi and Alex Potanin and Jonathan Aldrich [MitwirkendeR]

    A Capability-Based Module System for Authority Control

    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.

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

  4. Melicher, Darya [VerfasserIn]; Shi, Yangqingwei [VerfasserIn]; Potanin, Alex [VerfasserIn]; Aldrich, Jonathan [VerfasserIn] ; Darya Melicher and Yangqingwei Shi and Alex Potanin and Jonathan Aldrich [MitwirkendeR]

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

    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.

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

  5. Sudbrock, Henning [VerfasserIn] ; Mantel, Heiko [AkademischeR BetreuerIn]; Schmitt, Peter H. [AkademischeR BetreuerIn]

    Compositional and Scheduler-Independent Information Flow Security

    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.

    Darmstadt: Universitäts- und Landesbibliothek Darmstadt, 2013

  6. Cachin, Christian [VerfasserIn]; Freiling, Felix C. [VerfasserIn]; Hoepman, Jaap-Henk [VerfasserIn] ; Christian Cachin and Felix C. Freiling and Jaap-Henk Hoepman [MitwirkendeR]

    06371 Abstracts Collection – From Security to Dependability

    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.

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

  7. Cachin, Christian [VerfasserIn]; Freiling, Felix C. [VerfasserIn]; Hoepman, Jaap-Henk [VerfasserIn] ; Christian Cachin and Felix C. Freiling and Jaap-Henk Hoepman [MitwirkendeR]

    06371 Executive Summary – From Security to Dependability

    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.

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

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

    A Hybrid Approach for Proving Noninterference of Java Programs

    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.

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

  9. Wasserrab, Daniel [VerfasserIn] ; Snelting, G. [MitwirkendeR]

    From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security

    Hochschulschriften
    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.

    KIT Scientific Publishing, Karlsruhe, 2011-01-01

  10. Backes, Michael [VerfasserIn]; Maffei, Matteo [VerfasserIn]; Unruh, Dominique [VerfasserIn] ; Michael Backes and Matteo Maffei and Dominique Unruh [MitwirkendeR]

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

    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.

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

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

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

    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.

    2021

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

  13. Aura, Tuomas [VerfasserIn] ; 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
    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

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

    Side-channel based watermarks for integrated circuits

    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.

    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

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

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

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

    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.

    New York, NY: Apress, 2022

  20. Adari, Suman Kalyan [VerfasserIn]; Alla, Sridhar [VerfasserIn]

    Beginning anomaly detection using Python-based deep learning : implement anomaly detection applications with Keras and PyTorch - [Second edition.]

    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.

    New York, NY: Apress, [2024]