ISSN : 2319-7323

INTERNATIONAL JOURNAL OF COMPUTER SCIENCE ENGINEERING

ABSTRACT

Title	:	An Approach for Ensuring Security and its Verification
Authors	:	Suparna Karmakar, Sayani Chandra
Keywords	:	Cryptography, Symmetric key, Petri Net, Reachability Tree, Compression
Issue Date	:	May 2013
Abstract	:	In this paper a new symmetric key cryptographic algorithm has been designed. The algorithm is enriched with various calculations through which the ciphertext becomes unpredictable and breaking the security by eavesdropper becomes harder. In terms of properties of Petri net and the analysis technique of reachability tree, the protocol was proved to be boundedness, deadlock free and liveness.
Page(s)	:	42-49
ISSN	:	2319-7323
Source	:	Vol. 2, No.3