MARC details
000 -LEADER |
fixed length control field |
05356cam a2200949 a 4500 |
001 - CONTROL NUMBER |
control field |
ocn758834764 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
OCoLC |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20220713080925.0 |
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION |
fixed length control field |
m o d |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
fixed length control field |
cr cn||||||||| |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
111027s2011 ne a ob 001 0 eng d |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
IOSPR |
Language of cataloging |
eng |
Description conventions |
pn |
Transcribing agency |
IOSPR |
Modifying agency |
N$T |
-- |
YDXCP |
-- |
E7B |
-- |
CDX |
-- |
OCLCQ |
-- |
DEBSZ |
-- |
OCLCQ |
-- |
NLGGC |
-- |
EBLCP |
-- |
IDEBK |
-- |
CEF |
-- |
OCLCQ |
-- |
OCLCO |
-- |
OCLCF |
-- |
S3O |
-- |
OCLCQ |
-- |
AGLDB |
-- |
ZCU |
-- |
OCLCQ |
-- |
MERUC |
-- |
OCLCQ |
-- |
U3W |
-- |
OCLCA |
-- |
VTS |
-- |
ICG |
-- |
OCLCQ |
-- |
INT |
-- |
VT2 |
-- |
AU@ |
-- |
OCLCQ |
-- |
WYU |
-- |
JBG |
-- |
OCLCQ |
-- |
STF |
-- |
DKC |
-- |
OCLCQ |
-- |
M8D |
-- |
OCLCQ |
-- |
AJS |
-- |
OCLCQ |
-- |
OCLCO |
019 ## - |
-- |
756484738 |
-- |
1055385008 |
-- |
1058000563 |
-- |
1066430311 |
-- |
1081185947 |
-- |
1228530613 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9781607507147 |
Qualifying information |
(electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
1607507145 |
Qualifying information |
(electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
1607507137 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9781607507130 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
Cancelled/invalid ISBN |
9781607507130 |
Qualifying information |
(hardcover) |
029 1# - (OCLC) |
OCLC library identifier |
AU@ |
System control number |
000050054069 |
029 1# - (OCLC) |
OCLC library identifier |
AU@ |
System control number |
000050608292 |
029 1# - (OCLC) |
OCLC library identifier |
AU@ |
System control number |
000051364971 |
029 1# - (OCLC) |
OCLC library identifier |
AU@ |
System control number |
000053277265 |
029 1# - (OCLC) |
OCLC library identifier |
CHNEW |
System control number |
000617108 |
029 1# - (OCLC) |
OCLC library identifier |
DEBBG |
System control number |
BV043069098 |
029 1# - (OCLC) |
OCLC library identifier |
DEBBG |
System control number |
BV044158422 |
029 1# - (OCLC) |
OCLC library identifier |
DEBSZ |
System control number |
372885748 |
029 1# - (OCLC) |
OCLC library identifier |
DEBSZ |
System control number |
421525630 |
029 1# - (OCLC) |
OCLC library identifier |
DEBSZ |
System control number |
431048029 |
029 1# - (OCLC) |
OCLC library identifier |
GBVCP |
System control number |
803672438 |
029 1# - (OCLC) |
OCLC library identifier |
HEBIS |
System control number |
299831655 |
029 1# - (OCLC) |
OCLC library identifier |
NZ1 |
System control number |
14257067 |
035 ## - SYSTEM CONTROL NUMBER |
System control number |
(OCoLC)758834764 |
Canceled/invalid control number |
(OCoLC)756484738 |
-- |
(OCoLC)1055385008 |
-- |
(OCoLC)1058000563 |
-- |
(OCoLC)1066430311 |
-- |
(OCoLC)1081185947 |
-- |
(OCoLC)1228530613 |
037 ## - SOURCE OF ACQUISITION |
Stock number |
978-1-60750-714-7 |
Source of stock number/acquisition |
IOS Press |
Note |
http://www.iospress.nl |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
QA76.9.A25 |
Item number |
F654 2011 |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
COM053000 |
Subject category code subdivision |
COM |
Source |
bisacsh |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
COM |
Subject category code subdivision |
060040 |
Source |
bisacsh |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
COM |
Subject category code subdivision |
043050 |
Source |
bisacsh |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
COM |
Subject category code subdivision |
053000 |
Source |
bisacsh |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
005.8 |
Edition number |
23 |
049 ## - LOCAL HOLDINGS (OCLC) |
Holding library |
MAIN |
245 00 - TITLE STATEMENT |
Title |
Formal models and techniques for analyzing security protocols / |
Statement of responsibility, etc |
edited by Véronique Cortier and Steve Kremer. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Place of publication, distribution, etc |
Amsterdam ; |
-- |
Da Washington, DC : |
Name of publisher, distributor, etc |
IOS Press, |
Date of publication, distribution, etc |
©2011. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
1 online resource (vii, 303 pages) : |
Other physical details |
illustrations |
336 ## - |
-- |
text |
-- |
txt |
-- |
rdacontent |
337 ## - |
-- |
computer |
-- |
c |
-- |
rdamedia |
338 ## - |
-- |
online resource |
-- |
cr |
-- |
rdacarrier |
490 1# - SERIES STATEMENT |
Series statement |
Cryptology and information security series ; |
Volume number/sequential designation |
v. 5 |
504 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc |
Includes bibliographical references and index. |
588 0# - |
-- |
Print version record. |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
Title page; Preface; Contents; Introduction; Verifying a Bounded Number of Sessions and Its Complexity; Constraint Solving Techniques and Enriching the Model with Equational Theories; Analysing Security Protocols Using CSP; Using Horn Clauses for Analyzing Security Protocols; Applied pi Calculus; Types for Security Protocols; Protocol Composition Logic; Shapes: Surveying Crypto Protocol Runs; Security Analysis Using Rank Functions in CSP; Computational Soundness -- The Case of Diffie-Hellman Keys; Author Index. |
520 ## - SUMMARY, ETC. |
Summary, etc |
Security protocols are the small distributed programs which are omnipresent in our daily lives in areas such as online banking and commerce and mobile phones. Their purpose is to keep our transactions and personal data secure. Because these protocols are generally implemented on potentially insecure networks like the internet, they are notoriously difficult to devise. The field of symbolic analysis of security protocols has seen significant advances during the last few years. There is now a better understanding of decidability and complexity questions and successful automated tools for the pro. |
590 ## - LOCAL NOTE (RLIN) |
Local note |
eBooks on EBSCOhost |
Provenance (VM) [OBSOLETE] |
EBSCO eBook Subscription Academic Collection - Worldwide |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computer security. |
9 (RLIN) |
372 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computers |
General subdivision |
Access control. |
9 (RLIN) |
33426 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computer networks |
General subdivision |
Security measures. |
9 (RLIN) |
36449 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Electronic information resources |
General subdivision |
Access control. |
9 (RLIN) |
159470 |
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Sécurité informatique. |
9 (RLIN) |
869458 |
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Ordinateurs |
General subdivision |
Accès |
-- |
Contrôle. |
9 (RLIN) |
869457 |
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Réseaux d'ordinateurs |
General subdivision |
Sécurité |
-- |
Mesures. |
9 (RLIN) |
875418 |
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Sources d'information électroniques |
General subdivision |
Accès |
-- |
Contrôle. |
9 (RLIN) |
938313 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
COMPUTERS |
General subdivision |
Internet |
-- |
Security. |
Source of heading or term |
bisacsh |
9 (RLIN) |
871407 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
COMPUTERS |
General subdivision |
Networking |
-- |
Security. |
Source of heading or term |
bisacsh |
9 (RLIN) |
871408 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
COMPUTERS |
General subdivision |
Security |
-- |
General. |
Source of heading or term |
bisacsh |
9 (RLIN) |
852381 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computer networks |
General subdivision |
Security measures. |
Source of heading or term |
fast |
-- |
(OCoLC)fst00872341 |
9 (RLIN) |
36449 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computer security. |
Source of heading or term |
fast |
-- |
(OCoLC)fst00872484 |
9 (RLIN) |
372 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computers |
General subdivision |
Access control. |
Source of heading or term |
fast |
-- |
(OCoLC)fst00872779 |
9 (RLIN) |
33426 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Electronic information resources |
General subdivision |
Access control. |
Source of heading or term |
fast |
-- |
(OCoLC)fst00907296 |
9 (RLIN) |
159470 |
655 #4 - INDEX TERM--GENRE/FORM |
Genre/form data or focus term |
Electronic books. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Cortier, Véronique. |
9 (RLIN) |
1524824 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Kremer, Steve. |
9 (RLIN) |
1524825 |
710 2# - ADDED ENTRY--CORPORATE NAME |
Corporate name or jurisdiction name as entry element |
IOS Press. |
9 (RLIN) |
332468 |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
Display text |
Print version: |
Title |
Formal models and techniques for analyzing security protocols. |
Place, publisher, and date of publication |
Amsterdam ; da Washington, DC : IOS Press, ©2011 |
International Standard Book Number |
9781607507130 |
Record control number |
(OCoLC)705518947 |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
Uniform title |
Cryptology and information security series ; |
Volume number/sequential designation |
v. 5. |
9 (RLIN) |
192224 |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
<a href="https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=395231">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=395231</a> |
938 ## - |
-- |
Coutts Information Services |
-- |
COUT |
-- |
19558387 |
938 ## - |
-- |
EBL - Ebook Library |
-- |
EBLB |
-- |
EBL784604 |
938 ## - |
-- |
ebrary |
-- |
EBRY |
-- |
ebr10506344 |
938 ## - |
-- |
EBSCOhost |
-- |
EBSC |
-- |
395231 |
938 ## - |
-- |
ProQuest MyiLibrary Digital eBook Collection |
-- |
IDEB |
-- |
328961 |
938 ## - |
-- |
YBP Library Services |
-- |
YANK |
-- |
3639903 |
994 ## - |
-- |
92 |
-- |
INOPJ |