Author
Vikrant Chaplot
results may include different authors with the same name
1 papers
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 correctness before they are used in practice. Application of formal…