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.
Trust
Formal methods (Computer science)
Systems and Data Security.
Algorithm Analysis and Problem Complexity.
Data Encryption.
Operating Systems.
Computer Communication Networks.
Public key infrastructure (Computer security)
Data protection
Public key cryptography
Computer Science.
Data encryption (Computer science)
Pattern Recognition.
Programming Languages, Compilers, Interpreters.
Models and Principles.
Information Systems Applications (incl. Internet)
Logics and Meanings of Programs.
Performance and Reliability.
Management of Computing and Information Systems.
Computer security
Information Systems and Communication Service.
e-Commerce/e-business.
Data Structures, Cryptology and Information Theory.
Computers and Society.
Computer networks- Security measures
Information Storage and Retrieval.