Extending the Strand Space Method with Timestamps: Part I the Theory

Journals Menu

Follow SCIRP

ISSN Print: 2153-1234
ISSN Online: 2153-1242
www.scirp.org/journal/jis
E-mail: jis@scirp.org

"Extending the Strand Space Method with Timestamps: Part I the Theory"
written by Yongjian Li, Jun Pang,
published by Journal of Information Security, Vol.1 No.2, 2010

has been cited by the following article(s):

[1]	Formal Verification of Secrecy in Group Key Protocols Using Event-B
	Int'l J. of Communications, Network and System Sciences, 2012

[2]	Secure time information in the internet key exchange protocol
	Annales UMCS, Informatica, 2011

[1]	Review of NAND Flash Information Erasure Based on Overwrite Technology 2020 39th Chinese Control Conference (CCC), 2020 DOI:10.23919/CCC50068.2020.9189542

[2]	Formal Verification of Secrecy in Group Key Protocols Using Event-B International Journal of Communications, Network and System Sciences, 2012 DOI:10.4236/ijcns.2012.53021

[3]	Secure time information in the internet key exchange protocol Annales UMCS, Informatica, 2011 DOI:10.2478/v10065-011-0019-2

Follow SCIRP