Inspec keywords: synchronisation; cryptographic protocols; Internet; performance evaluation; authorisation; formal verification

Other keywords: Internet-connected entity; tiny information server; resource-deprived environments; end-to-end pair-wise key establishment; low-capacity devices; timers; authorisation capacity; clock synchronisation; performance analysis; Kerberos; Ladon; security protocols; application servers; AVISPA formal validation tool; end-to-end authorisation support; security analysis

Subjects: Other computer networks; Protocols; Data security; Formal methods; Cryptography; Computer communications; Protocols