語系
Martinelli, Fabio.
概要
| 作品: | 2 作品在 5 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-電子資源)
Foundations of security analysis and design VII = FOSAD 2012/2013 tutorial lectures /
by:
Aldini, Alessandro.; Lopez, Javier.; Martinelli, Fabio.; SpringerLink (Online service)
(書目-電子資源)
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.
(書目-語言資料,印刷品)
Foundations of Security Analysis and Design III : = FOSAD 2004/2005 Tutorial Lectures
by:
Aldini, Alessandro.; Gorrieri, Roberto.; Martinelli, Fabio.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Foundations of security analysis and design VIII = FOSAD 2014/2015/2016 tutorial lectures /
by:
Aldini, Alessandro.; Lopez, Javier.; Martinelli, Fabio.; SpringerLink (Online service)
(書目-電子資源)
Formal aspects in security and trust = 5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 ; revised selected papers /
by:
Martinelli, Fabio.; SpringerLink (Online service); Degano, Pierpaolo.; Guttman, Joshua.; FAST 2008 ((2008 :)
(書目-語言資料,印刷品)
ICT systems security and privacy protection = 32nd IFIP TC 11 International Conference, SEC 2017, Rome, Italy, May 29-31, 2017 : proceedings /
by:
Martinelli, Fabio.; SpringerLink (Online service); IFIP TC11 International Information Security Conference (2017 :); De Capitani di Vimercati, Sabrina.
(書目-電子資源)
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:
Martinelli, Fabio.; SpringerLink (Online service); Workshop on Formal Aspects in Security and Trust (2004 :); Dimitrakos, Theo.
(書目-語言資料,印刷品)
Collaborative approaches for cyber security in cyber-physical systems
by:
Lopez, Javier.; Martinelli, Fabio.; SpringerLink (Online service); Dimitrakos, Theo.
(書目-電子資源)
主題
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.