Disponibiltà
Versione linguistica
Categoria
Forma del prodotto
prezzo massimo
CHF

Risultato ricerca (formalsecuritymodels)

Martin Andreoni, Martin Andreoni - Applied Cryptography and Network Security Workshops ACNS 2024 Satellite Workshops, AIBlock, AIHWS, AIoTS, SCI, AAC, SiMLA, LLE, and CIMSS, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part II
Martin Andreoni, Martin Andreoni Applied Cryptography and Network Security Workshops Inglese 01.08.2024 Tascabile CHF 91.00 4-7 giorni lavorativi
Martin Andreoni, Martin Andreoni - Applied Cryptography and Network Security Workshops ACNS 2024 Satellite Workshops, AIBlock, AIHWS, AIoTS, SCI, AAC, SiMLA, LLE, and CIMSS, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part I
Martin Andreoni, Martin Andreoni Applied Cryptography and Network Security Workshops Inglese 24.06.2024 Tascabile CHF 109.00 4-7 giorni lavorativi
Jonathan Anderson, Bruce Christianson, Bruce Christianson et al, Vashek Matyá¿, Vaclav Matyas, … - Security Protocols XXVIII 28th International Workshop, Cambridge, UK, March 27-28, 2023, Revised Selected Papers
Jonathan Anderson, Bruce Christianson, Bruce Christianson et al, Vashek Matyá¿, Vaclav Matyas, … Security Protocols XXVIII Inglese 09.12.2023 Tascabile CHF 90.00 4-7 giorni lavorativi
Mehdi Tibouchi, Wang, Xiaofeng Wang - Applied Cryptography and Network Security 21st International Conference, ACNS 2023, Kyoto, Japan, June 19-22, 2023, Proceedings, Part I
Mehdi Tibouchi, Wang, Xiaofeng Wang Applied Cryptography and Network Security Inglese 28.06.2023 Tascabile CHF 158.00 4-7 giorni lavorativi
Mehdi Tibouchi, Wang, Xiaofeng Wang - Applied Cryptography and Network Security 21st International Conference, ACNS 2023, Kyoto, Japan, June 19-22, 2023, Proceedings, Part II
Mehdi Tibouchi, Wang, Xiaofeng Wang Applied Cryptography and Network Security Inglese 28.06.2023 Tascabile CHF 158.00 4-7 giorni lavorativi
Georgiana Caltais, Schilling, Christian Schilling - Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings
Georgiana Caltais, Schilling, Christian Schilling Model Checking Software Inglese 09.06.2023 Tascabile CHF 76.00 4-7 giorni lavorativi
Kyungmin Bae - Rewriting Logic and Its Applications 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers
Kyungmin Bae Rewriting Logic and Its Applications Inglese 01.01.2022 Tascabile CHF 96.00 4-7 giorni lavorativi
Kwok Yan Lam, Khoa Nguyen, Huaxiong Wang, Wenlin Wu, Wenling Wu, … - Provable and Practical Security 14th International Conference, ProvSec 2020, Singapore, November 29 - December 1, 2020, Proceedings
Kwok Yan Lam, Khoa Nguyen, Huaxiong Wang, Wenlin Wu, Wenling Wu, … Provable and Practical Security Inglese 11.01.2021 Tascabile CHF 69.00 4-7 giorni lavorativi
Frédéric Cuppens, Nora Cuppens-Boulahia, Mohamed Mosbah, Akka Zemmari - Risks and Security of Internet and Systems 13th International Conference, CRiSIS 2018, Arcachon, France, October 16-18, 2018, Revised Selected Papers
Frédéric Cuppens, Nora Cuppens-Boulahia, Mohamed Mosbah, Akka Zemmari Risks and Security of Internet and Systems Inglese 25.01.2019 Tascabile CHF 69.00 4-7 giorni lavorativi
Hon Yuen, Hon Yuen, Ro Steinfeld, Ron Steinfeld, Tsz Hon Yuen - Provable Security 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1-4, 2019, Proceedings
Hon Yuen, Hon Yuen, Ro Steinfeld, Ron Steinfeld, Tsz Hon Yuen Provable Security Inglese 01.01.2019 Tascabile CHF 69.00 4-7 giorni lavorativi
Simon N. Foley, Dieter Gollmann, Einar Snekkenes - Computer Security - ESORICS 2017 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part I
Simon N. Foley, Dieter Gollmann, Einar Snekkenes Computer Security - ESORICS 2017 Inglese 15.08.2017 Tascabile CHF 69.00 4-7 giorni lavorativi
Liqun Chen, Jinguang Han - Provable Security 10th International Conference, ProvSec 2016, Nanjing, China, November 10-11, 2016, Proceedings
Liqun Chen, Jinguang Han Provable Security Inglese 13.10.2016 Tascabile CHF 69.00 4-7 giorni lavorativi
Jasmin Christian Blanchette, Stephan Merz - Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Jasmin Christian Blanchette, Stephan Merz Interactive Theorem Proving Inglese 07.08.2016 Tascabile CHF 69.00 4-7 giorni lavorativi
Frank Piessens, Luca Viganò - Principles of Security and Trust 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Frank Piessens, Luca Viganò Principles of Security and Trust Inglese 22.03.2016 Tascabile CHF 69.00 4-7 giorni lavorativi
Pierre Ganty, Michele Loreti - Trustworthy Global Computing 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers
Pierre Ganty, Michele Loreti Trustworthy Global Computing Inglese 26.01.2016 Tascabile CHF 55.90 4-7 giorni lavorativi