Startsida
Hjälp
Sök i LIBRIS databas

     

 

Sökning: onr:12417197 > Equivalences and Ca...

Equivalences and Calculi for Formal Verification of Cryptographic Protocols / Johannes Borgström

Borgström, Johannes (författare)
Lausanne : EPFL, 2008
Engelska 174 s.
  • BokAvhandling(Diss. Uppsala : Uppsala universitet, 2008)
Inställningar Hjälp

Uppgift om bibliotek saknas i LIBRIS

Kontakta ditt bibliotek, eller sök utanför LIBRIS. Se högermenyn.

Sök utanför LIBRIS

Hjälp
Om LIBRIS
Sekretess
Hjälp
Fel i posten?
Kontakt
Teknik och format
Sök utifrån
Sökrutor
Plug-ins
Bookmarklet
Anpassa
Textstorlek
Kontrast
Vyer
LIBRIS söktjänster
SwePub
Uppsök

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

Copyright © LIBRIS - Nationella bibliotekssystem

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy