@dblp

Interest Property of E-commerce Protocols and its Verification in Strand Space Model.

, , , and . WGEC, page 280-283. IEEE Computer Society, (2009)

Links and resources

Tags