Version: 1.1
Validation Status: ✓ Valid Protocol specification matches the JSON schema requirements.
Description: LoRaWAN protocol for long-range wide-area networks
Total Evaluations: 1
{
"name": "LoRaWAN",
"version": "1.1",
"description": "LoRaWAN protocol for long-range wide-area networks",
"device_profile": {
"type": "generic_iot",
"power_constraint": "battery",
"communication": "long_range_wan"
},
"encryption": {
"enabled": true,
"algo": "AES-128-CBC",
"key_length_bits": 128,
"scope": "transport-layer",
"authenticated": false
},
"authentication": {
"mutual": false,
"device_auth": "shared_secret",
"server_auth": "implicit",
"certificate_based": false
},
"key_exchange": {
"algo": "pre-shared",
"ephemeral": false,
"forward_secrecy": false
},
"session_key_derivation": {
"enabled": true,
"algorithm": "proprietary",
"salt_type": "static"
},
"key_rotation": {
"enabled": false,
"frequency": "manual",
"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": []
}
}