Language:
English
繁體中文
Help
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
安全協議原理與驗證
~
王聰
安全協議原理與驗證
Record Type:
Language materials, printed : Monograph/item
Title/Author:
安全協議原理與驗證/ 王聰[等]編著.
Author:
王聰
Published:
北京市 :北京郵電大學出版社, : 2011.,
Description:
線上資源(319面)
Notes:
Title from title screen.
Subject:
電腦網路 -
Online resource:
點擊此處查看電子書
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
點擊此處查看電子書
based on 0 review(s)
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login