語系
Martinelli, Fabio.
概要
| 作品: | 0 作品在 5 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-電子資源)
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.
(書目-電子資源)
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.
(書目-電子資源)
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.
(書目-電子資源)
Foundations of Security Analysis and Design III : = FOSAD 2004/2005 Tutorial Lectures
by:
Gorrieri, Roberto.; Martinelli, Fabio.; SpringerLink (Online service); Aldini, Alessandro.
(書目-電子資源)
主題
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.