Formal verification of security properties of the Lightweight Authentication and Key Exchange Protocol for Federated IoT devices - Jarosz, Michal; Wrona, Konrad; Zielinski, Zbigniew (2022 17th Conference on Computer Science and Intelligence Systems (FedCSIS), 2022)
Keywords: Authentication; Computer science; Distributed ledger; Fingerprint recognition; Internet of Things; Performance evaluation; Protocols