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 |