8th International Conference, POST 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings /
نام نخستين پديدآور
Flemming Nielson, David Sands (eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cham, Switzerland :
نام ناشر، پخش کننده و غيره
Springer Open,
تاریخ نشرو بخش و غیره
2019.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xi, 249 pages) :
ساير جزييات
illustrations (some color).
فروست
عنوان فروست
Advanced research in computing and software science
عنوان فروست
Lecture notes in computer science ;
عنوان فروست
LNCS sublibrary. SL 4, Security and cryptology
مشخصه جلد
11426
يادداشت کلی
متن يادداشت
Includes author index.
متن يادداشت
International conference proceedings.
یادداشتهای مربوط به مندرجات
متن يادداشت
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.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This open access book constitutes the proceedings of the 8th International Conference on Principles of Security and Trust, POST 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with theoretical and foundational aspects of security and trust, including on new theoretical results, practical applications of existing foundational ideas, and innovative approaches stimulated by pressing practical problems. --
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
Springer Nature
شماره انبار
com.springer.onix.9783030171384
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
POST 2019
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer security, Congresses.
موضوع مستند نشده
Data encryption (Computer science), Congresses.
موضوع مستند نشده
Computer security.
موضوع مستند نشده
Data encryption (Computer science)
رده بندی ديویی
شماره
005
.
8
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
9
.
A25
نشانه اثر
P67
2019eb
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Nielson, Flemming,1955-
مستند نام اشخاص تاييد نشده
Sands, David,1965-
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
POST (Conference)(8th :2019 :, Prague, Czech Republic)