語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
安全協議原理與驗證
~
王聰
安全協議原理與驗證
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
安全協議原理與驗證/ 王聰[等]編著.
作者:
王聰
出版者:
北京市 :北京郵電大學出版社, : 2011.,
面頁冊數:
線上資源(319面)
附註:
Title from title screen.
標題:
電腦網路 -
電子資源:
點擊此處查看電子書
ISBN:
9787563526727
安全協議原理與驗證
王聰
安全協議原理與驗證
[電子資源] /王聰[等]編著. - 北京市 :北京郵電大學出版社,2011. - 線上資源(319面)
Title from title screen.
本書由基礎知識、安全協定原理、安全協定的分析及驗證方法三部分組成。涉及安全協定基本原理介紹、安全性分析以及密碼學基礎；安全協定概述、經典的密碼交換及認證協定、電子商務協定以及應用中的安全協定；安全協定的分析與驗證方法，包括BAN邏輯、BAN類邏輯、Kailar邏輯、CS邏輯、串空間理論及CSP方法等內容。
Text (Electronic book)
Electronic reproduction.
Beijing :
ApabiDlib,
2004.
System requirements: Apabi Reader.
Mode of access: World Wide Web.
ISBN: 9787563526727Subjects--Topical Terms:
831741
電腦網路
安全協議原理與驗證
LDR
:01317nam a2200253Mi 4500
001
817842
003
ChTaNC
005
20150814104600.0
006
m d
007
cr cn mmmanabp
008
150907s2011 cc g 000 0 chi d
020
$a
9787563526727
035
$a
fcu00005843
040
$a
CYT
$b
chi
$c
CYT
$d
CYT
066
$c
$1
084
$a
312.163
$2
ncsclt
100
1
$a
王聰
$3
1037667
245
1 0
$a
安全協議原理與驗證
$h
[電子資源] /
$c
王聰[等]編著.
260
$a
北京市 :
$b
北京郵電大學出版社,
$c
2011.
300
$a
線上資源(319面)
500
$a
Title from title screen.
504
$a
本書由基礎知識、安全協定原理、安全協定的分析及驗證方法三部分組成。涉及安全協定基本原理介紹、安全性分析以及密碼學基礎；安全協定概述、經典的密碼交換及認證協定、電子商務協定以及應用中的安全協定；安全協定的分析與驗證方法，包括BAN邏輯、BAN類邏輯、Kailar邏輯、CS邏輯、串空間理論及CSP方法等內容。
516
$a
Text (Electronic book)
533
$a
Electronic reproduction.
$b
Beijing :
$c
ApabiDlib,
$d
2004.
$n
System requirements: Apabi Reader.
$n
Available via World Wide Web.
538
$a
Mode of access: World Wide Web.
650
7
$2
lcstt
$a
電腦網路
$3
831741
650
7
$a
網路安全
$2
lcstt
$3
1037665
856
4 0
$u
http://www.apabi.com/cec/pub.mvc?pid=book.detail&metaid=m.20121019-ZDLW-889-0089&cult=TW
$z
點擊此處查看電子書
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入