Using predicate transition nets approach to verify the security of the secure electronic transaction protocol.

It appears your Web browser is not configured to display PDF files. Download adobe Acrobat or click here to download the PDF file.

Click here to download the PDF file.

Creator: 

Zhou, Zhenren

Date: 

2000

Subject: 

Electronic Data Interchange
Electronic Commerce -- Security Measures
Business Enterprises -- Computer Networks -- Security Measures
Computer Network Protocols

Language: 

English

Publisher: 

Carleton University

Identifier: 

Proquest Record
Library Catalogue Record
https://doi.org/10.22215/etd/2000-04490

Thesis Degree Name: 

Master of Computer Science: 
M.C.S.

Thesis Degree Level: 

Master's

Thesis Degree Discipline: 

Computer Science

Parent Collection: 

Theses and Dissertations

Items in CURVE are protected by copyright, with all rights reserved, unless otherwise indicated. They are made available with permission from the author(s).