HANDBOOK OF FORMAL ANALYSIS AND VERIFICATION IN CRYPTOGRAPHY (Record no. 67377)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02830cam a2200529M 4500 |
| 001 - CONTROL NUMBER | |
| control field | 9781003090052 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | FlBoTFG |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20251030122227.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS | |
| fixed length control field | m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr |n||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 230805s2023 xx o 0|| 0 eng d |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | OCoLC-P |
| Language of cataloging | eng |
| Transcribing agency | OCoLC-P |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781000955477 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 1000955478 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781003090052 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 1003090052 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 1000955494 |
| Qualifying information | (electronic bk. : EPUB) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781000955491 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Canceled/invalid ISBN | 0367546655 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Canceled/invalid ISBN | 9780367546656 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1201/9781003090052 |
| Source of number or code | doi |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (OCoLC)1392163646 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (OCoLC-P)1392163646 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.9.D335 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM |
| Subject category code subdivision | 083000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | TEC |
| Subject category code subdivision | 020000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | MAT |
| Subject category code subdivision | 034000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | GPJ |
| Source | bicssc |
| 245 00 - TITLE STATEMENT | |
| Title | HANDBOOK OF FORMAL ANALYSIS AND VERIFICATION IN CRYPTOGRAPHY |
| Medium | [electronic resource]. |
| 260 ## - Date publicare | |
| Place of publication, distribution, etc. | [S.l.] : |
| Name of publisher, distributor, etc. | CRC PRESS, |
| Date of publication, distribution, etc. | 2023. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource |
| 490 0# - SERIES STATEMENT | |
| Series statement | Prospects in pure and applied mathematics |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | This handbook of formal analysis in cryptography is very important for secure communication and processing of information. It introduces readers to several formal verification methods and software used to analyse cryptographic protocols. The chapters give readers general knowledge and formal methods focusing on cryptographic protocols. Handbook of Formal Analysis and Verification in Cryptography includes major formalisms and tools used for formal verification of cryptography, with a spotlight on new-generation cryptosystems such as post-quantum, and presents a connection between formal analysis and cryptographic schemes. The text offers formal methods to show whether security assumptions are valid and compares the most prominent formalism and tools as they outline common challenges and future research directions. Graduate students, researchers, and engineers worldwide will find this an exciting read. |
| 588 ## - SOURCE OF DESCRIPTION NOTE | |
| Source of description note | OCLC-licensed vendor bibliographic record. |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| Source of heading or term | bisacsh |
| 9 (RLIN) | 64635 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| Source of heading or term | bisacsh |
| 9 (RLIN) | 64249 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| Source of heading or term | bisacsh |
| 9 (RLIN) | 92712 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| General subdivision | Mathematics. |
| 9 (RLIN) | 92713 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| General subdivision | Mathematics. |
| 9 (RLIN) | 92714 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Akleylek, Sedat. |
| 9 (RLIN) | 92715 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Dundua, Besik. |
| 9 (RLIN) | 92716 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Materials specified | Taylor & Francis |
| Uniform Resource Identifier | <a href="https://www.taylorfrancis.com/books/9781003090052">https://www.taylorfrancis.com/books/9781003090052</a> |
| 856 42 - ELECTRONIC LOCATION AND ACCESS | |
| Materials specified | OCLC metadata license agreement |
| Uniform Resource Identifier | <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a> |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | |
No items available.