Languages
Martinelli, Fabio.
Overview
| Works: | 0 works in 5 publications in 1 languages | |
|---|---|---|
Titles
Formal aspects in security and trust = 5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 ; revised selected papers /
by:
SpringerLink (Online service); Degano, Pierpaolo.; Congress on Progress and Controversies in Oncological Urology (2000:); Martinelli, Fabio.; Guttman, Joshua.
(Electronic resources)
Formal Aspects in Security and Trust = IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France /
by:
SpringerLink (Online service); Dimitrakos, Theo.; Congress on Progress and Controversies in Oncological Urology (2000:); Martinelli, Fabio.
(Electronic resources)
omputer security - ESORICS 2012 = 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012 : proceedings /
by:
SpringerLink (Online service); Yung, Moti.; Congress on Progress and Controversies in Oncological Urology (2000:); Martinelli, Fabio.; Foresti, Sara.
(Electronic resources)
Public key infrastructures, services and applications = 6th European workshop, EuroPKI 2009, Pisa, Italy, September 10-11, 2009 : revised selected papers /
by:
SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Preneel, Bart.; Martinelli, Fabio.
(Electronic resources)
Foundations of Security Analysis and Design III : = FOSAD 2004/2005 Tutorial Lectures
by:
Gorrieri, Roberto.; Martinelli, Fabio.; SpringerLink (Online service); Aldini, Alessandro.
(Electronic resources)
Subjects
Software Engineering.
Formal methods (Computer science)
Trust
Systems and Data Security.
Algorithm Analysis and Problem Complexity.
Data Encryption.
Operating Systems.
Computer Communication Networks.
Public key infrastructure (Computer security)
Data protection
Computer Science.
Data encryption (Computer science)
Programming Languages, Compilers, Interpreters.
Pattern Recognition.
Information Systems Applications (incl. Internet)
Logics and Meanings of Programs.
Models and Principles.
Performance and Reliability.
Management of Computing and Information Systems.
Computer security
e-Commerce/e-business.
Information Systems and Communication Service.
Computers and Society.
Data Structures, Cryptology and Information Theory.
Computer networks- Security measures
Information Storage and Retrieval.
Public key cryptography