Now showing items 1-1 of 1

    • Formal analysis of two standardized protocols using standard spaces 

      Soni, Shraddha (Dhirubhai Ambani Institute of Information and Communication Technology, 2008)
      To achieve secure communication it is critical to provide protocols which are secure against attacks. Formal methods are helpful in finding whether or not a protocol is secure. The first formal method for this task, namely ...