Institutional Repository
| new semantic model for authentication protocols in asms | |
| Xue R; Feng DG | |
| 2004 | |
| Source | JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
 |
| ISSN | 1000-9000 |
| Volume | 19Issue:4Pages:555-563 |
| Indexed Type | sci ; acm |
| Keyword | Cryptographic Protocol Formal Analysis Abstract State Machine (Asm) Authentication Protocol |
| Department | Chinese Acad Sci, Inst Software, State Key Lab Informat Secur, Beijing 100080, Peoples R China. |
| Subject | Computer Science, Hardware & Architecture ; Computer Science, Software Engineering |
| Language | 英语 |
| WOS ID | WOS:000222789900014 |
| Citation statistics | |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/12908 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Xue R,Feng DG. new semantic model for authentication protocols in asms[J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,2004,19(4):555-563. |
| APA | Xue R,&Feng DG.(2004).new semantic model for authentication protocols in asms.JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,19(4),555-563. |
| MLA | Xue R,et al."new semantic model for authentication protocols in asms".JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 19.4(2004):555-563. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| New+Semantic+Model+f（714KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment