Etalle, Sandro.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Formal aspects of security and trust = 7th international workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 : revised selected papers /
by:
Degano, Pierpaolo.; Etalle, Sandro.; Guttman, Joshua.; SpringerLink (Online service)
(Electronic resources)
Logic Based Program Synthesis and Transformation = 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers /
by:
Etalle, Sandro.; SpringerLink (Online service); LOPSTR 2004 ((2004 :)
(Language materials, printed)
Subjects
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Logic programming
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Management of Computing and Information Systems.
Formal methods (Computer science)
Information Storage and Retrieval.
Computer security
Data Encryption.
Computer Science.
Public key infrastructure (Computer security)
Computer Communication Networks.
Systems and Data Security.
Computers and Society.