A Logic-Based Model to Reduce IoT Security Risks.

Luiz Otavio Botelho Lento, Pedro Patinho, Salvador Abreu

Browse the full ICAART paper archive.