English
Français
Search
Browse Collections
Help
English
Français
login
login
Home
> >
Formal methods in the design of cryptographic protocols (state of the art)
> Access to Fulltext
Information
Usage statistics
Files
Formal methods in the design of cryptographic prot[...]
-
Buttyan, Levente
main
file(s):
IC_TECH_REPORT_199938
version 1
IC_TECH_REPORT_199938.pdf
[182.95 KB]
27 Jan 2018, 12:23
n/a
n/a
TR99_038
version 1
TR99_038.ps
[327.11 KB]
27 Jan 2018, 12:58
n/a
n/a