Process Algebraic Approach to Software Architecture Design
Alessandro Aldini, Marco Bernardo, Flavio Corradini
Häftad, 2014
739 kr
Del 8604 i serien Lecture Notes in Computer Science
Foundations of Security Analysis and Design VII
FOSAD 2012 / 2013 Tutorial Lectures
Häftad, Engelska, 2014
709 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Over the years, both the summer school and the book series have represented a reference point for graduate students and young researchers from academia or industry, interested to approach the field, investigate open problems, and follow priority lines of research. This book presents thoroughly revised versions of nine tutorial lectures given by leading researchers during three International Schools on Foundations of Security Analysis and Design, FOSAD, held in Bertinoro, Italy, in September 2012 and 2013. The topics covered in this book include model-based security, automatic verification of secure applications, information flow analysis, cryptographic voting systems, encryption in the cloud, and privacy preservation.
Produktinformation
- Utgivningsdatum2014-08-07
- Mått155 x 235 x 16 mm
- Vikt446 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor282
- Upplaga2014
- FörlagSpringer International Publishing AG
- ISBN9783319100814
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Process Algebraic Approach to Software Architecture Design
Alessandro Aldini, Marco Bernardo, Flavio Corradini
Inbunden, 2009
739 kr
Del 14568
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops
Alessandro Aldini
Häftad, 2024
599 kr
Del 8872
Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance
Joaquin Garcia-Alfaro, Jordi Herrera-Joancomartí, Emil Lupu, Joachim Posegga, Alessandro Aldini, Fabio Martinelli, Neeraj Suri
Häftad, 2015
739 kr
Del 9481
Data Privacy Management, and Security Assurance
Joaquin Garcia-Alfaro, Guillermo Navarro-Arribas, Alessandro Aldini, Fabio Martinelli, Neeraj Suri
Häftad, 2016
1 479 kr
Del 9808
Foundations of Security Analysis and Design VIII
Alessandro Aldini, Javier Lopez, Fabio Martinelli
Häftad, 2016
629 kr
Del 9963
Data Privacy Management and Security Assurance
Giovanni Livraga, Vicenç Torra, Alessandro Aldini, Fabio Martinelli, Neeraj Suri
Häftad, 2016
739 kr
Foundations of Security Analysis and Design III
Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli
Häftad, 2005
669 kr
Hoppa över listan
Mer från samma serie
Del 16375
Agent Mediated Electronic Commerce II
Alexandros Moukas, Carles Sierra, Fredrik Ygge
Häftad, 2000
739 kr
Del 16376
Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries
Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki
Häftad, 2026
1 209 kr
Del 15401
Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 Workshops
Anna Schroder, Xiang Li, Tanveer Syeda-Mahmood, Neil P. Oxtoby, Alexandra Young, Alessa Hering, Tejas S. Mathai, Pritam Mukherjee, Sven Kuckertz, Tiantian He, Isaac Llorente-Saguer, Andreas Maier, Satyananda Kashyap, Hayit Greenspan, Anant Madabhushi
Häftad, 2025
959 kr
Del 16625
Hoppa över listan
Du kanske också är intresserad av
Del 8604
Del 9808
Foundations of Security Analysis and Design VIII
Alessandro Aldini, Javier Lopez, Fabio Martinelli
Häftad, 2016
629 kr
Del 9481
Data Privacy Management, and Security Assurance
Joaquin Garcia-Alfaro, Guillermo Navarro-Arribas, Alessandro Aldini, Fabio Martinelli, Neeraj Suri
Häftad, 2016
1 479 kr
Del 9963
Data Privacy Management and Security Assurance
Giovanni Livraga, Vicenç Torra, Alessandro Aldini, Fabio Martinelli, Neeraj Suri
Häftad, 2016
739 kr
Foundations of Security Analysis and Design III
Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli
Häftad, 2005
669 kr
Del 8872
Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance
Joaquin Garcia-Alfaro, Jordi Herrera-Joancomartí, Emil Lupu, Joachim Posegga, Alessandro Aldini, Fabio Martinelli, Neeraj Suri
Häftad, 2015
739 kr
Collaborative Approaches for Cyber Security in Cyber-Physical Systems
Theo Dimitrakos, Javier Lopez, Fabio Martinelli
Häftad, 2024
2 239 kr
Collaborative Approaches for Cyber Security in Cyber-Physical Systems
Theo Dimitrakos, Javier Lopez, Fabio Martinelli
Häftad, 2023
839 kr
Collaborative Approaches for Cyber Security in Cyber-Physical Systems
Theo Dimitrakos, Javier Lopez, Fabio Martinelli
Inbunden, 2023
2 239 kr
Del 8431
Engineering Secure Future Internet Services and Systems
Maritta Heisel, Wouter Joosen, Javier López, Fabio Martinelli
Häftad, 2014
739 kr