Browsing by Subject "BAN logic Protocols"
Now showing items 1-1 of 1
(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 ...