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 |
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 | ||
|