Towards formal verification of IoT protocols: A Review
Katharina Hofer-Schmitz, Branka Stojanović
Topics & Concepts
Computer scienceField (mathematics)Variety (cybernetics)Formal methodsFormal verificationCryptographic protocolA priori and a posterioriComputer securitySoftware engineeringTheoretical computer scienceCryptographyArtificial intelligencePure mathematicsPhilosophyMathematicsEpistemologyAdvanced Authentication Protocols SecurityUser Authentication and Security SystemsAdvanced Malware Detection Techniques