Principles of Security and Trust (Record no. 205755)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 04051nam a22006015i 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783662544556 |
| -- | 978-3-662-54455-6 |
| 040 ## - CATALOGING SOURCE | |
| Transcribing agency | CUS |
| 245 10 - TITLE STATEMENT | |
| Title | Principles of Security and Trust |
| Sub title | 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / |
| Statement of responsibility, etc. | edited by Matteo Maffei, Mark Ryan. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2017. |
| 300 ## - DESCRIPTION | |
| Extent | XII, 321 p. 59 illus. |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Information Flow -- Timing-Sensitive Noninterference through Composition -- Quantifying vulnerability of secret generation using hyper-distributions -- A Principled Approach to Tracking Information Flow in the Presence of Libraries -- Secure Multi-Party Computation: Information Flow of Outputs and Game Theory -- Security Protocols -- Automated verification of dynamic root of trust protocols -- Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols -- On communication models when verifying equivalence properties -- A survey of attacks on Ethereum smart contracts (SoK) -- Security Policies -- Security Analysis of Cache Replacement Policies -- Model Checking Exact Cost for Attack Scenarios -- Postulates for Revocation Schemes -- Defense in Depth Formulation and Usage in Dynamic Access Control -- Information Leakage -- Compositional Synthesis of Leakage Resilient Programs -- Combining Differential Privacy and Mutual Information for Analyzing Leakages in Workflows. |
| 650 #0 - SUBJECT | |
| Keyword | Computer security. |
| 650 #0 - SUBJECT | |
| Keyword | Data protection. |
| 650 #0 - SUBJECT | |
| Keyword | Data encryption (Computer science). |
| 650 #0 - SUBJECT | |
| Keyword | Management information systems. |
| 650 #0 - SUBJECT | |
| Keyword | Computer science. |
| 650 #0 - SUBJECT | |
| Keyword | Computers and civilization. |
| 650 #0 - SUBJECT | |
| Keyword | Computers. |
| 650 14 - SUBJECT | |
| Keyword | Systems and Data Security. |
| 650 24 - SUBJECT | |
| Keyword | Security. |
| 650 24 - SUBJECT | |
| Keyword | Cryptology. |
| 650 24 - SUBJECT | |
| Keyword | Management of Computing and Information Systems. |
| 650 24 - SUBJECT | |
| Keyword | Computers and Society. |
| 650 24 - SUBJECT | |
| Keyword | Theory of Computation. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Maffei, Matteo. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Ryan, Mark. |
| 856 40 - ONLINE RESOURCES | |
| url | https://doi.org/10.1007/978-3-662-54455-6 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | e-Books |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 912 ## - | |
| -- | ZDB-2-SXCS |
| 912 ## - | |
| -- | ZDB-2-LNC |
| Home library | Current library | Full call number | Accession number | Koha item type |
|---|---|---|---|---|
| Central Library, Sikkim University | Central Library, Sikkim University | 005.8 | E-3110 | e-Books |