The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy

QR Code (код быстрого отклика)

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy

Сохранить в:

Библиографические подробности
Главные авторы:	Alvim, Mário S., Chatzikokolakis, Kostas, Olarte, Carlos, Valencia, Frank
Формат:	‌
Язык:	English
Опубликовано:	Springer International Publishing 2020
Предметы:	Computer Science Theory of Computation Software Engineering/Programming and Operating Systems Probability and Statistics in Computer Science
Online-ссылка:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/91191
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Схожие документы

Information Security and Privacy
Опубликовано: (2020)

Concurrency, Security, and Puzzles
по: Gibson-Robinson, Thomas, et al.
Опубликовано: (2020)

Data Privacy Management, Cryptocurrencies and Blockchain Technology
по: Garcia-Alfaro, Joaquin, et al.
Опубликовано: (2020)

Transactions on Petri Nets and Other Models of Concurrency II
Опубликовано: (2020)

Petri Nets and Other Models of Concurrency - ICATPN 2007
по: Kleijn, Jetty, et al.
Опубликовано: (2020)

Advances in Cryptology – CRYPTO 2018
по: Shacham, Hovav, et al.
Опубликовано: (2020)

Information Systems Security and Privacy
по: Mori, Paolo, et al.
Опубликовано: (2020)

Engineering Secure Software and Systems
Опубликовано: (2020)

Privacy Enhancing Technologies
Опубликовано: (2020)

Information Security and Privacy
Опубликовано: (2020)

Information Security and Privacy
по: Pieprzyk, Josef, et al.
Опубликовано: (2020)

Information Security and Privacy
по: Mu, Yi, et al.
Опубликовано: (2020)

Trust, Privacy and Security in Digital Business
по: Lopez, Javier, et al.
Опубликовано: (2020)

Data and Applications Security and Privacy XXXII
по: Kerschbaum, Florian, et al.
Опубликовано: (2020)

Data and Applications Security and Privacy XXXI
по: Livraga, Giovanni, et al.
Опубликовано: (2020)

Trust, Privacy and Security in Digital Business
по: Furnell, Steven, et al.
Опубликовано: (2020)

Security and Privacy in Communication Networks
по: Deng, Robert, et al.
Опубликовано: (2020)

Security and Privacy in Communication Networks
по: Lin, Xiaodong, et al.
Опубликовано: (2020)

The Journey to Enterprise Agility
по: Kulak, Daryl, et al.
Опубликовано: (2020)

Trust, Privacy and Security in Digital Business
по: Lambrinoudakis, Costas, et al.
Опубликовано: (2020)

Trust, Privacy and Security in Digital Business
Опубликовано: (2020)

Trust, Privacy, and Security in Digital Business
по: Katsikas, Sokratis, et al.
Опубликовано: (2020)

Information Security Education – Towards a Cybersecure Society
по: Drevin, Lynette, et al.
Опубликовано: (2020)

Security and Privacy in Communication Networks
Опубликовано: (2020)

Cryptology and Network Security
по: Camenisch, Jan, et al.
Опубликовано: (2020)

Application and Theory of Petri Nets and Concurrency
по: Khomenko, Victor, et al.
Опубликовано: (2020)

Application and Theory of Petri Nets and Concurrency
по: Aalst, Wil van der, et al.
Опубликовано: (2020)

Secure Transaction Protocol Analysis
Опубликовано: (2020)

Computer Safety, Reliability, and Security
Опубликовано: (2020)

Financial Cryptography and Data Security
по: Kiayias, Aggelos
Опубликовано: (2020)

Risks and Security of Internet and Systems
по: Cuppens, Frédéric, et al.
Опубликовано: (2020)

Language, Logic, and Computation
по: Silva, Alexandra, et al.
Опубликовано: (2020)

Logic Programming
по: Gabbrielli, Maurizio, et al.
Опубликовано: (2020)

Logic Programming
по: Dahl, Verónica, et al.
Опубликовано: (2020)

Security and Privacy in Ad-hoc and Sensor Networks
по: Stajano, Frank, et al.
Опубликовано: (2020)

The Amazing Journey of Reason
по: Alemi, Mario
Опубликовано: (2020)

Privacy Enhancing Technologies
по: Danezis, George, et al.
Опубликовано: (2020)

Transactions on Petri Nets and Other Models of Concurrency XII
Опубликовано: (2020)

Advances in Computer Science, Information Security and Privacy
Опубликовано: (2020)

E-Democracy – Privacy-Preserving, Secure, Intelligent E-Government Services
по: Katsikas, Sokratis K., et al.
Опубликовано: (2020)