×

Found 7 Documents (Results 1–7)

100
MathJax

Security metrics at work on the things in IoT systems. (English) Zbl 1440.68017

Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 233-255 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Secure guarded commands. (English) Zbl 1440.68036

Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 201-215 (2020).
MSC:  68M25 68P25 94A60
PDF BibTeX XML Cite
Full Text: DOI

Correctly slicing extended finite state machines. (English) Zbl 1440.68149

Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 149-197 (2020).
MSC:  68Q45 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Galois connections for recursive types. (English) Zbl 1440.68042

Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 105-131 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Cathoristic logic. A logic for capturing inferences between atomic sentences. (English) Zbl 1440.03042

Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 17-85 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

all top 3

Classification

all top 3

Software