MARC details
| 000 -LEADER |
| fixed length control field |
05769cam a2200985 a 4500 |
| 001 - CONTROL NUMBER |
| control field |
ocn535028478 |
| 003 - CONTROL NUMBER IDENTIFIER |
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
| control field |
20250703151159.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 cn||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
| fixed length control field |
100301s2009 gw ob 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
| Original cataloging agency |
GW5XE |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
GW5XE |
| Modifying agency |
OCLCQ |
| -- |
CUS |
| -- |
WAU |
| -- |
COO |
| -- |
E7B |
| -- |
OCLCQ |
| -- |
OCLCF |
| -- |
BEDGE |
| -- |
OHS |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
YDXCP |
| -- |
LEAUB |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
VT2 |
| -- |
SOI |
| -- |
OCLCO |
| -- |
OCLCA |
| -- |
DGU |
| -- |
OCLCO |
| -- |
SHS |
| -- |
UAB |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
OCLCA |
| -- |
BUF |
| -- |
OCLCO |
| -- |
CEF |
| -- |
U3W |
| -- |
OCLCO |
| -- |
WYU |
| -- |
OCLCA |
| -- |
YOU |
| -- |
OCLCA |
| -- |
AU@ |
| -- |
OCLCO |
| -- |
OL$ |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCA |
| -- |
OCLCQ |
| -- |
LUN |
| -- |
OCLCA |
| -- |
OCLCO |
| -- |
OCL |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCL |
| -- |
OCLCQ |
| -- |
SFB |
| 015 ## - NATIONAL BIBLIOGRAPHY NUMBER |
| National bibliography number |
09,N46,0005 |
| Source |
dnb |
| 019 ## - |
| -- |
502171194 |
| -- |
647854544 |
| -- |
759831474 |
| -- |
788186336 |
| -- |
964888464 |
| -- |
1005796815 |
| -- |
1066674277 |
| -- |
1081181737 |
| -- |
1086815828 |
| -- |
1102534639 |
| -- |
1162786596 |
| -- |
1171597055 |
| -- |
1172975508 |
| -- |
1262681821 |
| -- |
1451836658 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
| International Standard Book Number |
9783642106224 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
| International Standard Book Number |
3642106226 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
| Canceled/invalid ISBN |
9783642106217 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
| Canceled/invalid ISBN |
3642106218 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
| International Standard Book Number |
1280383291 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
| International Standard Book Number |
9781280383298 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
| International Standard Book Number |
9786613561213 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
| International Standard Book Number |
6613561215 |
| 024 7# - OTHER STANDARD IDENTIFIER |
| Standard number or code |
10.1007/978-3-642-10622-4 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
| OCLC library identifier |
AU@ |
| System control number |
000048713467 |
| 029 1# - (OCLC) |
| OCLC library identifier |
AU@ |
| System control number |
000051314089 |
| 029 1# - (OCLC) |
| OCLC library identifier |
AU@ |
| System control number |
000057660292 |
| 029 1# - (OCLC) |
| OCLC library identifier |
NLGGC |
| System control number |
384359590 |
| 029 1# - (OCLC) |
| OCLC library identifier |
NZ1 |
| System control number |
13382881 |
| 035 ## - SYSTEM CONTROL NUMBER |
| System control number |
(OCoLC)535028478 |
| Canceled/invalid control number |
(OCoLC)502171194 |
| -- |
(OCoLC)647854544 |
| -- |
(OCoLC)759831474 |
| -- |
(OCoLC)788186336 |
| -- |
(OCoLC)964888464 |
| -- |
(OCoLC)1005796815 |
| -- |
(OCoLC)1066674277 |
| -- |
(OCoLC)1081181737 |
| -- |
(OCoLC)1086815828 |
| -- |
(OCoLC)1102534639 |
| -- |
(OCoLC)1162786596 |
| -- |
(OCoLC)1171597055 |
| -- |
(OCoLC)1172975508 |
| -- |
(OCoLC)1262681821 |
| -- |
(OCoLC)1451836658 |
| 037 ## - SOURCE OF ACQUISITION |
| Stock number |
978-3-642-10621-7 |
| Source of stock number/acquisition |
Springer |
| Note |
http://www.springerlink.com |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
| Classification number |
QA76.9.A25 |
| Item number |
A853 2009 |
| 060 #4 - NATIONAL LIBRARY OF MEDICINE CALL NUMBER |
| Classification number |
QA76.9.A25 |
| 072 #7 - SUBJECT CATEGORY CODE |
| Subject category code |
UM |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
| Subject category code |
UYF |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
| Subject category code |
COM051000 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
| Subject category code |
COM036000 |
| Source |
bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
| Classification number |
005.8 |
| Edition number |
22 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
| Meeting name or jurisdiction name as entry element |
Asian Computing Science Conference |
| Number of part/section/meeting |
(13th : |
| Date of meeting |
2009 : |
| Location of meeting |
Seoul, Korea) |
| 9 (RLIN) |
37085 |
| 245 10 - TITLE STATEMENT |
| Title |
Advances in Computer Science - ASIAN 2009. Information Security and Privacy : |
| Remainder of title |
13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings / |
| Statement of responsibility, etc. |
Anupam Datta (Ed.). |
| 246 3# - VARYING FORM OF TITLE |
| Title proper/short title |
ASIAN 2009 |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
| Place of publication, distribution, etc. |
Berlin ; |
| -- |
Heidelberg : |
| Name of publisher, distributor, etc. |
Springer-Verlag, |
| Date of publication, distribution, etc. |
©2009. |
| 300 ## - PHYSICAL DESCRIPTION |
| Extent |
1 online resource |
| 336 ## - CONTENT TYPE |
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
| File type |
text file |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
| Encoding format |
PDF |
| 490 1# - SERIES STATEMENT |
| Series statement |
Lecture notes in computer science ; |
| Volume/sequential designation |
5913 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
| Bibliography, etc |
Includes bibliographical references and index. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
| Source of description note |
Print version record. |
| 505 0# - FORMATTED CONTENTS NOTE |
| Formatted contents note |
"Logic Wins!" -- Higher-Order Program Verification and Language-Based Security -- Deducibility Constraints -- Automated Security Proof for Symmetric Encryption Modes -- Noninterference with Dynamic Security Domains and Policies -- A Critique of Some Chaotic-Map and Cellular Automata-Based Stream Ciphers -- A Logic for Formal Verification of Quantum Programs -- Reducing Equational Theories for the Decision of Static Equivalence -- A Simulation-Based Treatment of Authenticated Message Exchange -- Trusted Deployment of Virtual Execution Environment in Grid Systems -- A Dolev-Yao Model for Zero Knowledge -- A Special Proxy Signature Scheme with Multi-warrant. |
| 520 ## - SUMMARY, ETC. |
| Summary, etc. |
This book constitutes the refereed proceedings of the 13th Asian Computing Science Conference, ASIAN 2009, held in Seoul, Korea, in December 2009. The 7 revised full papers and 3 revised short papers presented together with 2 invited talks were carefully reviewed and selected from 45 submissions. Focusing on the theory and practice of information security and privacy, the papers include topics of deducibility constraints, symmetric encryption modes, dynamic security domains and policies, cryptography, formal verification of quantum programs, decision of static equivalence, authenticated message and proxy signature scheme. |
| 546 ## - LANGUAGE NOTE |
| Language note |
English. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
| Topical term or geographic name as entry element |
Computer security |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
14968 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
| Topical term or geographic name as entry element |
Computer networks |
| General subdivision |
Access control |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
20423 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
| Topical term or geographic name as entry element |
Internet |
| General subdivision |
Security measures |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
16508 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
| Topical term or geographic name as entry element |
Data encryption (Computer science) |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15030 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
| Topical term or geographic name as entry element |
Computer security. |
| 9 (RLIN) |
2191 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
| Topical term or geographic name as entry element |
Computer networks. |
| 9 (RLIN) |
13287 |
| 650 #2 - SUBJECT ADDED ENTRY--TOPICAL TERM |
| Topical term or geographic name as entry element |
Computer Security |
| 9 (RLIN) |
2191 |
| 650 #2 - SUBJECT ADDED ENTRY--TOPICAL TERM |
| Topical term or geographic name as entry element |
Computer Communication Networks |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
| Topical term or geographic name as entry element |
Sécurité informatique |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
17411 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
| Topical term or geographic name as entry element |
Internet |
| General subdivision |
Sécurité |
| -- |
Mesures |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
16512 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
| Topical term or geographic name as entry element |
Chiffrement (Informatique) |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
16510 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
| Topical term or geographic name as entry element |
Sécurité informatique. |
| 9 (RLIN) |
18600 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
| Topical term or geographic name as entry element |
Réseaux d'ordinateurs. |
| 9 (RLIN) |
15772 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
| Topical term or geographic name as entry element |
Informatique. |
| Source of heading or term |
eclas |
| 9 (RLIN) |
14930 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
| Topical term or geographic name as entry element |
Computer networks |
| Source of heading or term |
fast |
| 9 (RLIN) |
13287 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
| Topical term or geographic name as entry element |
Computer networks |
| General subdivision |
Access control |
| Source of heading or term |
fast |
| 9 (RLIN) |
20428 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
| Topical term or geographic name as entry element |
Computer security |
| Source of heading or term |
fast |
| 9 (RLIN) |
2191 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
| Topical term or geographic name as entry element |
Data encryption (Computer science) |
| Source of heading or term |
fast |
| 9 (RLIN) |
13647 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
| Topical term or geographic name as entry element |
Internet |
| General subdivision |
Security measures |
| Source of heading or term |
fast |
| 9 (RLIN) |
16516 |
| 655 #2 - INDEX TERM--GENRE/FORM |
| Genre/form data or focus term |
Congress |
| 9 (RLIN) |
11670 |
| 655 #7 - INDEX TERM--GENRE/FORM |
| Genre/form data or focus term |
proceedings (reports) |
| Source of term |
aat |
| 655 #7 - INDEX TERM--GENRE/FORM |
| Genre/form data or focus term |
Conference papers and proceedings |
| Source of term |
fast |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
| Genre/form data or focus term |
Conference papers and proceedings. |
| Source of term |
lcgft |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
| Genre/form data or focus term |
Actes de congrès. |
| Source of term |
rvmgf |
| 9 (RLIN) |
609890 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
| Personal name |
Datta, Anupam. |
| 9 (RLIN) |
37087 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
| Relationship information |
Print version: |
| Main entry heading |
Asian Computing Science Conference (13th : 2009 : Seoul, Korea). |
| Title |
Advances in computer science--ASIAN 2009. |
| Place, publisher, and date of publication |
Berlin ; New York : Springer, ©2009 |
| International Standard Book Number |
9783642106217 |
| Record control number |
(DLC) 2009939838 |
| -- |
(OCoLC)471802587 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
5913. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/978-3-642-10622-4">https://link.springer.com/10.1007/978-3-642-10622-4</a> |
| 938 ## - |
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
3169713 |
| 994 ## - |
| -- |
92 |
| -- |
ATIST |