02728nam0 22006133i 450 VAN0024918420240806101417.851N978303041103920220805d2020 |0itac50 baengCH|||| |||||From Lambda Calculus to Cybersecurity Through Program AnalysisEssays Dedicated to Chris Hankin on the Occasion of His RetirementAlessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan editorsChamSpringer2020xiv, 293 p.ill.24 cm001VAN000294382001 Lecture notes in computer science210 Berlin [etc.]Springer12065VAN00249185From Lambda Calculus to Cybersecurity Through Program Analysis221235900B30Festschriften [MSC 2020]VANC022532MF03B70Logic in computer science [MSC 2020]VANC024541MF68-XXComputer science [MSC 2020]VANC019670MF68M25Computer security [MSC 2020]VANC036400MF68N30Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020]VANC033421MFAbstract InterpretationKW:KCyber SecurityKW:KCyber-hygieneKW:KData PrivacyKW:KFinite State MachinesKW:KGame TheoryKW:KHealthcareKW:KInternet of ThingsKW:KLambda calculusKW:KLogicKW:KMarkov ProcessesKW:KOptimizationKW:KProbabilistic computationKW:KProcess calculiKW:KProgram AnalysisKW:KProgram semanticsKW:KProgram verificationKW:KSlicingKW:KType theoryKW:KCHChamVANL001889Di PierroAlessandraVANV203836MalacariaPasqualeVANV203837NagarajanRajagopalVANV203838Springer <editore>VANV108073650ITSOL20250131RICAhttp://doi.org/10.1007/978-3-030-41103-9E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00249184BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 4663 08eMF4663 20220805 From Lambda Calculus to Cybersecurity Through Program Analysis2212359UNICAMPANIA