Amazon cover image
Image from Amazon.com

Principles of Security and Trust: 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

By: Contributor(s): Material type: ArticleArticleLanguage: English Series: Security and Cryptology ; v.10804Publication details: Cham Springer Nature 2018ISBN:
  • 9783319897226
Subject(s): Online resources: Summary: authentication; computer science; computer software selection and evaluation; cryptography; data privacy; formal logic; formal methods; formal specification; internet; privacy; program compilers; programming languages; security analysis; security systems; semantics; separation logic; software engineering; specifications; verification; world wide web
List(s) this item appears in: Faculty Informational Technology
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Shelving location Call number Vol info Status Notes Date due Barcode
Electronic edition Bucheon University Library Computers OAPEN 004 S43 v.10804 v.10804 Not for loan Смотреть (pdf) 1010490

Open Access star Unrestricted online access

authentication; computer science; computer software selection and evaluation; cryptography; data privacy; formal logic; formal methods; formal specification; internet; privacy; program compilers; programming languages; security analysis; security systems; semantics; separation logic; software engineering; specifications; verification; world wide web

Creative Commons https://creativecommons.org/licenses/by/4.0/ cc

English

There are no comments on this title.

to post a comment.