scientific article; zbMATH DE number 2242699

MaRDI QIDQ5714530zbMATH OpenFDO

Authors Sihan Qing

Publication date 3 January 2006

zbMATH Keywords

accountabilityformal specification

Mathematics Subject Classification ID

Network protocols (68M12)

Recommendations

• Formal modeling and analysis of fairness characterization of E-commerce protocols
• A new logic for electronic commerce protocols
• scientific article; zbMATH DE number 1696909
• scientific article; zbMATH DE number 1759659
• scientific article; zbMATH DE number 2044523

Cited in

(7)

• A new logic for electronic commerce protocols
• An extension of formal analysis method with reasoning: a case study of flaw detection for non-repudiation and fairness
• Formal modeling and analysis of fairness characterization of E-commerce protocols
• scientific article; zbMATH DE number 1696909 (Why is no real title available?)
• A formal framework for specifying and analyzing logs as electronic evidence
• scientific article; zbMATH DE number 2044523 (Why is no real title available?)
• scientific article; zbMATH DE number 1759659 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5714530)