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:
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. 9..
Includes bibliographical references and index.
ISBN: 9781607507147 (electronic bk.)
LCCN: 2011923591Subjects--Topical Terms:
86565
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
147179
005
20121024140858.0
008
160127s2011 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 :
$c
c2011.
$b
IOS Press,
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
86565
650
0
$a
Computers
$x
Access control.
$3
92723
650
0
$a
Computer networks
$x
Security measures.
$3
86541
650
0
$a
Electronic information resources
$x
Access control.
$3
273829
700
1
$a
Cortier, Véronique.
$3
273827
700
1
$a
Kremer, Steve.
$3
273828
830
0
$a
Cryptology and information security series ;
$v
v. 9.
$3
226659
856
4
$u
http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781607507130
based on 0 review(s)
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login