Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Formal models and techniques for ana...
~
Cortier, Véronique.
Formal models and techniques for analyzing security protocols
Record Type:
Electronic resources : Monograph/item
Title/Author:
Formal models and techniques for analyzing security protocolsedited 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:
184416
Computer security.
LC Class. No.: QA76.9.A25 / F6563 2011
Dewey Class. No.: 005.8
Formal models and techniques for analyzing security protocols
LDR
:00850cmm a2200217 a 45
001
350483
005
20121024140858.0
008
121206s2011 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
184416
650
0
$a
Computers
$x
Access control.
$3
219159
650
0
$a
Computer networks
$x
Security measures.
$3
185597
650
0
$a
Electronic information resources
$x
Access control.
$3
484820
700
1
$a
Cortier, Véronique.
$3
582625
700
1
$a
Kremer, Steve.
$3
582626
830
0
$a
Cryptology and information security series ;
$v
v. 3.
$3
471927
856
4
$u
http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781607507130
based on 0 review(s)
ALL
電子館藏
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
000000074540
電子館藏
1圖書
電子書
EB QA76.9.A25 F6563 2011 c2011
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781607507130
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login