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

• 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
• Bộ sưu tập: Tài liệu truy cập mở
• ID: 187313
• Chủ đề: 1. Computer science

Tóm tắt

 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