MQTT

Edit Compare to Test Cases
Protocol Information

Version: 3.1.1

Validation Status: ✓ Valid Protocol specification matches the JSON schema requirements.

Description: MQTT messaging protocol with TLS/SSL transport

Evaluations

Total Evaluations: 1

Protocol Specification (JSON)
{
    "name": "MQTT",
    "version": "3.1.1",
    "description": "MQTT messaging protocol with TLS\/SSL transport",
    "device_profile": {
        "type": "generic_iot",
        "power_constraint": "moderate",
        "communication": "publish_subscribe"
    },
    "encryption": {
        "enabled": true,
        "algo": "AES-256-GCM",
        "key_length_bits": 256,
        "scope": "transport-layer",
        "authenticated": true
    },
    "authentication": {
        "mutual": true,
        "device_auth": "X.509_certificate",
        "server_auth": "X.509_certificate",
        "certificate_based": true
    },
    "key_exchange": {
        "algo": "ECDH_P-256",
        "ephemeral": false,
        "forward_secrecy": false
    },
    "session_key_derivation": {
        "enabled": true,
        "algorithm": "TLS_PRF",
        "salt_type": "tls_random"
    },
    "key_rotation": {
        "enabled": false,
        "frequency": "session_based",
        "automated": false
    },
    "logging": {
        "enabled": false,
        "scope": [],
        "transmission": "none",
        "retention_days": 0
    },
    "firmware_update": {
        "enabled": true,
        "signed": false,
        "signature_algo": null,
        "rollback_protection": false
    },
    "formal_verification": {
        "proVerif": "NOT_VERIFIED",
        "scyther": "NOT_VERIFIED",
        "properties": []
    }
}