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

 0 Người đánh giá. Xếp hạng trung bình 0

Tác giả: Lujo Bauer, Ralf Küsters

Ngôn ngữ: eng

ISBN-13: 978-3319897219

ISBN-13: 978-3319897226

Ký hiệu phân loại: 005.8 Data security

Thông tin xuất bản: Cham : Springer, 2018

Mô tả vật lý:

Bộ sưu tập: Tài liệu truy cập mở

ID: 187313

 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
Tạo bộ sưu tập với mã QR

THƯ VIỆN - TRƯỜNG ĐẠI HỌC CÔNG NGHỆ TP.HCM

ĐT: (028) 71010608 | Email: tt.thuvien@hutech.edu.vn

Copyright @2024 THƯ VIỆN HUTECH