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]
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)
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)
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
Systems and Data Security.
Computer System Implementation.
Data protection.
Computer Communication Networks.
Data protection
Theory of Computation.
Programming Techniques.
Logics and Meanings of Programs.
Information Systems Applications (incl. Internet)
Algorithms.
Application software.
Data encryption (Computer science).
Software engineering
Programming Languages, Compilers, Interpreters.
Software Engineering.
Algorithm Analysis and Problem Complexity.
Data Encryption.
Operating Systems.
Computer networks
Information Systems Applications (incl. Internet).
Computer Science.
Computers and civilization.
Management of Computing and Information Systems.
Computer security
Computers and Society.
Cryptology.
Computer science.
Management information systems.
Computer security.