Abstract | ||
---|---|---|
Messages transmitted between senders and receivers might be inconsistent owing to potential communication block, message lost and/or malicious attacks, in electronic commerce. And current formal methods for security protocol analysis show limitations in handling the incoherent secure messages that may be derived from different sources or at different moments. This results in increasing risk of e-commerce activities. This paper thus proposes a formal framework to deal with the inconsistency in secure messages by weighting majority. The freshness and dynamics properties of secure messages are considered and a reliability function is developed to measure the belief in secure messages. This helps us verify protocols in an intuitive way and guarantees correct verification results. The experimental results demonstrate our method is useful in secure protocol analysis. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1016/j.knosys.2010.12.007 | Knowl.-Based Syst. |
Keywords | Field | DocType |
inconsistent secure message,secure message,secure protocol analysis,reliability,different source,weighting majority,belief,incoherent secure message,e-commerce activity,dynamics property,majority,dynamics,inconsistency,different moment,security protocol analysis show,current formal method,freshness,formal framework,e commerce,reliability function,electronic commerce,formal method | Data mining,Weighting,Protocol analysis,Computer science,Computer security,Security protocol analysis,Formal methods | Journal |
Volume | Issue | ISSN |
24 | 6 | Knowledge-Based Systems |
Citations | PageRank | References |
1 | 0.36 | 15 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Qingfeng Chen | 1 | 25 | 6.74 |
Shichao Zhang | 2 | 2777 | 164.25 |
Zhi Zhong | 3 | 2 | 1.13 |