Title: | the inductive approach to strand space |
Author: | Li YJ
|
Source: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
|
Conference Name: | 25th International Conference on Formal Techniques for Networked and Distributed Systems
|
Conference Date: | OCT 02-05,
|
Issued Date: | 2005
|
Conference Place: | Taipei, TAIWAN
|
Keyword: | Data processing
; Graph theory
; Network protocols
|
Publisher: | FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2005
|
Publish Place: | HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
|
Indexed Type: | sci
; istp
; ei
|
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.
|
Sponsorship: | IFIP Working Grp 6 1
|
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 |
Language: | 英语
|
Citation statistics: |
|
Content Type: | 会议论文
|
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,.
|
|
|