MARC details
| 000 -LÍDER |
|---|
| fixed length control field |
05146nam a22005415i 4500 |
| 001 - NÚMERO DE CONTROL |
|---|
| control field |
u374272 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
|---|
| control field |
SIRSI |
| 005 - FECHA Y HORA DE LA ULTIMA TRANSACCIÓN |
|---|
| control field |
20160812084226.0 |
| 007 - CAMPO FIJO DE DESCRIPCIÓN FIJA--INFORMACIÓN GENERAL |
|---|
| fixed length control field |
cr nn 008mamaa |
| 008 - ELEMENTOS DE LONGITUD FIJA -- INFORMACIÓN GENERAL |
|---|
| fixed length control field |
100429s2010 gw | s |||| 0|eng d |
| 020 ## - NÚMERO INTERNACIONAL NORMALIZADO PARA LIBROS |
|---|
| International Standard Book Number |
9783642124594 |
| -- |
978-3-642-12459-4 |
| 040 ## - FUENTE DE CATALOGACIÓN |
|---|
| Transcribing agency |
MX-MeUAM |
| 050 #4 - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO |
|---|
| Classification number |
TK5105.5-5105.9 |
| 082 04 - NÚMERO DE CLASIFICACIÓN DECIMAL DEWEY |
|---|
| Classification number |
004.6 |
| Edition number |
23 |
| 100 1# - ASIENTO PRINCIPAL--NOMBRE PERSONAL |
|---|
| Personal name |
Degano, Pierpaolo. |
| Relator term |
editor. |
| 245 10 - MENCIÓN DE TITULO |
|---|
| Title |
Formal Aspects in Security and Trust |
| Medium |
[recurso electrónico] : |
| Remainder of title |
6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers / |
| Statement of responsibility, etc. |
edited by Pierpaolo Degano, Joshua D. Guttman. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Berlin, Heidelberg : |
| Name of producer, publisher, distributor, manufacturer |
Springer Berlin Heidelberg, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2010. |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extent |
X, 279p. 46 illus. |
| Other physical details |
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 |
| Encoding format |
PDF |
| Source |
rda |
| 490 1# - MENCIÓN DE SERIE |
|---|
| Series statement |
Lecture Notes in Computer Science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
5983 |
| 505 0# - NOTA DE CONTENIDO |
|---|
| Formatted contents note |
Invited Lecture -- Semantics and Enforcement of Expressive Information Flow Policies -- Session 1. Trust -- An Algebra for Trust Dilution and Trust Fusion -- HMM-Based Trust Model -- Deriving Trust from Experience -- Reflections on Trust: Trust Assurance by Dynamic Discovery of Static Properties -- Session 2. Workflow and Orchestration -- Model Checking of Security-Sensitive Business Processes -- Session 3. Secure Flow -- Analysing the Information Flow Properties of Object-Capability Patterns -- Applied Quantitative Information Flow and Statistical Databases -- Specification and Verification of Side Channel Declassification -- Secure Information Flow for Distributed Systems -- Session 4. Mobility and Deniability -- Probable Innocence in the Presence of Independent Knowledge -- A Calculus of Trustworthy Ad Hoc Networks -- Session 5. Protocols 1 -- Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties -- Game-Based Verification of Multi-Party Contract Signing Protocols -- Attack, Solution and Verification for Shared Authorisation Data in TCG TPM -- Session 6. Protocols 2 -- Trusted Multiplexing of Cryptographic Protocols -- Specifying and Modelling Secure Channels in Strand Spaces -- Session 7. Protocols 3 -- Integrating Automated and Interactive Protocol Verification -- A User Interface for a Game-Based Protocol Verification Tool. |
| 520 ## - NOTA DE RESUMEN, ETC. |
|---|
| Summary, etc. |
The present volume contains the proceedings of the 6th International workshop on Formal Aspects of Security and Trust (fast 2009), held in Eindhoven, The Netherlands, 5–6 November 2009, as part of Formal Methods Week 2009. fast is sponsored by IFIP WG 1.7 on Foundations of Security Analysis and Design. The previous ?ve fast workshop editions have fostered cooperation among researchers in the areas of security and trust, and we aimed to continue this tradition. As computing and networkinfrastructures become increasingly per- sive, and as they carry increasing economic activity, society needs well-matched security and trust mechanisms. These interactions increasingly span several - terprises and involve loosely structured communities of individuals. Participants in these activities must control interactions with their partners based on trust policies and business logic. Trust-based decisions e?ectively determine the se- ritygoalsforsharedinformationandfor accessto sensitiveorvaluableresources. fast sought original papers focusing of formal aspects of: security and trust policy models; security protocol design and analysis; formal models of trust and reputation; logics for security and trust; distributed trust management s- tems; trust-based reasoning; digital assets protection; data protection; privacy and id issues; information ?ow analysis; language-based security; security and trust aspects in ubiquitous computing; validation/analysis tools; Web service security/trust/privacy; grid security; security risk assessment; and case studies. The fast proceedings contain—in addition to an abstract of the invited talk by Anindya Banerjee—revisionsoffull papersacceptedforpresentationat fast. |
| 596 ## - |
|---|
| -- |
19 |
| 650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
|---|
| Topical term or geographic name as entry element |
Computer science. |
| 650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
|---|
| Topical term or geographic name as entry element |
Computer Communication Networks. |
| 650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
|---|
| Topical term or geographic name as entry element |
Data protection. |
| 650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
|---|
| Topical term or geographic name as entry element |
Data encryption (Computer science). |
| 650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
|---|
| Topical term or geographic name as entry element |
Information storage and retrieval systems. |
| 650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
|---|
| Topical term or geographic name as entry element |
Information Systems. |
| 650 14 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
|---|
| Topical term or geographic name as entry element |
Computer Science. |
| 650 24 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
|---|
| Topical term or geographic name as entry element |
Computer Communication Networks. |
| 650 24 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
|---|
| Topical term or geographic name as entry element |
Data Encryption. |
| 650 24 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
|---|
| Topical term or geographic name as entry element |
Systems and Data Security. |
| 650 24 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
|---|
| Topical term or geographic name as entry element |
Computers and Society. |
| 650 24 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
|---|
| Topical term or geographic name as entry element |
Management of Computing and Information Systems. |
| 650 24 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
|---|
| Topical term or geographic name as entry element |
Information Storage and Retrieval. |
| 700 1# - ASIENTO SECUNDARIO - NOMBRE PERSONAL |
|---|
| Personal name |
Guttman, Joshua D. |
| Relator term |
editor. |
| 710 2# - ASIENTO SECUNDARIO - NOMBRE CORPORATIVO |
|---|
| Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY |
|---|
| Title |
Springer eBooks |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Printed edition: |
| International Standard Book Number |
9783642124587 |
| 830 #0 - ASIENTO SECUNDARIO DE SERIE--TITULO UNIFORME |
|---|
| Uniform title |
Lecture Notes in Computer Science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume number/sequential designation |
5983 |
| 856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS |
|---|
| Public note |
Libro electrónico |
| Uniform Resource Identifier |
<a href="http://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-12459-4">http://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-12459-4</a> |
| 942 ## - TIPO DE MATERIAL (KOHA) |
|---|
| Koha item type |
Libro Electrónico |
