recherche de livres
livres
Faire un don
S'identifier
S'identifier
les utilisateurs autorisés sont disponibles :
recommandations personnelles
Telegram bot
historique de téléchargement
envoyer par courrier électronique ou Kindle
gestion des listes de livres
sauvegarder dans mes Favoris
Personnel
Requêtes de livres
Recherche
Z-Recommend
Les sélections de livres
Les plus populaires
Catégories
La participation
Faire un don
Téléchargements
Litera Library
Faire un don de livres papier
Ajouter des livres papier
Search paper books
Mon LITERA Point
La recherche des mots clé
Main
La recherche des mots clé
search
1
Formal Correctness of Security Protocols: With 62 Figures and 4 Tables
Springer-Verlag Berlin Heidelberg
Giampaolo Bella (auth.)
key
protocol
evs
spy
theorem
nonce
crypt
protocols
session
card
apply
tgs
kerberos
security
kab
trace
lemma
analz
spies
event
authk
confidentiality
shrk
servk
inductive
messages
authentication
formal
goal
goals
keys
method
contains
reception
server
certificate
assumption
analysis
guarantees
verifying
uncompromised
figure
ttp
guarantee
theorems
modelling
erule
events
a’s
shoup
Année:
2007
Langue:
english
Fichier:
PDF, 3.16 MB
Vos balises:
0
/
0
english, 2007
2
Formal Correctness of Security Protocols
Springer
Giampaolo Bella
key
protocol
evs
spy
theorem
nonce
crypt
protocols
session
card
apply
tgs
kerberos
security
kab
trace
lemma
analz
spies
event
authk
confidentiality
shrk
servk
inductive
messages
authentication
formal
goal
goals
keys
method
contains
reception
server
certificate
assumption
analysis
guarantees
verifying
uncompromised
figure
ttp
guarantee
theorems
modelling
erule
events
a’s
shoup
Année:
2007
Langue:
english
Fichier:
PDF, 4.33 MB
Vos balises:
0
/
0
english, 2007
3
一个酷爱数学的男孩
南昌:二十一世纪出版社
(美)德博拉·海利格曼文;(美)范黎渊图;萝卜探长,小贝壳译
rra
srs
aamas
fre
hbf
hbs
rsh
rss
apra
arse
bars
bie
boe
bris
brs
cora
hbr
hite
hmri
hoss
hrb
hsk
kit
mbit
nner
prr
rab
rana
reb
rfe
rfra
rma
rrb
rrr
sars
shrk
sra
teers
thas
thm
trs
wane
wast
wbe
封
19412f
19967f9a208
24nalahrar
7exen
7th
Année:
2016
Langue:
chinese
Fichier:
PDF, 11.90 MB
Vos balises:
0
/
0
chinese, 2016
1
Suivez
ce lien
ou recherchez le bot "@BotFather" sur Telegram
2
Envoyer la commande /newbot
3
Entrez un nom pour votre bot
4
Spécifiez le nom d'utilisateur pour le bot
5
Copier le dernier message de BotFather et le coller ici
×
×