for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
The Tamarin prover is an open-source analysis tool for cryptographic protocols. Given a specification of a protocol, possible adversaries, and the desired security properties, Tamarin either verifies the protocol or provides counter examples witnessing attacks.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 40th International Conference on... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book LNICST 622 constitutes the refereed proceedings of the Second... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 16th International Conference on... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
mso-ansi-language: EN-US;">The 178 full papers presented were... Læs mere
Bemærk: Kan ikke leveres før jul.
mso-ansi-language: EN-US;">The 178 full papers presented were... Læs mere
Bemærk: Kan ikke leveres før jul.
mso-ansi-language: EN-US;">The 178 full papers presented were... Læs mere
Bemærk: Kan ikke leveres før jul.
This four-volume set LNISCT 627-630 constitutes the proceedings of the... Læs mere