Institutional Repository
| the inductive approach to strand space | |
| Li YJ | |
| 2005 | |
| Conference Name | 25th International Conference on Formal Techniques for Networked and Distributed Systems |
| Source | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Pages | 547-552 |
| Conference Date | OCT 02-05, |
| Conference Place | Taipei, TAIWAN |
| Indexed Type | sci ; istp ; ei |
| Publish Place | HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY |
| Publisher | FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2005 |
| ISSN | 0302-9743 |
| ISBN | 3-540-29189-X |
| Department | Chinese Acad Sci, Key Lab Comp Sci, Beijing, Peoples R China. Chinese Acad Sci, Inst Software, State Key Lab Informat Secur, Beijing, Peoples R China. |
| English Abstract | Strand space is a promising technique developed by Guttman et al. from MITRE company, and it provides us an intuitive and clear framework to analyze security protocols, but its mechanics of the proof tend to be quite intricate and not necessar |
| Keyword | Data Processing Graph Theory Network Protocols |
| Sponsorship | IFIP Working Grp 6 1 |
| Language | 英语 |
| WOS ID | WOS:000233597000043 |
| Citation statistics | |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/12718 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Li YJ. the inductive approach to strand space[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2005,2005:547-552. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| the inductive approa（121KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment