Languages
Martinelli, Fabio.
Overview
| Works: | 2 works in 5 publications in 1 languages | |
|---|---|---|
Titles
omputer security - ESORICS 2012 = 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012 : proceedings /
by:
Yung, Moti.; Martinelli, Fabio.; SpringerLink (Online service); Foresti, Sara.
(Electronic resources)
Foundations of security analysis and design VII = FOSAD 2012/2013 tutorial lectures /
by:
Aldini, Alessandro.; Martinelli, Fabio.; SpringerLink (Online service); Lopez, Javier.
(Electronic resources)
Public key infrastructures, services and applications = 6th European workshop, EuroPKI 2009, Pisa, Italy, September 10-11, 2009 : revised selected papers /
by:
Martinelli, Fabio.; SpringerLink (Online service); Preneel, Bart.
(Language materials, printed)
Foundations of Security Analysis and Design III : = FOSAD 2004/2005 Tutorial Lectures
by:
Aldini, Alessandro.; Gorrieri, Roberto.; Martinelli, Fabio.; SpringerLink (Online service)
(Language materials, printed)
Foundations of security analysis and design VIII = FOSAD 2014/2015/2016 tutorial lectures /
by:
Aldini, Alessandro.; Martinelli, Fabio.; SpringerLink (Online service); Lopez, Javier.
(Electronic resources)
Formal aspects in security and trust = 5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 ; revised selected papers /
by:
Degano, Pierpaolo.; Martinelli, Fabio.; SpringerLink (Online service); Guttman, Joshua.; FAST 2008 ((2008 :)
(Language materials, printed)
ICT systems security and privacy protection = 32nd IFIP TC 11 International Conference, SEC 2017, Rome, Italy, May 29-31, 2017 : proceedings /
by:
IFIP TC11 International Information Security Conference (2017 :); Martinelli, Fabio.; SpringerLink (Online service); De Capitani di Vimercati, Sabrina.
(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:
Dimitrakos, Theo.; Martinelli, Fabio.; SpringerLink (Online service); Workshop on Formal Aspects in Security and Trust (2004 :)
(Language materials, printed)
Collaborative approaches for cyber security in cyber-physical systems
by:
Dimitrakos, Theo.; Martinelli, Fabio.; SpringerLink (Online service); Lopez, Javier.
(Electronic resources)
Subjects
Data Structures, Cryptology and Information Theory.
Public key cryptography
Software Engineering.
Theory of Computation.
Computer security.
Logics and Meanings of Programs.
Information Systems and Communication Service.
Pattern Recognition.
Data protection
Data and Information Security.
Management of Computing and Information Systems.
Operating Systems.
Algorithm Analysis and Problem Complexity.
Information Systems Applications (incl. Internet)
Security Science and Technology.
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Information Storage and Retrieval.
Data encryption (Computer science)
Computer networks- Security measures
Models and Principles.
Legal Aspects of Computing.
Computer security
Data Encryption.
Performance and Reliability.
Internet- Security measures
IT in Business.
Computer Science.
Computer Communication Networks.
Trust
Computers and Society.
Systems and Data Security.
Public key infrastructure (Computer security)
Cooperating objects (Computer systems)- Security measures.
Cybercrime.
e-Commerce/e-business.
Computer Applications.