Languages
Martinelli, Fabio.
Overview
Works: | 1 works in 3 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:
Workshop on the Preservation of Stability under Discretization ((2001 :); Martinelli, Fabio.; Degano, Pierpaolo.; Guttman, Joshua.; SpringerLink (Online service)
(Language materials, printed)
Data Privacy Management and Security Assurance = 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings /
by:
Suri, Neeraj.; SpringerLink (Online service); Livraga, Giovanni.; Torra, Vicenç.; Martinelli, Fabio.; Aldini, Alessandro.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
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.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Dimitrakos, Theo.
(Language materials, printed)
Foundations of security analysis and design VIII = FOSAD 2014/2015/2016 tutorial lectures /
by:
SpringerLink (Online service); Aldini, Alessandro.; Lopez, Javier.; Workshop on the Preservation of Stability under Discretization ((2001 :); Martinelli, Fabio.
(Language materials, printed)
Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance = 9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers /
by:
Posegga, Joachim.; Suri, Neeraj.; SpringerLink (Online service); Herrera-Joancomartí, Jordi.; Martinelli, Fabio.; Garcia-Alfaro, Joaquin.; Aldini, Alessandro.; Lupu, Emil.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Service-Oriented Computing = 18th International Conference, ICSOC 2020, Dubai, United Arab Emirates, December 14–17, 2020, Proceedings /
by:
Martinelli, Fabio.; Motahari, Hamid.; Bouguettaya, Athman.; Benatallah, Boualem.; Hacid, Hakim.; Kafeza, Eleanna.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Foundations of Security Analysis and Design III : = FOSAD 2004/2005 Tutorial Lectures
by:
Aldini, Alessandro.; Martinelli, Fabio.; SpringerLink (Online service); Gorrieri, Roberto.
(Language materials, printed)
Data Privacy Management, and Security Assurance = 10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Vienna, Austria, September 21-22, 2015. Revised Selected Papers /
by:
Garcia-Alfaro, Joaquin.; Aldini, Alessandro.; Martinelli, Fabio.; SpringerLink (Online service); Suri, Neeraj.; Navarro-Arribas, Guillermo.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
ICT systems security and privacy protection = 32nd IFIP TC 11 International Conference, SEC 2017, Rome, Italy, May 29-31, 2017 : proceedings /
by:
SpringerLink (Online service); De Capitani di Vimercati, Sabrina.; Workshop on the Preservation of Stability under Discretization ((2001 :); Martinelli, Fabio.
(Language materials, printed)
Foundations of Security Analysis and Design VIII = FOSAD 2014/2015/2016 Tutorial Lectures /
by:
Lopez, Javier.; Aldini, Alessandro.; Martinelli, Fabio.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
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.; Martinelli, Fabio.; Foresti, Sara.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Show more
Fewer
Subjects
Computer Communication Networks.
Software engineering.
Logics and Meanings of Programs.
Information Systems Applications (incl. Internet)
Algorithms.
Application software.
e-Commerce/e-business.
Data Structures, Cryptology and Information Theory.
Database Management.
Algorithm Analysis and Problem Complexity.
Operating Systems.
Information Systems Applications (incl. Internet).
Computer Science.
Management of Computing and Information Systems.
Computer communication systems.
Database management.
Computer science.
Management information systems.
Data encryption (Computer science)
Computer security.
Formal methods (Computer science)
Systems and Data Security.
Data protection
Data encryption (Computer science).
Computer Applications.
Information Storage and Retrieval.
Operating systems (Computers).
Programming Languages, Compilers, Interpreters.
Models and Principles.
Performance and Reliability.
Software Engineering.
Trust
Software Engineering/Programming and Operating Systems.
Data Encryption.
Computer networks
Computers and civilization.
Computer security
Information Systems and Communication Service.
Internet
Legal Aspects of Computing.
Computers and Society.
Cryptology.
Pattern Recognition.