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

• Pubblicazione: Cham, : Springer, 2020
• Titolo uniforme: From Lambda Calculus to Cybersecurity Through Program Analysis
• 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
• Persona (resp. second.): Di Pierro, Alessandra; Malacaria, Pasquale; Nagarajan, Rajagopal
• Titolo autorizzato: From Lambda Calculus to Cybersecurity Through Program Analysis
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN00249184
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: http://doi.org/10.1007/978-3-030-41103-9
• Serie: Lecture notes in computer science Berlin [etc.] . -Springer ; 12065