Inspec keywords: synchronisation; cryptographic protocols; Internet; performance evaluation; authorisation; formal verification
Other keywords:
Subjects: Other computer networks; Protocols; Data security; Formal methods; Cryptography; Computer communications; Protocols