Treffer 1 - 20 von 77 für Suche 'JENSEN, Christian Damsgaard', Suchdauer: 1,04s Treffer weiter einschränken
  1. 1
    Security and Trust Management: 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014, Proceedings

    Security and Trust Management: 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014, Proceedings von Mauw, Sjouke, Damsgaard Jensen, Christian

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    BlueWallet: The Secure Bitcoin Wallet

    BlueWallet: The Secure Bitcoin Wallet von Bamert, Tobias, Decker, Christian, Wattenhofer, Roger, Welten, Samuel


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    NoPhish: An Anti-Phishing Education App

    NoPhish: An Anti-Phishing Education App von Canova, Gamze, Volkamer, Melanie, Bergmann, Clemens, Borza, Roland


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    A Formal Model for Soft Enforcement: Influencing the Decision-Maker

    A Formal Model for Soft Enforcement: Influencing the Decision-Maker von Morisset, Charles, Yevseyeva, Iryna, Groß, Thomas, van Moorsel, Aad

    Veröffentlicht in Security and Trust Management

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Using Prediction Markets to Hedge Information Security Risks

    Using Prediction Markets to Hedge Information Security Risks von Pandey, Pankaj, Snekkenes, Einar Arthur

    Veröffentlicht in Security and Trust Management

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Integrating Trust and Economic Theories with Knowledge Science for Dependable Service Automation

    Integrating Trust and Economic Theories with Knowledge Science for Dependable Service Automation von Alagar, Vangalur, Wan, Kaiyu

    Veröffentlicht in Security and Trust Management

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA

    A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA von Santiago, Sonia, Escobar, Santiago, Meadows, Catherine, Meseguer, José


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Information and Communications Security: 22nd International Conference, ICICS 2020, Copenhagen, Denmark, August 24-26, 2020, Proceedings

    Information and Communications Security: 22nd International Conference, ICICS 2020, Copenhagen, Denmark, August 24-26, 2020, Proceedings von Meng, Weizhi, Gollmann, Dieter, Jensen, Christian D, Zhou, Jianying

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Privacy Architectures: Reasoning about Data Minimisation and Integrity

    Privacy Architectures: Reasoning about Data Minimisation and Integrity von Antignac, Thibaud, Le Métayer, Daniel


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Classification of Recommender Expertise in the Wikipedia Recommender System

    Classification of Recommender Expertise in the Wikipedia Recommender System von Jensen, Christian Damsgaard, Pilkauskas, Povilas, Lefévre, Thomas


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Efficient Java Code Generation of Security Protocols Specified in AnB/AnBx

    Efficient Java Code Generation of Security Protocols Specified in AnB/AnBx von Modesti, Paolo


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Stateful Usage Control for Android Mobile Devices

    Stateful Usage Control for Android Mobile Devices von Lazouski, Aliaksandr, Martinelli, Fabio, Mori, Paolo, Saracino, Andrea


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Lime: Data Lineage in the Malicious Environment

    Lime: Data Lineage in the Malicious Environment von Backes, Michael, Grimm, Niklas, Kate, Aniket


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Ensuring Secure Non-interference of Programs by Game Semantics

    Ensuring Secure Non-interference of Programs by Game Semantics von Dimovski, Aleksandar S.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Caching and Auditing in the RPPM Model

    Caching and Auditing in the RPPM Model von Crampton, Jason, Sellwood, James


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    ALPS: An Action Language for Policy Specification and Automated Safety Analysis

    ALPS: An Action Language for Policy Specification and Automated Safety Analysis von Ranise, Silvio, Traverso, Riccardo


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Monotonicity and Completeness in Attribute-Based Access Control

    Monotonicity and Completeness in Attribute-Based Access Control von Crampton, Jason, Morisset, Charles


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Evaluation of Key Management Schemes in Wireless Sensor Networks

    Evaluation of Key Management Schemes in Wireless Sensor Networks von Jurnečka, Filip, Stehlík, Martin, Matyáš, Vashek


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Hybrid Enforcement of Category-Based Access Control

    Hybrid Enforcement of Category-Based Access Control von Ali, Asad, Fernández, Maribel


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Trading privacy for trust

    Trading privacy for trust von SEIGNEUR, Jean-Marc, JENSEN, Christian Damsgaard


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: