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)
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]
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]
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
Formal methods (Computer science)
Systems and Data Security.
Computer Communication Networks.
Software engineering.
Data protection
Computer Science.
Computers and civilization.
Logics and Meanings of Programs.
Information Systems Applications (incl. Internet)
Algorithms.
Management of Computing and Information Systems.
Computer communication systems.
Computer security
Application software.
Information Systems and Communication Service.
e-Commerce/e-business.
Internet
Legal Aspects of Computing.
Database management.
Data Structures, Cryptology and Information Theory.
Computers and Society.
Data encryption (Computer science).
Cryptology.
Computer Applications.
Computer science.
Management information systems.
Information Storage and Retrieval.
Operating systems (Computers).
Data encryption (Computer science)
Pattern Recognition.
Programming Languages, Compilers, Interpreters.
Computer security.
Models and Principles.
Performance and Reliability.
Database Management.
Software Engineering.
Trust
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Data Encryption.
Operating Systems.
Computer networks
Information Systems Applications (incl. Internet).