| 书目名称 | Secure Transaction Protocol Analysis |
| 副标题 | Models and Applicati |
| 编辑 | Qingfeng Chen,Chengqi Zhang,Shichao Zhang |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | The application of formal methods to security protocol analysis has attracted increasing attention in the past two decades, and recently has been sh- ing signs of new maturity and consolidation. The development of these formal methodsismotivatedbythehostilenatureofsomeaspectsofthenetworkand the persistent e?orts of intruders, and has been widely discussed among - searchers in this ?eld. Contributions to the investigation of novel and e?cient ideas and techniques have been made through some important conferences and journals, such asESORICS,CSFW andACM Transactions in Computer Systems. Thus, formal methods have played an important role in a variety of applications such as discrete system analysis for cryptographic protocols, - lief logics and state exploration tools. A complicated security protocol can be abstractedasamanipulationofsymbolsandstructurescomposedbysymbols. The analysis of e-commerce (electronic commerce) protocols is a particular case of such symbol systems. There have been considerable e?orts in developing a number of tools for ensuring the security of protocols, both specialized and general-purpose, such as belief logic and process algebras. The application of formal |
| 出版日期 | Book 2008 |
| 关键词 | ban logic; card based payment; cryptography; data analysis; data mining; endl; mobile device; netbill; nrl p |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-540-85074-8 |
| isbn_softcover | 978-3-540-85073-1 |
| isbn_ebook | 978-3-540-85074-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 2008 |
发表于 2025-3-21 18:23:32
