" Extending distributed temporal protocol logic to a proof based framework for authentication protocols " Shahabuddin Muhammad R. K. Guha