Language:
English
繁體中文
Help
回圖書館首頁
手機版館藏查詢
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Formal models and techniques for ana...
~
Cortier, Véronique.
Linked to FindBook
Google Book
Amazon
博客來
Formal models and techniques for analyzing security protocols
Record Type:
Language materials, printed : Monograph/item
Title/Author:
Formal models and techniques for analyzing security protocols/ edited by Véronique Cortier and Steve Kremer.
other author:
Cortier, Véronique.
Published:
Amsterdam ;IOS Press, : c2011.,
Description:
vii, 303 p. :ill. ;25 cm.
Subject:
Computer security. -
Online resource:
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. 3..
Includes bibliographical references and index.
ISBN: 9781607507147 (electronic bk.)
LCCN: 2011923591Subjects--Topical Terms:
540555
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
1299824
005
20121024140858.0
008
121130s2011 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
540555
650
0
$a
Computers
$x
Access control.
$3
584008
650
0
$a
Computer networks
$x
Security measures.
$3
579161
650
0
$a
Electronic information resources
$x
Access control.
$3
1085382
700
1
$a
Cortier, Véronique.
$3
1581813
700
1
$a
Kremer, Steve.
$3
1581814
830
0
$a
Cryptology and information security series ;
$v
v. 3.
$3
1243518
856
4
$u
http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781607507130
based on 0 review(s)
Location:
ALL
電子資源
Year:
Volume Number:
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
W9145755
電子資源
11.線上閱覽_V
電子書
EB QA76.9.A25 F6563 2011
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login