| 题名: | the inductive approach to strand space |
| 作者: | Li YJ
|
| 会议文集: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
|
| 会议名称: | 25th International Conference on Formal Techniques for Networked and Distributed Systems
|
| 会议日期: | OCT 02-05,
|
| 出版日期: | 2005
|
| 会议地点: | Taipei, TAIWAN
|
| 关键词: | Data processing
; Graph theory
; Network protocols
|
| 出版者: | FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2005
|
| 出版地: | HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
|
| 收录类别: | sci
; istp
; ei
|
| ISSN: | 0302-9743
|
| ISBN: | 3-540-29189-X
|
| 部门归属: | 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.
|
| 主办者: | IFIP Working Grp 6 1
|
| 英文摘要: | 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 |
| 语种: | 英语
|
| Citation statistics: |
|
| 内容类型: | 会议论文
|
| URI标识: | http://ir.iscas.ac.cn/handle/311060/12718
|
| Appears in Collections: | 软件所图书馆_会议论文
|
| File Name/ File Size |
Content Type |
Version |
Access |
License |
|
|---|
| the inductive approach to strand space.pdf（121KB） | -- | -- | 限制开放 | -- | 联系获取全文 |
|
| Recommended Citation: | |
Li YJ. the inductive approach to strand space[C]. 见:25th International Conference on Formal Techniques for Networked and Distributed Systems. Taipei, TAIWAN. OCT 02-05,.
|
|
|
