Languages
Maffei, Matteo.
Overview
| Works: | 0 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Trustworthy global computing = 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014 : revised selected papers /
by:
Maffei, Matteo.; Tuosto, Emilio.; SpringerLink (Online service)
(Electronic resources)
Principles of security and trust = 6th International Conference, POST 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings /
by:
POST (Conference) (2017 :); Maffei, Matteo.; Ryan, Mark.; SpringerLink (Online service); ETAPS (Conference) (2017 :)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Theory of Computation.
Computer software- Validation
Information Systems Applications (incl. Internet)
Management of Computing and Information Systems.
Data encryption (Computer science)
Computer networks- Security measures
Computer security
Security.
Data Encryption.
Computer software- Verification
Computer Science.
Systems and Data Security.
Computer Systems Organization and Communication Networks.
Computers and Society.