MARC details
| 000 -LEADER |
|---|
| fixed length control field |
07278cam a2200973 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn798568507 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703161655.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 cnu---unuuu |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
120709s2012 gw a ob 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
GW5XE |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
GW5XE |
| Modifying agency |
ZMC |
| -- |
C$Q |
| -- |
COO |
| -- |
OCLCA |
| -- |
OCLCQ |
| -- |
E7B |
| -- |
MEAUC |
| -- |
OCLCF |
| -- |
BEDGE |
| -- |
OCLCO |
| -- |
YDXCP |
| -- |
AU@ |
| -- |
VT2 |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
EBLCP |
| -- |
OCLCQ |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
IOG |
| -- |
OCLCA |
| -- |
CEF |
| -- |
U3W |
| -- |
WYU |
| -- |
YOU |
| -- |
TKN |
| -- |
LEAUB |
| -- |
OCLCQ |
| -- |
AJS |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
UKAHL |
| -- |
OCLCO |
| -- |
COM |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCL |
| -- |
OCLCQ |
| -- |
OCLCL |
| 019 ## - |
|---|
| -- |
848081432 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783642294204 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3642294200 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783642294198 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-642-29420-4 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000050021848 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000051582086 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000058159327 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000060029456 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000060389967 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
384333028 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
14554664 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)798568507 |
| Canceled/invalid control number |
(OCoLC)848081432 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.9.A25 |
| Item number |
F37 2011 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.8 |
| Edition number |
23 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
FAST (Workshop) |
| Number of part/section/meeting |
(8th : |
| Date of meeting |
2011 : |
| Location of meeting |
Leuven, Belgium) |
| 9 (RLIN) |
45732 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Formal aspects of security and trust : |
| Remainder of title |
8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised selected papers / |
| Statement of responsibility, etc. |
Gilles Barthe, Anupam Datta, Sandro Etalle (eds.). |
| 246 30 - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
FAST 2011 |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
©2012. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (x, 277 pages) : |
| Other physical details |
illustrations |
| 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 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science, |
| International Standard Serial Number |
1611-3349 ; |
| Volume/sequential designation |
7140 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
LNCS sublibrary. SL 4, Security and cryptology |
| 505 00 - FORMATTED CONTENTS NOTE |
|---|
| Title |
Verifying Cryptographic Code in C: Some Experience and the Csec Challenge / |
| Statement of responsibility |
Mihhail Aizatulin, François Dupressoir, Andrew D. Gordon and Jan Jürjens -- |
| Title |
Better Security and Privacy for Web Browsers: A Survey of Techniques, and a New Implementation / |
| Statement of responsibility |
Willem De Groef, Dominique Devriese and Frank Piessens -- |
| Title |
Differential Privacy: On the Trade-Off between Utility and Information Leakage / |
| Statement of responsibility |
Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano and Catuscia Palamidessi -- |
| Title |
On-the-Fly Inlining of Dynamic Dependency Monitors for Secure Information Flow / |
| Statement of responsibility |
Luciano Bello and Eduardo Bonelli -- |
| Title |
Min-Entropy Leakage of Channels in Cascade / |
| Statement of responsibility |
Barbara Espinoza and Geoffrey Smith -- |
| Title |
Secure Recharge of Disposable RFID Tickets / |
| Statement of responsibility |
Riccardo Focardi and Flaminia L. Luccio -- |
| Title |
Avoiding Delegation Subterfuge Using Linked Local Permission Names / |
| Statement of responsibility |
Simon N. Foley and Samane Abdi -- |
| Title |
Verifiable Control Flow Policies for Java Bytecode / |
| Statement of responsibility |
Arnaud Fontaine, Samuel Hym and Isabelle Simplot-Ryl -- |
| Title |
Concepts and Proofs for Configuring PKCS#11 / |
| Statement of responsibility |
Sibylle Fröschle and Nils Sommer -- |
| Title |
Service Automata / |
| Statement of responsibility |
Richard Gay, Heiko Mantel and Barbara Sprick -- |
| Title |
Analysing Applications Layered on Unilaterally Authenticating Protocols / |
| Statement of responsibility |
Thomas Gibson-Robinson and Gavin Lowe -- |
| Title |
Type-Based Enforcement of Secure Programming Guidelines -- Code Injection Prevention at SAP / |
| Statement of responsibility |
Robert Grabowski, Martin Hofmann and Keqin Li -- |
| Title |
TBA : A Hybrid of Logic and Extensional Access Control Systems / |
| Statement of responsibility |
Timothy L. Hinrichs, William C. Garrison III, Adam J. Lee, Skip Saunders and John C. Mitchell -- |
| Title |
Diffie-Hellman without Difficulty / |
| Statement of responsibility |
Sebastian Mödersheim -- |
| Title |
Is Cryptyc Able to Detect Insider Attacks? / |
| Statement of responsibility |
Behnam Sattarzadeh and Mehran S. Fallah -- |
| Title |
Formal Analysis of Anonymity in ECC-Based Direct Anonymous Attestation Schemes / |
| Statement of responsibility |
Ben Smyth, Mark Ryan and Liqun Chen -- |
| Title |
Risk Balance in Optimistic Non-repudiation Protocols / |
| Statement of responsibility |
Mohammad Torabi Dashti, Jan Cederquist and Yanjing Wang. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and author index. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Online resource; title from PDF title page (SpringerLink, viewed August 14, 2012). |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Formal Aspects of Security and Trust, FAST 2011, held in conjunction with the 16th European Symposium on Research in Computer Security, ESORICS 2011, in Leuven, Belgium in September 2011. The 15 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 42 submissions. The papers focus on security and trust policy models; security protocol design and analysis; formal models of trust and reputation; logics for security and trust; distributed trust management systems; trust-based reasoning; digital assets protection; data protection; privacy and ID issues; information flow analysis; language-based security; security and trust aspects of ubiquitous computing; validation/analysis tools; web service security/trust/privacy; grid security; security risk assessment; and case studies. |
| 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 |
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 |
Data protection |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15989 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Formal methods (Computer science) |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15679 |
| 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 |
Chiffrement (Informatique) |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
16510 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Protection de l'information (Informatique) |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
17410 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Méthodes formelles (Informatique) |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
18838 |
| 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 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 |
Data protection |
| Source of heading or term |
fast |
| 9 (RLIN) |
15990 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Formal methods (Computer science) |
| Source of heading or term |
fast |
| 9 (RLIN) |
15635 |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Computer science. |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Computer Communication Networks. |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Data protection. |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Data encryption (Computer science) |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Information storage and retrieval systems. |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Information Systems. |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Systems and Data Security. |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Computers and Society. |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Management of Computing and Information Systems. |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Information Storage and Retrieval. |
| 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 |
Barthe, Gilles, |
| Dates associated with a name |
1967- |
| -- |
https://id.oclc.org/worldcat/entity/E39PCjCWTXyWGC3rC79RPhrJcP |
| 9 (RLIN) |
16988 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Datta, Anupam. |
| 9 (RLIN) |
37087 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Etalle, Sandro. |
| 9 (RLIN) |
26793 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
Formal aspects of security and trust (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCGfPrgp7wjC3rB4pgkGJpd |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Printed edition: |
| International Standard Book Number |
9783642294198 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
7140. |
| International Standard Serial Number |
1611-3349 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
LNCS sublibrary. |
| Number of part/section of a work |
SL 4, |
| Name of part/section of a work |
Security and cryptology. |
| 9 (RLIN) |
20708 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/978-3-642-29420-4">https://link.springer.com/10.1007/978-3-642-29420-4</a> |
| 938 ## - |
|---|
| -- |
Askews and Holts Library Services |
| -- |
ASKH |
| -- |
AH28965553 |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL3069969 |
| 938 ## - |
|---|
| -- |
ebrary |
| -- |
EBRY |
| -- |
ebr10651307 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
9459336 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |