寄付 2024年9月15日 – 2024年10月1日
募金について
本の検索
本
寄付:
60.5% 完了
サインイン
サインイン
より多くの機能を利用するために
個人的なおすすめ
テレグラムボット
ダウンロード履歴
メールまたはKindleに送信する
ブックリストの管理
お気に入りに保存
個人用
本のリクエスト
探索
Z-おすすめ
ブックリスト
一番人気本
カテゴリー
貢献
ドネーション
アップロード
Litera Library
紙の本を寄付する
紙の本を追加する
Search paper books
私のLitera Point
キーワード検索
Main
キーワード検索
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
年:
2007
言語:
english
ファイル:
PDF, 3.16 MB
あなたのタグ:
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
年:
2007
言語:
english
ファイル:
PDF, 4.33 MB
あなたのタグ:
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
年:
2016
言語:
chinese
ファイル:
PDF, 11.90 MB
あなたのタグ:
0
/
0
chinese, 2016
1
このリンク
にアクセスするか、またはTelegramで「@BotFather」というボットを探してください。
2
「/newbot」というコマンドを送信してください。
3
チャットボットの名前を指定してください。
4
ボットのユーザー名を選んでください。
5
BotFatherから最後のメッセージをコピーして、ここに貼り付けてください。
×
×