02724nam0 22006133i 450 VAN024918420230530095010.768N978303041103920220805d2020 |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 cm001VAN00294382001 Lecture notes in computer science210 Berlin [etc.]Springer12065VAN0249185From Lambda Calculus to Cybersecurity Through Program Analysis221235968-XXComputer science [MSC 2020]VANC019670MF00B30Festschriften [MSC 2020]VANC022532MF03B70Logic in computer science [MSC 2020]VANC024541MF68N30Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020]VANC033421MF68M25Computer security [MSC 2020]VANC036400MFAbstract 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>VANV108073650ITSOL20240614RICAhttp://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-CE0120VAN08NVAN0249184BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 4663 08eMF4663 20220805 From Lambda Calculus to Cybersecurity Through Program Analysis2212359UNICAMPANIA