Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected Papers /
保存先:
| 第一著者: | |
|---|---|
| フォーマット: | 図書 |
| 言語: | 英語 |
| 出版事項: |
Berlín, Alemania :
Springer,
2010, c2010
|
| シリーズ: | (Lecture Notes in Computer Science)
|
| オンライン･アクセス: | Ver documento en línea |
| タグ: |
タグなし, このレコードへの初めてのタグを付けませんか!
|
類似資料: Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security :
- 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 /
- Security Protocols : 14th International Workshop, Cambridge, UK, March 27-29, 2006, Revised Selected Papers /
- Secure Transaction Protocol Analysis : Models and Applications /
- Security Protocols XVIII : 18th International Workshop Cambridge, UK, March 24-26, 2010 : Revised Selected Papers /
- Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings /
- Security Protocols : 9th International Workshop, Cambridge, UK, April 25-27, 2001 Revised Papers /