Public announcement logic in cryptographic protocol - Muhammad Farhan Mohd Nasir (2019)