Principles of Security and Trust: 8th International Conference, Post 2019, Held as Part of the European Joint Conferences on Theory and Practice of So » książka

zaloguj się | załóż konto

topmenu

Szukaj

Książki na zamówienie

Wyszukiwanie zaawansowane

Pusty koszyk

Bezpłatna dostawa dla zamówień powyżej 20 zł

Kategorie główne

• Nauka

[2946912]

• Literatura piękna

[1852311]

więcej...

Kategorie szczegółowe BISAC

Principles of Security and Trust: 8th International Conference, Post 2019, Held as Part of the European Joint Conferences on Theory and Practice of So

Name: Principles of Security and Trust: 8th International Conference, Post 2019, Held as Part of the European Joint Conferences on Theory and Practice of So
Brand: Springer
Price: 201.24 PLN
Availability: InStock

ISBN-13: 9783030171377 / Angielski / Miękka / 2019 / 249 str.

Flemming Nielson; David Sands

Principles of Security and Trust: 8th International Conference, Post 2019, Held as Part of the European Joint Conferences on Theory and Practice of So

ISBN-13: 9783030171377 / Angielski / Miękka / 2019 / 249 str.

Flemming Nielson; David Sands

cena 201,24
(netto: 191,66 VAT: 5%)

Najniższa cena z 30 dni: 192,74

Termin realizacji zamówienia:
ok. 22 dni roboczych
Bez gwarancji dostawy przed świętami

Darmowa dostawa!

Kategorie:

Informatyka, Bazy danych

Kategorie BISAC:

Computers > Security - General
Computers > Software Development & Engineering - General
Computers > Artificial Intelligence - General

Wydawca:

Springer

Seria wydawnicza:

Lecture Notes in Computer Science

Język:

Angielski

ISBN-13:

9783030171377

Rok wydania:

2019

Wydanie:

2019

Ilość stron:

249

Waga:

0.37 kg

Wymiary:

23.39 x 15.6 x 1.4

Oprawa:

Miękka

Wolumenów:

Dodatkowe informacje:

Wydanie ilustrowane

Foundations for parallel information ow control runtime systems.- A Formal Analysis of Timing Channel Security via Bucketing.- A Dependently Typed Library for Static Information-Flow Control in Idris.- Achieving Safety Incrementally with Checked C.- Wys*: A DSL for Verified Secure Multi-party Computations.- Generalised Differential Privacy for Text Document Processing.- Symbolic verification of distance bounding protocols.- On the formalisation of Ʃ-Protocols and Commitment Schemes.- Orchestrating Layered Attestations.- Verifying liquidity of Bitcoin contracts.

This book is Open Access under a CC BY licence.

Krainaksiazek.pl w programie rzetelna firma

Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Zobacz:

1997-2025 DolnySlask.com Agencja Internetowa