語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Formal models and techniques for ana...
~
Cortier, Véronique.
Formal models and techniques for analyzing security protocols
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Formal models and techniques for analyzing security protocols/ edited by Véronique Cortier and Steve Kremer.
其他作者:
Cortier, Véronique.
出版者:
Amsterdam ;IOS Press, : c2011.,
面頁冊數:
vii, 303 p. :ill. ; : 25 cm.;
標題:
Computer security. -
電子資源:
http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781607507130
ISBN:
9781607507147 (electronic bk.)
Formal models and techniques for analyzing security protocols
Formal models and techniques for analyzing security protocols
[electronic resource] /edited by Véronique Cortier and Steve Kremer. - Amsterdam ;IOS Press,c2011. - vii, 303 p. :ill. ;25 cm. - Cryptology and information security series ;v. 5. - Cryptology and information security series ;v. 4..
Includes bibliographical references and index.
ISBN: 9781607507147 (electronic bk.)
LCCN: 2011923591Subjects--Topical Terms:
557122
Computer security.
LC Class. No.: QA76.9.A25 / F6563 2011
Dewey Class. No.: 005.8
Formal models and techniques for analyzing security protocols
LDR
:00850cam a2200217 a 45
001
723284
005
20121024140858.0
008
130107s2011 ne a sb 001 0 eng c
010
$a
2011923591
020
$a
9781607507147 (electronic bk.)
020
$a
9781607507130
035
$a
(OCoLC)ocn705518947
035
$a
00000701
040
$a
YDXCP
$c
YDXCP
$d
NUI
$d
OSU
$d
DLC
050
0 0
$a
QA76.9.A25
$b
F6563 2011
082
0 0
$a
005.8
$2
23
245
0 0
$a
Formal models and techniques for analyzing security protocols
$h
[electronic resource] /
$c
edited by Véronique Cortier and Steve Kremer.
260
$a
Amsterdam ;
$a
Washington, DC :
$b
IOS Press,
$c
c2011.
300
$a
vii, 303 p. :
$b
ill. ;
$c
25 cm.
490
1
$a
Cryptology and information security series ;
$v
v. 5
504
$a
Includes bibliographical references and index.
650
0
$a
Computer security.
$3
557122
650
0
$a
Computers
$x
Access control.
$3
574236
650
0
$a
Computer networks
$x
Security measures.
$3
555385
650
0
$a
Electronic information resources
$x
Access control.
$3
864977
700
1
$a
Cortier, Véronique.
$3
864975
700
1
$a
Kremer, Steve.
$3
864976
830
0
$a
Cryptology and information security series ;
$v
v. 4.
$3
864973
856
4
$u
http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781607507130
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入