LEADER 02724nam0 22006133i 450 001 VAN0249184 005 20230530095010.768 017 70$2N$a9783030411039 100 $a20220805d2020 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aFrom Lambda Calculus to Cybersecurity Through Program Analysis$eEssays Dedicated to Chris Hankin on the Occasion of His Retirement$fAlessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan editors 210 $aCham$cSpringer$d2020 215 $axiv, 293 p.$cill.$d24 cm 410 1$1001VAN0029438$12001 $aLecture notes in computer science$1210 $aBerlin [etc.]$cSpringer$v12065 500 1$3VAN0249185$aFrom Lambda Calculus to Cybersecurity Through Program Analysis$92212359 606 $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF 606 $a00B30$xFestschriften [MSC 2020]$3VANC022532$2MF 606 $a03B70$xLogic in computer science [MSC 2020]$3VANC024541$2MF 606 $a68N30$xMathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020]$3VANC033421$2MF 606 $a68M25$xComputer security [MSC 2020]$3VANC036400$2MF 610 $aAbstract Interpretation$9KW:K 610 $aCyber Security$9KW:K 610 $aCyber-hygiene$9KW:K 610 $aData Privacy$9KW:K 610 $aFinite State Machines$9KW:K 610 $aGame Theory$9KW:K 610 $aHealthcare$9KW:K 610 $aInternet of Things$9KW:K 610 $aLambda calculus$9KW:K 610 $aLogic$9KW:K 610 $aMarkov Processes$9KW:K 610 $aOptimization$9KW:K 610 $aProbabilistic computation$9KW:K 610 $aProcess calculi$9KW:K 610 $aProgram Analysis$9KW:K 610 $aProgram semantics$9KW:K 610 $aProgram verification$9KW:K 610 $aSlicing$9KW:K 610 $aType theory$9KW:K 620 $aCH$dCham$3VANL001889 702 1$aDi Pierro$bAlessandra$3VANV203836 702 1$aMalacaria$bPasquale$3VANV203837 702 1$aNagarajan$bRajagopal$3VANV203838 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttp://doi.org/10.1007/978-3-030-41103-9$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN0249184 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 4663 $e08eMF4663 20220805 996 $aFrom Lambda Calculus to Cybersecurity Through Program Analysis$92212359 997 $aUNICAMPANIA