Cover Image

Principles of Security and Trust

License: CC BY

Saved in:
Bibliographic Details
Main Authors: Nielson, Flemming, Sands, David
Format: Book
Language:English
Published: Springer Open 2023
Subjects:
access control
anonymity
artificial intelligence
authentication
crypto foundations
data security
formal logic
formal methods
software engineering
software evaluation
Online Access:https://link.springer.com/book/10.1007/978-3-030-17138-4
https://dlib.phenikaa-uni.edu.vn/handle/PNK/6937
Tags: Add Tag
No Tags, Be the first to tag this record!
id oai:localhost:PNK-6937
record_format dspace
spelling oai:localhost:PNK-69372023-03-16T07:20:13Z Principles of Security and Trust Nielson, Flemming Sands, David access control anonymity artificial intelligence authentication crypto foundations data security formal logic formal methods software engineering software evaluation License: CC BY 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. 2023-03-16T07:20:13Z 2023-03-16T07:20:13Z 2019 Book 978-3-030-17138-4 https://link.springer.com/book/10.1007/978-3-030-17138-4 https://dlib.phenikaa-uni.edu.vn/handle/PNK/6937 en application/pdf Springer Open
institution Digital Phenikaa
collection Digital Phenikaa
language English
topic access control
anonymity
artificial intelligence
authentication
crypto foundations
data security
formal logic
formal methods
software engineering
software evaluation
spellingShingle access control
anonymity
artificial intelligence
authentication
crypto foundations
data security
formal logic
formal methods
software engineering
software evaluation
Nielson, Flemming
Sands, David
Principles of Security and Trust
description License: CC BY
format Book
author Nielson, Flemming
Sands, David
author_facet Nielson, Flemming
Sands, David
author_sort Nielson, Flemming
title Principles of Security and Trust
title_short Principles of Security and Trust
title_full Principles of Security and Trust
title_fullStr Principles of Security and Trust
title_full_unstemmed Principles of Security and Trust
title_sort principles of security and trust
publisher Springer Open
publishDate 2023
url https://link.springer.com/book/10.1007/978-3-030-17138-4
https://dlib.phenikaa-uni.edu.vn/handle/PNK/6937
_version_ 1760553560791056384
score 8.891145

Similar Items