Zum Inhalt springen

  9. Kähler, Detlef [VerfasserIn]; Kuesters, Ralf [VerfasserIn]; Wilke, Thomas [VerfasserIn] ; Christian-Albrechts-Universität zu Kiel Institut für Informatik

    Deciding Properties of Contract-Signing Protocols

    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.

    Kiel: Inst. für Informatik, 2004

    Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht ; 2004,9

  11. Chevalier, Yannick [VerfasserIn]; Kuesters, Ralf [VerfasserIn]; Rusinowitch, Michaël [VerfasserIn]; Turuani, Mathieu [VerfasserIn]

    Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents

    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.

    MACAU: Open Access Repository of Kiel University, 2003

  12. Plavina, Tatiana; Muralidharan, Kumar Kandadi; Kuesters, Geoffrey; Mikol, Daniel; Evans, Karleyton; Subramanyam, Meena; Nestorov, Ivan; Chen, Yi; Dong, Qunming; Ho, Pei-Ran; Amarante, Diogo; Adams, Alison; De Sèze, Jerome; Fox, Robert; Gold, Ralf; Jeffery, Douglas; Kappos, Ludwig; Montalban, Xavier; Weinstock-Guttman, Bianca; Hartung, Hans-Peter; Cree, Bruce A.C.

    Reversibility of the effects of natalizumab on peripheral immune cell dynamics in MS patients

    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.

    Ovid Technologies (Wolters Kluwer Health), 2017

    Erschienen in: Neurology