2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.CR2011★ 2 cited
Approaches to Formal Verification of Security Protocols
Suvansh Lal, Mohit Jain, Vikrant Chaplot
In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional correct…
cs.CR2011
A Logic Programming Approach for Formal Verification of NetBill Security and Transactions Protocol
Suvansh Lal
Use of formal techniques for verifying the security features of electronic commerce protocols would facilitate, the enhancement of reliability of such protocols, thereby increasing…