Treffer 1 - 20 von 25 für Suche 'Buchholtz, Mikael', Suchdauer: 0,86s Treffer weiter einschränken
  1. 1
    Static validation of security protocols

    Static validation of security protocols von Bodei, Chiara, Buchholtz, Mikael, Degano, Pierpaolo, Nielson, Flemming, Nielson, Hanne Riis

    Veröffentlicht in Journal of computer security

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Automated Analysis of Infinite Scenarios

    Automated Analysis of Infinite Scenarios von Buchholtz, Mikael


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Security for mobility

    Security for mobility von NIELSON, Hanne Riis, NIELSON, Flemming, BUCHHOLTZ, Mikael


    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    PLATFORM SECURITY

    PLATFORM SECURITY von BUCHHOLTZ, Mikael, MANTYLA, Janne Sakari, SAVELA, Markku, KYLANPAA, Markku

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  5. 5
    End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform

    End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform von Buchholtz, Mikael, Gilmore, Stephen, Haenel, Valentin, Montangero, Carlo


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    PLATFORM SECURITY

    PLATFORM SECURITY von BUCHHOLTZ, Mikael, SAVELA, Markku, MANTYLA, Janne, Sakari, KYLANPAA, Markku

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  7. 7
    For-LySa: UML for Authentication Analysis

    For-LySa: UML for Authentication Analysis von Buchholtz, Mikael, Montangero, Carlo, Perrone, Lara, Semprini, Simone


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Security for Mobility

    Security for Mobility von Nielson, Hanne Riis, Nielson, Flemming, Buchholtz, Mikael


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    MEMORY ACCESS CONTROL

    MEMORY ACCESS CONTROL von VAINIO, Juha Johannes, BUCHHOLTZ, Mikael, TAKALA, Janne

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  10. 10
    A calculus for control flow analysis of security protocols

    A calculus for control flow analysis of security protocols von Buchholtz, Mikael, Riis Nielson, Hanne, Nielson, Flemming


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    The Succinct Solver Suite

    The Succinct Solver Suite von Nielson, Flemming, Nielson, Hanne Riis, Sun, Hongyan, Buchholtz, Mikael, Hansen, René Rydhof, Pilegaard, Henrik, Seidl, Helmut


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Memory access control

    Memory access control von Takala Janne, Buchholtz Mikael, Vainio Juha Johannes

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  13. 13
    On Evaluating the Performance of Security Protocols

    On Evaluating the Performance of Security Protocols von Bodei, Chiara, Buchholtz, Mikael, Curti, Michele, Degano, Pierpaolo, Nielson, Flemming, Nielson, Hanne Riis, Priami, Corrado


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    PLATFORM SECURITY

    PLATFORM SECURITY von MANTYLA, JANNE, SAKARI, BUCHHOLTZ, MIKAEL, SAVELA, MARKKU, KYLANPAA, MARKKU

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Method and device for control of resource access

    Method and device for control of resource access von BUCHHOLTZ MIKAEL, KYLANPAA MARKKU, SAVELA MARKKU, MANTYLA JANNE SAKARI

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Securing Statically-verified Communications Protocols Against Timing Attacks

    Securing Statically-verified Communications Protocols Against Timing Attacks von Buchholtz, Mikael, Gilmore, Stephen, Hillston, Jane, Nielson, Flemming


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    MEMORY ACCESS CONTROL

    MEMORY ACCESS CONTROL von BUCHHOLTZ MIKAEL, TAKALA JANNE, VAINIO JUHA JOHANNES

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  18. 18
    MEMORY ACCESS CONTROL

    MEMORY ACCESS CONTROL von VAINIO, JUHA JOHANNES, BUCHHOLTZ, MIKAEL, TAKALA, JANNE

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Towards a Process Algebra for Shared Processors

    Towards a Process Algebra for Shared Processors von Buchholtz, Mikael, Andersen, Jacob, Løvengreen, Hans Henrik


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    MEMORY ACCESS CONTROL

    MEMORY ACCESS CONTROL von VAINIO, JUHA JOHANNES, BUCHHOLTZ, MIKAEL, TAKALA, JANNE

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: