Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
AI, Blockchain and Self-Sovereign Identity in Higher Education / Hamid Jahankhani ... [et al.] editors
| AI, Blockchain and Self-Sovereign Identity in Higher Education / Hamid Jahankhani ... [et al.] editors |
| Pubbl/distr/stampa | Cham, : Springer, 2023 |
| Descrizione fisica | vi, 313 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68Txx - Artificial intelligence [MSC 2020] 97Pxx - Computer science (educational aspects) [MSC 2020] |
| Soggetto non controllato |
Artificial Intelligence
Blockchain Cyber Security Deep Learning Higher education Machine learning Network Security |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00285962 |
| Cham, : Springer, 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Cryptography for Secure Encryption / Robert G. Underwood
| Cryptography for Secure Encryption / Robert G. Underwood |
| Autore | Underwood, Robert G. |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | xii, 319 p. : ill. ; 24 cm |
| Soggetto non controllato |
Automatic sequences
Complexity theory Cryptanalysis Cryptography Cyber Security Encryption Key generation Public key cryptosystem Symmetric key cryptosystem |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0277024 |
Underwood, Robert G.
|
||
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Cryptography for Secure Encryption / Robert G. Underwood
| Cryptography for Secure Encryption / Robert G. Underwood |
| Autore | Underwood, Robert G. |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | xii, 319 p. : ill. ; 24 cm |
| Soggetto topico |
11G07 - Elliptic curves over local fields [MSC 2020]
14G50 - Applications to coding theory and cryptography of algebraic geometry [MSC 2020] 94-XX - Information and communication theory, circuits [MSC 2020] 94A60 - Cryptography [MSC 2020] |
| Soggetto non controllato |
Automatic sequences
Complexity theory Cryptanalysis Cryptography Cyber Security Encryption Key generation Public key cryptosystem Symmetric key cryptosystem |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00277024 |
|
Underwood, Robert G.
|
||
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Cybersecurity for Smart Cities : Practices and Challenges / Mohiuddin Ahmed, Paul Haskell-Dowland editors
| Cybersecurity for Smart Cities : Practices and Challenges / Mohiuddin Ahmed, Paul Haskell-Dowland editors |
| Pubbl/distr/stampa | Cham, : Springer, 2023 |
| Descrizione fisica | xii, 204 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68Txx - Artificial intelligence [MSC 2020] |
| Soggetto non controllato |
Artificial Intelligence
Critical Infrastructure Cyber Security Data Analytics Defence in Depth Internet of Everything National Security Operational Technology Zero Trust |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00284840 |
| Cham, : Springer, 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Enhancing CBRNE Safety & Security: Proceedings of the SICC 2017 Conference : Science as the first countermeasure for CBRNE and Cyber threats / Andrea Malizia, Marco D'Arienzo editors
| Enhancing CBRNE Safety & Security: Proceedings of the SICC 2017 Conference : Science as the first countermeasure for CBRNE and Cyber threats / Andrea Malizia, Marco D'Arienzo editors |
| Pubbl/distr/stampa | Cham, : Springer, 2018 |
| Descrizione fisica | xii, 458 p. : ill. ; 24 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
92Exx - Chemistry [MSC 2020] 68M25 - Computer security [MSC 2020] |
| Soggetto non controllato |
CBRNE forensic
Conference proceedings SICC 2017 Cyber Security Emergency system and solutions Protection against CBRNe Events Safety and security issues in the CBRNe field |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0210883 |
| Cham, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Enhancing CBRNE Safety & Security: Proceedings of the SICC 2017 Conference : Science as the first countermeasure for CBRNE and Cyber threats / Andrea Malizia, Marco D'Arienzo editors
| Enhancing CBRNE Safety & Security: Proceedings of the SICC 2017 Conference : Science as the first countermeasure for CBRNE and Cyber threats / Andrea Malizia, Marco D'Arienzo editors |
| Pubbl/distr/stampa | Cham, : Springer, 2018 |
| Descrizione fisica | xii, 458 p. : ill. ; 24 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
68M25 - Computer security [MSC 2020] 92Exx - Chemistry [MSC 2020] |
| Soggetto non controllato |
CBRNE forensic
Conference proceedings SICC 2017 Cyber Security Emergency system and solutions Protection against CBRNe Events Safety and security issues in the CBRNe field |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00210883 |
| Cham, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Exploring the Security Landscape: Non-Traditional Security Challenges / Anthony J. Masys editor
| Exploring the Security Landscape: Non-Traditional Security Challenges / Anthony J. Masys editor |
| Pubbl/distr/stampa | Cham, : Springer, 2016 |
| Descrizione fisica | vi, 325 p. : ill. ; 24 cm |
| Soggetto topico |
00A79 (77-XX) - Physics [MSC 2020]
68M25 - Computer security [MSC 2020] 86-XX - Geophysics [MSC 2020] |
| Soggetto non controllato |
Counter-Terrorism
Cyber Security Demographics and Security Challenges Economic Security European Energy Security Food Security Gang Violence and Extremism Globalisation of risk Health Security Maritime Security Risk and Security Supply Chain and Critical Infrastructure Security Transboundary impacts Transnational threats |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0163722 |
| Cham, : Springer, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Exploring the Security Landscape: Non-Traditional Security Challenges / Anthony J. Masys editor
| Exploring the Security Landscape: Non-Traditional Security Challenges / Anthony J. Masys editor |
| Pubbl/distr/stampa | Cham, : Springer, 2016 |
| Descrizione fisica | vi, 325 p. : ill. ; 24 cm |
| Soggetto topico |
00A79 (77-XX) - Physics [MSC 2020]
68M25 - Computer security [MSC 2020] 86-XX - Geophysics [MSC 2020] |
| Soggetto non controllato |
Counter-Terrorism
Cyber Security Demographics and Security Challenges Economic Security European Energy Security Food Security Gang Violence and Extremism Globalisation of risk Health Security Maritime Security Risk and Security Supply Chain and Critical Infrastructure Security Transboundary impacts Transnational threats |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00163722 |
| Cham, : Springer, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
From Lambda Calculus to Cybersecurity Through Program Analysis : Essays Dedicated to Chris Hankin on the Occasion of His Retirement / Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan editors
| From Lambda Calculus to Cybersecurity Through Program Analysis : Essays Dedicated to Chris Hankin on the Occasion of His Retirement / Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xiv, 293 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
00B30 - Festschriften [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020] 68M25 - Computer security [MSC 2020] |
| Soggetto non controllato |
Abstract Interpretation
Cyber Security Cyber-hygiene Data Privacy Finite State Machines Game Theory Healthcare Internet of Things Lambda calculus Logic Markov Processes Optimization Probabilistic computation Process calculi Program Analysis Program semantics Program verification Slicing Type theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0249184 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
From Lambda Calculus to Cybersecurity Through Program Analysis : Essays Dedicated to Chris Hankin on the Occasion of His Retirement / Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan editors
| From Lambda Calculus to Cybersecurity Through Program Analysis : Essays Dedicated to Chris Hankin on the Occasion of His Retirement / Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xiv, 293 p. : ill. ; 24 cm |
| Soggetto topico |
00B30 - Festschriften [MSC 2020]
03B70 - Logic in computer science [MSC 2020] 68-XX - Computer science [MSC 2020] 68M25 - Computer security [MSC 2020] 68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020] |
| Soggetto non controllato |
Abstract Interpretation
Cyber Security Cyber-hygiene Data Privacy Finite State Machines Game Theory Healthcare Internet of Things Lambda calculus Logic Markov Processes Optimization Probabilistic computation Process calculi Program Analysis Program semantics Program verification Slicing Type theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00249184 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
