Abstract
Application of formal methods in security is demonstrated. Formalism for description of security properties of low level IoT protocols is proposed. It is based on security property called infinite step opacity. We prove some of its basic properties as well as we show its relation to other security notions. Finally, complexity issues of verification and security enforcement are discussed. As a working formalism timed process algebra is used.
Author supplied keywords
Cite
CITATION STYLE
Gruska, D. P., & Ruiz, M. C. (2019). Security of Low Level IoT Protocols. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11538 LNCS, pp. 621–633). Springer Verlag. https://doi.org/10.1007/978-3-030-22744-9_48
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
