語系
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.
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