Model Checking of E-Commerce Protocol using Casper FDR.

Saved in:

Bibliographic Details
Title:	Model Checking of E-Commerce Protocol using Casper FDR.
Authors:	Sravanthi, Dantuluri¹, sravanthi.kvkr@gmail.com
Source:	International Journal of Advanced Research in Computer Science; Sep/Oct2013, Vol. 4 Issue 10, p12-16, 5p
Database:	Applied Science & Technology Source

Description
ISSN:	09765697