Linguistic Mechanisms for Context-Aware Security

DOI10.1007/978-3-319-10882-7_5zbMath1432.68062OpenAlexW22435263MaRDI QIDQ2938152

Francesco Salvatori, Chiara Bodei, Letterio Galletta, Pierpaolo Degano

Publication date: 13 January 2015

Published in: Theoretical Aspects of Computing – ICTAC 2014 (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11568/551467

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Distributed systems (68M14) Computer security (68M25)

Related Items (3)

Safe Adaptation Through Implicit Effect Coercion ⋮ Measuring security in IoT communications ⋮ Security Metrics at Work on the Things in IoT Systems

This page was built for publication: Linguistic Mechanisms for Context-Aware Security