Formal models and techniques for analyzing security protocols / (Record no. 2947841)

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
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Date acquired Total Checkouts Date last seen Price effective from Koha item type
        E-Books EBSCO OPJGU Sonepat- Campus OPJGU Sonepat- Campus 13/07/2022   13/07/2022 13/07/2022 Electronic-Books

O.P. Jindal Global University, Sonepat-Narela Road, Sonepat, Haryana (India) - 131001

Send your feedback to glus@jgu.edu.in

Hosted, Implemented & Customized by: BestBookBuddies   |   Maintained by: Global Library