借閱次數: 0
|
Foundations and applications of security analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009 : revised selected papers /
- 作者：edited by Pierpaolo Degano, Luca Vigano
- 出版者：Springer Berlin Heidelberg
- 出版地：Berlin, Heidelberg :
- 語文：英語
- 叢書名：Lecture notes in computer science ;
- 電子資源：連結全文
- ISBN/ISSN/ISRC：9783642034596 ((electronic bk.)) ; 9783642034589 ((paper))
- 作者：Degano Pierpaolo;Vigano Luca
- 索書號：005.8
- 團體作者：
|
