Aldini, Alessandro.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
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]
Software engineering and formal methods = SEFM 2023 Collocated Workshops : CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023 : revised selected papers /
by:
Aldini, Alessandro.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service)
(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]
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]
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]
Foundations of security analysis and design VI = FOSAD tutorial lectures /
by:
Aldini, Alessandro.; Gorrieri, Roberto.; SpringerLink (Online service)
(Language materials, printed)
Foundations of security analysis and design V = FOSAD 2007/2008/2009 tutorial lectures /
by:
Barthe, Gilles.; Aldini, Alessandro.; SpringerLink (Online service); Gorrieri, Roberto.
(Language materials, printed)
Subjects
Software Engineering.
Systems and Data Security.
Computer System Implementation.
Algorithm Analysis and Problem Complexity.
Data Encryption.
Operating Systems.
Data protection.
Computer Communication Networks.
Data protection
Theory of Computation.
Computer networks
Information Systems Applications (incl. Internet).
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Computer security.
Computers and civilization.
Logics and Meanings of Programs.
Information Systems Applications (incl. Internet)
Algorithms.
Management of Computing and Information Systems.
Computer security
Application software.
Computers and Society.
Data encryption (Computer science).
Cryptology.
Computer science.
Management information systems.
Software engineering