عنوان

Principles of security and trust :

شابک

3319897225

شابک

9783319897226

شابک اشتباه

9783319897219

عنوان اصلي

Principles of security and trust :

نام عام مواد

[Book]

ساير اطلاعات عنواني

7th International Conference, POST 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings /

نام نخستين پديدآور

Lujo Bauer, Ralf Küsters (eds.).

محل نشرو پخش و غیره

Cham, Switzerland :

نام ناشر، پخش کننده و غيره

Springer Open,

تاریخ نشرو بخش و غیره

2018.

نام خاص و کميت اثر

1 online resource (xiv, 347 pages) :

ساير جزييات

illustrations

عنوان فروست

Advanced research in computing and software science

عنوان فروست

Lecture notes in computer science,

عنوان فروست

LNCS sublibrary. SL 4, Security and cryptology

مشخصه جلد

10804

شاپا ي ISSN فروست

0302-9743 ;

متن يادداشت

International conference proceedings.

متن يادداشت

Includes bibliographical references and index.

متن يادداشت

Information Flow and Non-Intereference -- What's the Over/Under? Probabilistic Bounds on Information Leakage -- Secure Information Release in Timed Automata -- Compositional Non-Interference for Concurrent Programs via Separation and Framing -- The Meaning of Memory Safety -- Leakage, Information Flow, and Protocols -- Formal Verification of Integrity Preserving Countermeasures Against Cache Storage -- Leakage and Protocol Composition in a Game-theoretic Perspective -- Equivalence Properties by Typing in Cryptographic Branching Protocols -- Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience -- Smart Contracts and Privacy -- SoK: Unraveling Bitcoin Smart Contracts -- A Semantic Framework for the Security Analysis of Ethereum Smart Contracts -- Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts -- UniTraX: Protecting Data Privacy with Discoverable Biases -- Firewalls and Attack-Defense Trees -- Transcompiling Firewalls -- On Quantitative Analysis of Attack-Defense Trees with Repeated Labels.

بدون عنوان

0

متن يادداشت

This book is Open Access under a CC BY licence.

منبع سفارش / آدرس اشتراک

Springer Nature

شماره انبار

com.springer.onix.9783319897226

عنوان اصلي به زبان ديگر

POST 2018

موضوع مستند نشده

Computer security, Congresses.

موضوع مستند نشده

Data encryption (Computer science), Congresses.

موضوع مستند نشده

Algorithms & data structures.

موضوع مستند نشده

Computer science.

موضوع مستند نشده

Computer security.

موضوع مستند نشده

Computer security.

موضوع مستند نشده

Computers-- Computer Science.

موضوع مستند نشده

Computers-- Hardware-- Handheld Devices.

موضوع مستند نشده

Computers-- Information Theory.

موضوع مستند نشده

Computers-- Security-- General.

موضوع مستند نشده

Computers-- Social Aspects-- Human-Computer Interaction.

موضوع مستند نشده

Data encryption (Computer science)

موضوع مستند نشده

Information technology: general issues.

موضوع مستند نشده

Systems analysis & design.

شماره

ويراست

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

Bauer, Lujo

مستند نام اشخاص تاييد نشده

Küsters, Ralf

مستند نام تنالگان تاييد نشده

POST (Conference)(7th :2018 :, Thessalonikē, Greece)

مستند نام تنالگان تاييد نشده

ETAPS (Conference)(21st :2018 :, Thessalonikē , Greece)

تاريخ عمليات

20200823114726.0

قواعد فهرست نويسي ( بخش توصيفي )

pn

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y